1
$\begingroup$

Can you tell me if this is correct:

I define $f_{(0,1)}: S^{1+} \setminus \{(0,1)\} \to \mathbb R$ as $ f((x,y)) =\frac{x}{1-y} $ where $S^{1+} = \{ (x,y) \in S^1 \mid y \geq 0 \}$. Since I removed the north pole this map is continuous and it is easy to verify that $f$ is also differentiable in each variable.

Hence $S^1$ is a differentiable manifold with the atlas $\{ (S^{1+} \setminus \{(0,1)\}, f_{(0,1)}), (S^{1-} \setminus \{(0,-1)\}, f_{(0,-1)}) \}$.

Another question I have is: is this also called stereographic projection? I google-searched the term but all results seemed to be only about $S^2 \to \mathbb R^2$.

  • 0
    Student said whateve$r$ I have to say about this.2012-09-11

1 Answers 1

1

Here are some comments about this.

  1. Your first map looks like a restriction of the stereographic projection. Note that you don't need to restrict to $S^{1+}$, you really only need to exclude $\{(0, 1)\}$, which you already did. Also note that $S^{1+}$ is closed inside $S^1$, so it's not a good choice of domain; you should pick an open set (like the whole $S^1\backslash\{(0, 1)\}$).

  2. If you are formally checking that $S^1$ is a manifold, you shouldn't say "$f$ is differentiable". After all, this doesn't make sense until you prove that $S^1$ is a manifold. What you have to check is the differentiability of the transition maps, namely, $f_{(0, -1)} \circ f_{(0, 1)}^{-1} : \mathbb{R} \rightarrow \mathbb{R}$.

  3. About the nomenclature: yes, this is called the stereographic projection (at least when defined on the whole $S^1\backslash\{(0, 1)\}$), and you can do this in all dimensions, that is, for all spheres $S^n$, by removing one point. The $S^2$ case is more common, I guess.

  • 0
    @bananalyst it does. Just be careful to also exclude $\{(0, 1)\}$.2012-09-11