4
$\begingroup$

I try solving the following excercise:

Show by stereoscopic projection that the $S^2$ sphere is locally homeomorphic to $R^2$.

I tried to solve this by using the cotangens function on the two angles defining the surface of the ball by the projection:

$\phi : S^2 \rightarrow \mathbb{R}^2, \ (\alpha, \beta) \mapsto \left(\cot \alpha, \cot \frac{\beta}{2}\right)$ for $\alpha \in (0, \pi), \beta \in (0, 2\pi)$

However the poles and one of the connecting lines ($\beta = 0$) is not defined by this map. Is there a neat trick to get this out of the way?

  • 0
    @wckronholm: well, if we are to prove anything we need to have some definition of $S^2$. As this is obviously an elementary question it's clear from the context that $S^2$ is understood as a subset of $\mathbb R^3$ (not to mention that OP talks about the stereographic projection) and not as a CW-complex with 1 0-cell and 1 2-cell (say); which requires some definition of spheres anyway...2011-07-25

2 Answers 2

2

Considering $S^2$ as the points $(x, y, z)$ in $\mathbb{R}^3$ with $x^2 + y^2 + z^2 = 1$, then stereographic projection $S^2 - \{(0,0,1)\} \to \mathbb{R}^2$ is a homeomorphism. (You can check directly that the standard stereographic projection formula defines a continuous bijection with a continuous inverse.) This shows that all points except $\{(0,0,1)\}$ have neighborhoods homeomorphic to an open subset of $\mathbb{R}^2$. Interchanging the roles of $x$ and $z$ gives a stereographic projection $S^2 - \{(1,0,0)\} \to \mathbb{R}^2$ which is also a homeomorphism.

(This is one way of getting the result with just two "patches" in your atlas.)

  • 0
    t$h$is works too.2011-07-25
1

Now rotate the sphere 90 degrees and repeat with two new poles. You have 4 patches that show $\mathbb{R}^2$ is locally homeomorphic to $S^2$.

  • 2
    I think it has you covered.2011-07-25