Reputation
10,726
Next privilege 15,000 Rep.
Protect questions
Badges
1 12 47
Newest
 Yearling
Impact
~86k people reached

Apr
20
revised Homology Whitehead theorem for non simply connected spaces
added 1529 characters in body
Apr
20
comment Homology Whitehead theorem for non simply connected spaces
I left an answer to tell you what I understood from your examples, could you take a look at it and correct my understanding of it?
Apr
20
answered Homology Whitehead theorem for non simply connected spaces
Apr
20
answered Is $\sin(\arcsin(x))$ equal to $x$?
Apr
20
comment Euler characteristic and free action
What action of $G$ on $K^2$ are you considering?
Apr
19
revised For two p.d. matrices $A$ and $B$, prove that $\lambda_1(AB)\leqslant \lambda_1(A) \cdot\lambda_1(B)$
deleted 2 characters in body
Apr
19
comment Let $A$ a matrix with real or complex entries. Proof that $\displaystyle\lim_{n\rightarrow\infty}(E+\frac{A}{n})^n=e^A, E=$indentity.
You can probably show that this sequence of functions converges uniformly on every compact set (equipping $M_n(\Bbb C)$ with some submultiplicative norm for greater convenience), so that the function $A\mapsto\lim_n\left(I+\frac{A}{n}\right)^n$ is continuous. It is then easy to show that it agrees with the usual exponential on the dense set (in $M_n(\Bbb C)$) of diagonalizable matrices, and hence the standard exponential and this agree on all of $M_n(\Bbb C)$.
Apr
19
answered For two p.d. matrices $A$ and $B$, prove that $\lambda_1(AB)\leqslant \lambda_1(A) \cdot\lambda_1(B)$
Apr
19
comment Help trying to identify a set and determine whether it is a subspace of $\Bbb{R}^n (n>2)$
Recall the definition of a subspace, and verify the axioms. You only have to prove $S$ is non empty, stable under sum and scalar multiplication.
Apr
18
comment Is $\Lambda(T^{*}E)=\bigoplus_{k=0}^n\Lambda^k(T^{*}E)$ a complex line bundle over $T^{*}E$?
It's not a vector bundle over $T^*E$! It's a vector bundle over $E$!!!
Apr
18
comment Is $\Lambda(T^{*}E)=\bigoplus_{k=0}^n\Lambda^k(T^{*}E)$ a complex line bundle over $T^{*}E$?
Usually you'd include the 0-th exterior power $\Lambda^0(T^*E)$ (which is a line bundle) in the definition of $\Lambda(T^*E)$; in any case, $\Lambda(T^*E)$ (with the correct definition) is a vector bundle of dimension $2^n$ over $E$ (not $T^*E$) where, I take it, $E$ is a manifold of (real) dimension $n$.
Apr
18
comment Is $\Lambda(T^{*}E)=\bigoplus_{k=0}^n\Lambda^k(T^{*}E)$ a complex line bundle over $T^{*}E$?
There seems to be a lot of confusion in your question. Are you sure that is what you mean to ask? As I understand it, the answer is trivially no. A vector bundle that decomposes as a direct sum of vector bundles has dimension equal to the sum of the dimensions of the vector bundles that appear in the sum...
Apr
18
answered Klein Bottle Embedding on $\mathbb{R}^4$.
Apr
18
awarded  Nice Question
Apr
18
comment Klein Bottle Embedding on $\mathbb{R}^4$.
It's not the antipode you are using. When he applies the antipode of $\Bbb R^3$ to a point of the torus of revolution, one of the circle coordinates, the "horizontal" one, if you see the tours as a vertical circle being rotated along the horizontal circle $C=\lbrace(x,y,z)\mid z=0\text{ and }x^2+y^2=1\rbrace$) is shifted by 180° (which corresponds to the $x\mapsto x+\frac12$) while the second circle coordinate is being "complex conjugated" (which corresponds to the $y\mapsto-y$).
Apr
18
comment Klein Bottle Embedding on $\mathbb{R}^4$.
It is. I'm interested, how does Do Carmo define the Klein bottle?
Apr
18
comment Klein Bottle Embedding on $\mathbb{R}^4$.
Sorry, the first map I wrote is wrong, I meant $(x,y)\mapsto(x+\frac12,-y)$. I think the one that is likely to work is $(x,y)\mapsto(x+\frac12,-y)$.
Apr
18
comment Klein Bottle Embedding on $\mathbb{R}^4$.
What map are you talking about? Also, you should add @myname in front of your question if you want me to be notified. (Although I was still notified for some reason, how did that happen???)
Apr
18
comment Klein Bottle Embedding on $\mathbb{R}^4$.
There's fundamentally a problem with $A$: it doesn't reverse orientation, so the quotient space associated to it is still orientable (whereas the Klein bottle isn't). You can try and see if $G$ is invariant under the map $(x,y)\mapsto (x,-y)$ or $(x,y)\mapsto (-x,y+\frac12)$.
Apr
18
comment Homology Whitehead theorem for non simply connected spaces
That's very interesting. I asked John Klein for a reference in the comment section of his answer; do you know of a reference for this?