1
$\begingroup$

Possible Duplicate:
$S^n \backslash S^m $ homotopy equivalent to $ S^{n-m-1} $

I'm trying to show that, if we embed $S^m$ in $S^n$ as the subspace $\{ (x_1,x_2, \ldots, x_{m+1}, 0, 0, \ldots, 0) \}$, $S^n-S^m$ is homotopy equivalent to $S^{n-m-1}$.

In order to show the homotopy equivalence, I tried to use the inclusion map $S^{n-m-1}$ into $S^n - S^m$, including in the last $n-m$ coordinates, and I'm trying to use functions along the lines of

$$ f(x_1,x_2, \ldots,x_{n+1}) = (x_{m+1}, x_{m+2}, \ldots, x_n, \sqrt{x_1^2+...x_m^2+x_{n+1}^2}) .$$

Then $f \circ g$ is easily shown to be the identity map except with issues of positivity in the last coordinate, so I tried

$$ f(x_1,x_2, \ldots, x_{n+1}) = (x_{m+1}, x_{m+2}, \ldots, x_n, a(x_{n+1}) \sqrt{x_1^2+...x_m^2+x_{n+1}^2}) ,$$

where $a$ is either $\pm 1$ or $0$ depending on the sign of the final coordinate, but then there's an issue in the other direction, i.e. that the final coordinate can only be $0$ when $x_{n+1}=0$.

Is it possible to amend my approach somehow so that $g \circ f$ is also homotopic to the identity map? Thank you for any thoughts or advice.

$\endgroup$
3
  • $\begingroup$ This seems to be problem 6 of this: dpmms.cam.ac.uk/study/II/AlgebraicTopology/2010-2011/ATqns1.pdf $\endgroup$ Jan 29, 2011 at 23:00
  • $\begingroup$ It is, that's why I labeled it homework - I don't want a solution, just advice. $\endgroup$
    – user6393
    Jan 29, 2011 at 23:37
  • 3
    $\begingroup$ Here is a hint: there is one case that can be visualized, namely that $S^2 \setminus S^1 \cong S^0$. Can you write down a homotopy between them in coordinates, and then generalize your construction to arbitrary dimensions? $\endgroup$ Jan 30, 2011 at 0:00

1 Answer 1

3
$\begingroup$

Hint: If $(x_{1}, \ldots, x_{m+1},y_{m+2},\ldots,y_{n+1}) \in S^{n} \smallsetminus S^{m}$ then $\frac{(\lambda x, y)}{\|(\lambda x,y)\|} \in S^{n}$ for all $\lambda$. Use this to retract $S^{n} \smallsetminus S^{m}$ to $S^{n-m-1}$ (embedded as $(0,y)$).

$\endgroup$
1
  • $\begingroup$ Thank you very much, got it! Shouldn't have just altered the one coordinate :) $\endgroup$
    – user6393
    Jan 30, 2011 at 20:39