7
$\begingroup$

This is what I have so far:

Assume $S^n$ is homeomorphic to $S^m$. Also, assume $m≠n$. So, let $m>n$.

From here I am not sure what is implied. Of course in this problem $S^k$ is defined as:

$S^k=\lbrace (x_0,x_1,⋯,x_{k+1}):x_0^2+x_1^2+⋯+x_{k+1}^2=1 \rbrace$ with subspace topology.

  • 6
    Can you prove that $\mathbb R^m$ and $\mathbb R^n$ are not homeomorphic when $m\neq n$? Because it follows directly from there when you note that $S^n\setminus \{x\} \cong \mathbb R^n$ (and $x$ is any point of $S^n$)2012-11-01

2 Answers 2

3

Hint: look at the topic Invariance of Domain

  • 0
    I'm sorry, could you elaborate a bit more on your argument? I can't seem to work it out on my own.2012-11-01
  • 2
    @MattN. It's the same argument as given in the comments. $S^n \setminus \{x\} \cong \mathbb R^n$ so $S^n \cong S^m$ implies $\mathbb R^n \cong \mathbb R^m$, which gives $n=m$ by invariance of domain.2012-11-01
  • 0
    @JacobSchlather, thank you for your comment!2012-11-01
  • 0
    @JacobSchlather Thank you2012-11-02
  • 0
    @MattN. Hope you have got it2012-11-02
3

A non-elementary argument would be that spaces with non-identical homotopy groups are not homeomorphic.

Assume $n < m$. Then $\pi_n (S^n) = \mathbb Z$ (see this article) but $\pi_n(S^m) = 0$. Hence $S^n$ and $S^m$ are not homeomorphic if $n \neq m$.

Alternatively, as pointed out in the comments, you could use homology groups: $H_n(S^n) = \mathbb Z$ but $H_n(S^m) = 0$. But homeomorphic spaces have isomorphic homology groups.

  • 3
    This result uses the homology groups of spheres, so wouldn't it be easier to make the same conclusion using homology?2012-11-01
  • 0
    @espen180 Yes, one could of course also argue using homology groups. I added it to my answer, thanks a lot for mentioning it!2012-11-01