Explicit homotopy equivalence between pairs

150 Views Asked by At

it is my first time asking a question on this site. I am stuck on trying to prove a thing which seems very simple and almost trivial, but I still can't manage to get formal. The problem is to find an explicit homotopy equivalence of pairs $(R^n, R^n \setminus \lbrace 0 \rbrace)$ and $(I^n, \delta I^n)$ where I denotes the unit interval. The thing is, I know how to build one homotopy equivalence between $R^n$ and $I^n$ and one between $R^n \setminus \lbrace 0 \rbrace$ and $\delta I^n$ but I can't find any between the pairs. The problem is that a homotopy $$F:(R^n, R^n \setminus \lbrace 0 \rbrace) \times I \rightarrow (R^n, R^n \setminus \lbrace 0 \rbrace)$$ for example, must respect the pair, so $F(x,t)\in R^n \setminus \lbrace 0 \rbrace$ for each $x \in R^n \setminus \lbrace 0 \rbrace$. Thank you in advance for any suggestion.

1

There are 1 best solutions below

0
On

As you now know, it is not true. If you are in need of an explicit proof see Is $(I^n, \partial I^n)$ homotopy equivalent to $(R^n, R^n\setminus \left\{0\right\})$. The proof uses some non-elementary facts.