8,041 reputation
1643
bio website people.bath.ac.uk/mdp33
location Bath, United Kingdom
age 25
visits member for 2 years, 6 months
seen Aug 11 at 15:14

Postgraduate student at the University of Bath, UK, studying geometry and representation theory. Currently thinking about cluster algebras and related objects.


Sep
9
reviewed Leave Closed Inductive proof of the closed formula for the Fibonacci sequence
Sep
9
reviewed Leave Closed Continuity of $f:x\mapsto\displaystyle\inf_{k\in\Lambda}f_k(x)$
Sep
9
reviewed Leave Closed In each of the following, f is continuous. Which of the following case f can not be onto.
Sep
9
revised Help with showing that $|x+y|=|x|+|y| \longleftrightarrow xy\ge0 $
deleted 2 characters in body; edited title
Sep
5
reviewed Reviewed Inductive proof of the closed formula for the Fibonacci sequence
Sep
5
reviewed Approve suggested edit on What does it mean for a group to “act algebraically”?
Sep
5
answered What does it mean for a group to “act algebraically”?
Sep
5
comment Other guises for the vector space $\mathbb{R}^n$?
The polynomial example can still be useful - last time I was teaching how to write linear maps as matrices I took a poll of a class to see what basis of this space of polynomials they would choose. The set itself was always the same, but the order it was in sometimes varied, which is of course enough to get different matrices.
Sep
4
answered Other guises for the vector space $\mathbb{R}^n$?
Sep
4
comment More Bases for Strong Induction - Supersedes Weak Induction?
The link you gave doesn't say that you need more base cases in general, this just happens in the example. But this could happen with either form of induction.
Sep
4
reviewed Reopen How to prove that $2+2 = 2*2 = 2^2 \cdots= 4$
Sep
4
comment Variation of the Principle of Mathematical Induction
Or you could define $r_k=0$ when $k<0$.
Sep
4
comment Best Books to learn Proof-Based Linear Algebra and Matrices
While I don't think it's a duplicate, you may find the answers to the following question useful: math.stackexchange.com/questions/4335/…
Sep
3
reviewed No Action Needed Mean response in linear regression
Sep
3
comment Subset of $\mathbb{R}^3$ with an element of finite order in its fundamental group
Unfortunately, yes - $\mathbb{R}P^2$ does not embed in $\mathbb{R}^3$ (but it does embed into $\mathbb{R}^4$).
Sep
2
comment A category's quotient category of isomorphism types
The first author has some implicit assumptions about what properties the category on the isomorphism classes should have; one could define a category whose objects are the isomorphism classes of objects of $\mathcal{C}$, by giving each object its identity morphism and then stopping. The result would not have a particularly interesting or useful relationship to $\mathcal{C}$ though. So one possibility is that whatever conditions the first author thinks the resulting category should meet are not met by the category defined by the second author.
Sep
2
revised orbits of group action on product space and orbits of stablizer are in 1-1 correspondence?
added 39 characters in body
Sep
2
revised Show that the mapping $x\rightarrow x^{-1}$ of $G$ onto $G$ is an isomorphism iff $G$ is abelian
edited title
Sep
2
reviewed Looks OK $2d^2=n^2$ implies that $n$ is multiple of 2
Sep
2
reviewed Looks OK Prove that if $n > 4$ is composite $n|(n-1)!$