Riemann Sphere as extended complex plane

complex-analysisriemann-sphereriemann-surfaces

I was reading some Complex Analysis, and came across this concept that; says you have the extended complex plane which is illustrated as the $x,y$-plane as the complex plane, and the $z$-plane is added, so that $(0,0,1)$ is $\infty$. The book says, "the hemisphere $z<0$ corresponds to the disk $|z|<1$ and the hemisphere $z>0$ to its outside $|z|>1$."

I don't understand why we are considering the entire sphere, when I understood that the extended complex plane was just the x-y-plane, and then we add on the point $(0,0,1)$. Even if we considered everything in $3$ dimensions, how is it that the top of the sphere corresponds to the inside of a circle on the complex plane, and the bottom half to the outside?

Thank you for your explanations/clarifications!

Best Answer

By adding a point $\infty$ we are actually making the complex plane compact. The extended complex plane $\hat{\mathbb{C}}=\mathbb{C}\cup\infty$ is homeomorphic to the Riemann Sphere. As we can see, the infinity point $\infty$ is actually defined as a "limit point", which is called "the one-point compactification of $\mathbb{C}$". Here is a formal definition of $\infty$ from Lectures on Riemann Surfaces by Otto Forster. In this case, $n=2$ since $\mathbb{C}\cong\mathbb{R}^2$. Though this definition is written in the language of open sets, you can see that it is the limit point of all lines that point outward from the origin.

The Formal definition


More intuitively speaking, this infinity point is the final "destination" if you start from the origin and go straight in any direction. Going in any direction from this origin is equivalent to going up from the south pole on the Riemann Sphere. The infinity point is not a point in $\mathbb{C}$, just like $(0,1)$ has a limit point $1$ although $1\notin(0,1)$. So the compactification is just like adding a one-point boundary to the complex plane.


EDIT: in case you need to visualize CyclotomicField's answer (red dots are points on the sphere and the blue ones are on the plane):

The Riemann Sphere

Such a sphere of radius $1$ centered at $(0,0,0)$ is actually the same as a sphere of radius $\frac{1}{2}$ centered at $\left(0,0,\frac{1}{2}\right)$. The property of the upper or lower hemisphere vs. outside or inside the unit circle is the same. I personally prefer the sphere centered at $\left(0,0,\frac{1}{2}\right)$ since it gives you the sense of "gluing the destinations of all rays start from the origin together".

Related Question