The extended complex plane and the Riemann sphereThe Riemann sphere is the geometric object for representing complex numbers in a way that treats infinity on par with other complex values.
We first define the mapping between the complex plane ##\mathbb{C}## and Riemann sphere, ##S##, with it north pole removed, i.e. ##S / \{ N \}##. See figure below. The Riemann sphere is a sphere of radius ##1## whose centre is located at the origin of the complex plane. Stereographic projection allows to set up a on-to-one correspondence between points of ##\mathbb{C}## and the points on ##\mathbb{C}## and points on ##S / \{ N \}##. Geometrically, the line from any point ##x## of ##\mathbb{C}## to ##N## intersects the sphere precisely one point ##x'##, and for every point ##x'##of ##S/{N}##, the line through ##N## and ##x′## meets the complex plane ##\mathbb{C}## in a unique point ##x##.
There is a natural concrete representative for “the point at infinity” associated with the north pole of ##S##. The line is then parallel to the complex plane.
Proving χ(x,y) is a metric:It is easy to show that
##
\chi (x,y) = 0 \text{ iff } x=y
##
and
##
\chi (x,y) = \chi (y,x) .
##
We now turn to the triangle inequality. We must show:
\begin{align*}
\frac{2 \| x - y \|_2}{\sqrt{1 + \| x \|_2^2} \sqrt{1 + \| y \|_2^2}}
\end{align*}
is equal to the Euclidean distance between the pair of points ##x′## and ##y′## on the Riemann sphere which correspond to the pair of points ##x## and ##y## in the complex plane. It will then be obvious why the triangle inequality holds: this is because ##2 \chi (x,y)##, ##2 \chi (y,z)##, and ##2 \chi (x,z)## are the side lengths of a plane triangle.
Let us proceed to prove that the above formula is equal to the distance between two points ##x′## and ##y′## on the Reimann sphere. See the figure above. We introduce Euclidean coordinates with origin at the centre of the sphere: the coordinates: ##X## and ##Y## are parallel to the real and imaginary axes respectively, with ##Z## as the vertical coordinate.
The complex coordinate, denoted ##x## with real part ##x_R## and imaginary part ##x_I##, labels the point ##P′## in the complex plane.
We wish to transform from complex coordinates for point ##P′## to Euclidean coordinates for the corresponding point ##P## on the sphere. Note that the triangles ##\bigtriangleup NPS## and ##\bigtriangleup NOP'## are similar and so we have:\begin{align*}
\frac{PN}{NS} = \frac{NS/2}{P'N} .
\end{align*}
\begin{align*}
Y = \frac{2}{x_R^2 + x_I^2 + 1} x_I .
\end{align*}Using that ##Z^2=1−X^2−Y^2## together with the above equations for ##X## and ##Y##, we obtain
\begin{align*}
\frac{x + \overline{x} , (x - \overline{x})/i , (\| x \|_2^2 - 1)}{\| x \|_2^2 + 1}
\end{align*}
Consider two complex numbers ##x## and ##y##. Take the dot product the vectors of the corresponding points on the sphere:
\begin{align*}
x' \cdot y ' = \cos \theta & = \frac{ (x + \overline{x}) (y + \overline{y}) - (x - \overline{x}) (y - \overline{y}) + (\| x \|_2 - 1) (\| y \|_2 - 1) }{(1 + \| x \|_2^2) (1 + \| y \|_2^2)}
\\
& = \frac{ 2 x \overline{y} +2 \overline{x} y - \overline{y}) + (\| x \|_2 \| y \|_2 - \| x \|_2 - \| y \|_2 + 1) }{(1 + \| x \|_2^2) (1 + \| y \|_2^2)}
\\
& = 1 - \frac{2 \| x - y \|_2^2}{(1 + \| x \|_2^2) (1 + \| y \|_2^2)}
\end{align*}
By the cosine rule ##d^2=2−2 \cos \theta##
\begin{align*}
d (x,y) = 2 \chi (x,y) = \sqrt{2 - 2 \cos \theta} = \frac{2 \| x - y \|_2}{\sqrt{1 + \| x \|_2^2} \sqrt{1 + \| y \|_2^2}}
\end{align*}
Three distinct complex numbers define a (nondegenerate) triangle where the vertices of the triangle are on the sphere. Seeing as ##2 \chi (x,y)## is the Euclidean length of a side of such a triangle, we have the usual triangle inequality:
\begin{align*}
\frac{2}{\sqrt{1 + \| x \|_2^2}}
\end{align*}
is the Euclidean length of the line from the north pole of the sphere to the point on the sphere corresponding to the complex number ##x##. The components of the vector pointing to the north pole are ##(0,0,1)##. Taking the dot product of the vectors of the corresponding points on the sphere gives
\begin{align*}
\cos \theta = \frac{\| x \|_2^2 - 1}{\| x \|_2^2 + 1} .
\end{align*}
By the cosine rule ##d^2=2−2 \cos \theta##
\begin{align*}
d (x , \infty) = 2 \chi (x, \infty) = \frac{2 \| x \|_2}{\sqrt{1 + \| x \|_2^2}} .
\end{align*}
Two distinct complex numbers ##x,y \not= \infty## and the point ##\infty## define a (nondegenerate) triangle where the vertices of the triangle are on the sphere. Seeing as ##2 \chi (x,\infty)## is the Euclidean length of the side of such a triangle between the north pole and a point on the sphere corresponding the complex number ##x##, we have the usual triangle inequalities
Thus we have proved that ##\chi (x,y)## defines a metric!Proving ##\mathcal{C} = (\mathbb{C}_\infty , \chi)## is a compact topological space:
A topology is induced by the metric ##d## on a metric space ##X##. The open sets are all subsets that can be realized as the unions of open balls:
\begin{align*}
B_r (x,d) = \{ y \in X : d (x,y) < r \}
\end{align*}
where ##x \in X## and ##r > 0##.
Note. We have two metrics on ##\mathbb{C}##; namely the metric induced by modulus, ##d'(x,y)=|x−y|## which we are denoting ##\| x - y \|_2##, and the metric ##\chi (x,y)## defined on ##\mathbb{C}_\infty## (treating ##\mathbb{C}## and a metric subspace of ##\mathbb{C}_\infty##).
We consider the topology induced by the metric ##\tilde{\chi} := 2 \chi## on the space ##\mathbb{C}_\infty##. This is exactly the same topology induced by ##\chi## as they both have exactly the same collection of open balls. The open sets, as mentioned above, are all subsets that can be realized as the unions of open balls:
\begin{align*}
B_r (x,2\chi) = \{ y \in \mathbb{C}_\infty : 2\chi (x,y) < r \}
\end{align*}
where ##x \in \mathbb{C}_\infty## and ##r > 0##.We first elucidate the topology induced by ##\tilde{\chi}## on ##\mathbb{C}##. The balls ##B_r (x,2\chi)## have an nice interpretation. Before we give this interpretation we state a result. Each circle on the sphere (not intersecting the north-pole) is mapped to a distinct circle in the complex plane. Conversely, each circle in the complex plane maps to a distinct circle on the sphere (not intersecting the north-pole). This can be proved by considering the intersection of a plane
\begin{align*}
aX + bY + cZ = d
\end{align*}
with the Riemann sphere (not intersecting the north-pole). One finds that circles on the Riemann sphere (not intersecting the north-pole) are mapped to circles in ##\mathbb{C}## (circles that intersect the the north-pole are mapped to lines instead of circles). This is all proved in the spoiler below. In the following we only consider circles that don't intersect the north-pole.Let us return to the interpretation of balls ##B_r (x,2\chi)##. The boundary of the ball ##B_r (x,2\chi)## is an equal distance away from the point ##x## with respect to the metric ##\tilde{\chi} (x,y)## in ##\mathbb{C}##. This means that the mapping of this boundary onto the sphere must be a circle with centre ##x′## ##(x′## being the point on the sphere corresponding to ##x##) because ##\tilde{\chi} (x,y)## has the interpretation of the chord distance. This implies that the boundary of the ball ##B_r (x,2\chi)## in the complex plane is a circle and so the ball an open disc (note however that the "centre" of the ball is not an equal distance away from the boundary with respect to the usual metric, ##\| x - y \|_2## on ##\mathbb{C}##, but the distance from the centre to the boundary with respect to ##\| x - y \|_2## is always non-zero).
We write the equation of a plane ##aX+bY+cZ=d## where we take ##a^2+b^2+c^2=1##. Recall that the vector ##<a,b,c>## is perpendicular to the plane. Note that when the vector ##<X,Y,Z>## is parallel (or anti-parallel) to the unit vector ##<a,b,c>##, we have that their dot product is equal to ##d## (positive when parallel and negative when anti-parallel). The plane obviously intersects the Riemann sphere when ##-1 \leq d \leq 1##.
We substitute the formula for ##X,Y##, and Z into ##aX+bY+cZ=d##:
\begin{align*}
a \frac{2x_R}{x_R^2 + x_I^2 + 1} + b \frac{2x_I}{x_R^2 + x_I^2 + 1} + c \frac{x_R^2 + x_I^2 - 1}{x_R^2 + x_I^2 + 1} = d
\end{align*}
which becomes:
\begin{align*}
(d - c) (x_R^2 + x_I^2) - 2 a x_R - 2 b x_I + (d + c) = 0
\end{align*}
which corresponds to a circle in the complex plane when ##d \not= c## and a line when ##d = c##. When ##c = d## we have that the vector ##<X=0,Y=0,Z=1>## is a point on the plane, in other words when ##c=d## the plane intersects the north pole.
Does every circle in complex plane map to a circle on the Riemann sphere? The following argument uses the key fact that a circle is uniquely defined by three noncollinear points. Take any circle in the complex plane and choose three distinct points on the circle ##x,y,## and ##z##. These uniquely correspond to three noncolinear points ##x',y'##, and ##z'## on the Riemann sphere, these in turn define a plane and the intersection of this plane with the Riemann sphere defines a circle on the sphere. This circle maps to a circle in the complex plane that passes through the points ##x,y,## and ##z##, but seeing as three points uniquely determine a circle this circle must coincide with the origin circle. This establishes that every circle in complex plane maps to a circle on the Riemann sphere.
Let us gain some intuition as to what happens when we vary ##d##, with ##a,b,## and ##c## fixed. Let us write the equation for a circle in the complex plane (##|x−C|^2=r^2##) in terms of the real and imaginary parts of its centre, (##C_R,C_I##), and its radius ##r##:
which is zero when ##d = \pm 1## (as would be expected as in this case the plane is tangential to the sphere). Keep ##c## fixed and allow ##d## to vary. Taking the derivative with respect to ##d## gives:
First take ##c > 0## then the derivative is negative for ##c < d \leq 1##. Thus ##r^2## monotonically increases as you reduce ##d## from ##1## and becomes arbitrarily large as ##d## approaches ##c.## For ##-1 \leq d < c## the derivative is positive. Thus ##r^2## monotonically increases as you increase ##d## from ##−##1 and becomes arbitrarily large as ##d## approaches ##c##.
Take ##c=0## then the derivative is negative for ##0 < d \leq 1##. So again ##r^2 ##monotonically increases as you reduce ##d## from ##1## and becomes arbitrarily large as ##d## approaches ##0##. For ##-1 \leq d < 0##−1≤d<0 the derivative is positive. Thus ##r^2## monotonically increases as you increase ##d## from ##−1## where and becomes arbitrarily large as ##d## approaches ##0##.
As you vary ##d## it moves the position of the centre of the circle in the complex plane as
Above we established that there is a bijection between circles on the sphere (that don't intersect the north pole) and circles in the complex plane. We don't bother to write down the expressions for (##a,b,c,d##) in terms of (##C_R,C_I,r##).
In the spoiler we established that we have a bijection between circles on the sphere (that do not intersect the north pole) and circles in the complex plane (also we found that circles that come arbitrarily close to the north pole correspond to arbitrarily large circles on the complex plane. The radius diverges as ##d \rightarrow c##).
So we have elucidated the topology induced by ##\tilde\chi## on ##\mathbb{C}##. It actually coincides with the usual topology on ##\mathbb{C}##, as we will now explain.
Definition: Two metrics ##d_1## and ##d_2## defined on a space ##X## are called equivalent if they induce the same metric topology on ##X##. This is the case if and only if, for every point ##x## of ##X##, every ball with centre at ##x## defined with respect to ##d_1##:
\begin{align*}
B_{r_1} (x,d_1) = \{ y \in X : d_1 (x,y) < r_1 \}
\end{align*}
contains a ball with centre x with respect to ##d_2##:
\begin{align*}
B_{r_2} (x,d_2) = \{ y \in X : d_2 (x,y) < r_2 \}
\end{align*}
and conversely.The two metrics ##\tilde{\chi} (x,y)## and ##\| x - y \|_2## defined on a space ##\mathbb{C}## are obviously equivalent, as such they induce the same metric topology on ##\mathbb{C}##. And so the two metrics ##\chi (x,y)## and ##\| x - y \|_2## induce the same metric topology on ##\mathbb{C}##.We have a topology on ##\mathbb{C}_\infty## defined by the open sets:
(a) the open sets of ##\mathbb{C}##, regarded as subset of ##\mathbb{C}_\infty##;
(b) the complements in ##\mathbb{C}_\infty## of closed, bounded subsets of ##\mathbb{C}##;
(c) the full space ##\mathbb{C}_\infty##.Recall according to the Heine-Borel theorem that a subset of Euclidean space (coordinate space together with the usual norm, here ##\| \cdot \|_2##) is compact if and only if it is closed and bounded. The same holds true for (##\mathbb{C}## , ##\| x - y \|_2##) (it is basically ##\mathbb{R}^2## with the usual norm: ##\| x \|^2 = x_R^2 + x_I^2##).
Sometimes if ##\mathbb{R}^n## not equipped the usual metric it may fail to have the Heine-Borel property. A moment ago we established that the relative topology on ##\mathbb{C}## (induced by the metric topology of (##\mathbb{C}_\infty , \chi##) is equivalent to the topology defined by (##\mathbb{C} , \| x - \|_2##). Therefore, we can employ the Heine-Borel theorem and condition (b) can be replaced with:
(b)' the complements in ##\mathbb{C}_\infty## of compact subsets of ##\mathbb{C}##.
We now prove that ##\mathbb{C}_\infty## is compact (every open cover has a finite subcover). Let ##\{ U_i \}## be an open cover of ##\mathbb{C}_\infty##.
If the open cover contains ##\{ \mathbb{C}_\infty \}##, the ##\{ U_ i \}## immediately has finite subcover, namely, ##\{ \mathbb{C}_\infty \}##.
We now assume that each ##U_i## is of type (a) or type (b)'. To be a cover, there must be at least one ##U_i## that contains ##\infty##, and this set must be of type (b)'. Let's denote it ##U_0##. It's complement, ##U_0'## is compact subspace of ##\mathbb{C}## which is contained in the union of open subsets of ##\mathbb{C}## of the form ##U_i \cap \mathbb{C}##. As ##U_0'## is compact it is contained in the finite subclass of these sets say
##
\{ U_1 \cap \mathbb{C} , U_2 \cap \mathbb{C} , \dots , U_n \cap \mathbb{C} \}
##It is now easy to see that ##\{ U_0 , U_1 , U_2 , \dots , U_n \}## is a finite subcover our initial open cover of ##\mathbb{C}_\infty##, and so ##\mathbb{C}_\infty## is compact.
The extended complex plane and the Reimann sphereThe Riemann sphere is the geometric object for representing complex numbers in a way that treats infinity on par with other complex values. ...