Maths in a minute: The Riemann sphere

If you walk around the two-dimensional plane you can keep walking indefinitely in all directions. You could say, in a very hand-wavy and intuitive sense, that there is infinity all around the edge of the plane, only of course you can never get to or see that edge. But still, you could try to imagine what happens if you shrink that infinity-edge to a point. Perhaps this would be a little like tightening the draw string on the rim of a fabric bag. Once you've tightened it, the bag is closed and resembles a deformed sphere.

There is a way of making this intuition precise. Imagine a sphere and the plane that contains its equator. For any point p on that equatorial plane, draw the straight line that connects it to the North pole of the sphere. That straight line is going to intersect the sphere at some point. If p is on the exterior of the sphere it will intersect the Northern hemisphere of the sphere. If p is in the interior of the sphere the line will intersect the Southern hemisphere of the sphere. And if p lies on the sphere, so it's actually on the equator, it will itself be the intersection point. This way of associating to every point in the plane exactly one point on the sphere is called the stereographic projection.

It's easy to see that the further out on the plane your point p, the closer its projected image on the sphere is to the North pole. But no point on the plane projects to the North pole itself. The North pole is still available and as a sequence of points move out towards infinity on the plane, their projections move towards the North pole on the sphere. So you now declare that infinity is just a point (you draw the drawstring tight) and that its projection is the North pole of the sphere.

What you get is a continuous one-to-one correspondence between your plane together with infinity and the sphere. The two can be treated as one and the same thing. The plane with a point at infinity appended is called the Riemann sphere after the 18th century mathematician Bernhard Riemann (although strictly speaking the Riemann sphere is the complex plane with infinity appended — see here for more on complex numbers).

This is incredibly useful. You are probably familiar with functions that take the number line into itself. An example is it takes a number from the number line as input and returns as output. Unfortunately, the function is not defined at because division by is not allowed. However, as gets closer and closer to gets closer and closer to plus infinity if you're coming from the positive side, or minus infinity if you're coming from the negative side. If you could treat plus and minus infinity as one and the same ordinary point, then the function could be defined at and would be perfectly well behaved there. You can also define functions that take the plane into itself (the complex function is an example) and again they may not be defined at every point because you have division by 0. However, by treating infinity as an extra point of the plane and looking at the whole thing as a sphere you may end up with a function that's perfectly tame and well behaved everywhere. A lot of complex analysis, the study of complex functions, is done on the Riemann sphere rather than the complex plane.