My idea was to find a composition of functions that turnt $mathbb S^{n+1}setminus{N,S}$ into $D^{n}setminus{0}$ (the proyecton of hyperplane of the first $n$ components) and then into $mathbb S^n$ (with the normalization of the "points looked as vectors"), and move on with the properties of a deformation retract. But I don’t know how further I can go with this idea.

It also sounds much more complicated that what it seems, but what do I know? Could anyone please help me out?

P.S.: To me, $Asubset X$ is a deformation retract if there exists a function $r:Xto A$ such that $rcirc i = id_A$ and $icirc r simeq id_X$ ($i$ is the inclusion and "$simeq$" is the homotopy between two maps).

Mathematics Asked by GreekCorpse on January 3, 2021

1 AnswersDefine $r:S^{n+1}setminus{N,S}rightarrow S^n$ by $$r(x_0,x_1,dots,x_n,x_{n+1})=frac{1}{sqrt{1-|x_{n+1}|^2}}(x_0,x_1,dots,x_n).$$

If $j:S^nhookrightarrow S^{n+1}setminus{N,S}$ is the inclusion, then $rcirc j=id_{S^n}$. On the other hand we have $H:(S^{n+1}setminus{N,S})times Irightarrow S^{n+1}setminus{N,S}$ given by $$H_t(x_0,x_1,dots,x_n,x_{n+1})=frac{1}{sqrt{1-|tcdot x_{n+1}|^2}}left(x_0,x_1,dots,x_n,sqrt{1-t^2}cdot x_{n+1}right).$$ We check that $H$ is a homotopy $idsimeq jcirc r$.

I suppose the intuition for this is that you can obtain $S^{n+1}$ by taking the cylinder $S^ntimes[-1,1]$ and identifying $S^ntimes{-1}$ and $S^ntimes {+1}$ to separate points. It we cut out the resulting points, then what is left is $S^{n+1}setminus{N,S}cong S^ntimes(-1,1)$. Clearly the inclusion $S^nhookrightarrow S^ntimes(-1,1)$, $zmapsto (z,0)$, is a deformation retract. The maps above just spell out the details of this.

Correct answer by Tyrone on January 3, 2021

2 Asked on December 6, 2021 by 666user666

1 Asked on December 6, 2021

dirac delta distribution theory noise poissons equation stochastic pde

1 Asked on December 6, 2021 by ajit-kumar

improper integrals integration laplace transform real analysis

4 Asked on December 6, 2021 by tnxy

1 Asked on December 6, 2021 by user287133

2 Asked on December 6, 2021 by yan-qin

1 Asked on December 6, 2021 by sirrahe73

0 Asked on December 6, 2021

measure theory problem solving sequences and series solution verification summation

3 Asked on December 6, 2021

1 Asked on December 6, 2021 by jeppe-stig-nielsen

1 Asked on December 6, 2021

complex numbers hermitian matrices linear algebra vector spaces

1 Asked on December 6, 2021

2 Asked on December 6, 2021 by cand

algebra precalculus calculus derivatives exponential function factorial

2 Asked on December 6, 2021

1 Asked on December 6, 2021

1 Asked on December 6, 2021 by hai-smit

calculus functional analysis functions maxima minima real analysis

2 Asked on December 6, 2021

1 Asked on December 6, 2021 by cronus

Get help from others!

Recent Answers

- DMGregory on MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- eric_kernfeld on How to test consistency of responses?
- Justin Markwell on Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- kjetil b halvorsen on How to test consistency of responses?
- Philipp on How do i draw a ray in unity

Recent Questions

- MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- How do i draw a ray in unity
- How to test consistency of responses?
- How can I understand these variograms?

© 2022 AnswerBun.com. All rights reserved.