Stereographic projection (${\sigma }_N(X,Y,Z)=(X+iY)/(1-Z)$)

Stereographic projection identifies a sphere minus one pole with the plane and supplies the standard charts of the Riemann sphere.

In the equatorial-plane convention of the Riemann sphere, draw the straight line through $N=(0,0,1)$ and a point $P=(X,Y,Z)\ne N$ on the unit sphere. Its intersection with the plane $Z=0$ has complex coordinateThe inverse function, for $z=x+iy$ and $r^2=x^2+y^2$, isHere positive $x$ gives positive $X$, and positive $y$ gives positive $Y$. Thus $1$ and $i$ lie on the positive $X$ and $Y$ ends of the equator. The omitted north pole is assigned $z=\infty$.^[ref]

For original worked points, the real numbers $1/2$ and $2$ lift to points with the same $X$ coordinate but opposite $Z$ coordinates:Projecting back gives $(4/5)/(1+3/5)=1/2$ and $(4/5)/(1-3/5)=2$. A point off the real axis checks the other sign:The coordinates satisfy $4/9+1/9+4/9=1$, as a point on the unit sphere must. Also $P(0)=S$, $P(-1)=(-1,0,0)$ and $P(i)=(0,1,0)$.

A short derivation starts with the line $N+t(P-N)=(tX,tY,1+t(Z-1))$. Setting its last coordinate to zero gives $t=1/(1-Z)$, hence the projection formula. Conversely the line from $N$ to $(x,y,0)$ is $(tx,ty,1-t)$. Substitution in the unit sphere equation givesThe root $t=0$ is $N$; the other root $t=2/(1+r^2)$ gives $P(z)$. These line intersections establish both the formula and its bijection property without guessing the inverse.

The same algebra explains how large planar distances become small spherical ones:Consequently $|z|\to \infty$ brings $P(z)$ to $N$ independently of direction. The last expression is twice the chordal metric distance $\chi (z,\infty )$. A whole unbounded exterior in the complex plane therefore becomes a small cap on the unit sphere.

For north-pole stereographic projection $z=(X+iY)/(1-Z)$ on the unit sphere, substitute $|z{|}^2=(1+Z)/(1-Z)$ into a planar circle equation. The displayed plane equation follows, and its intersection with the sphere is a circle. The plane contains the sphere's centre exactly when $r^2=1+|c{|}^2$, giving a great circle.

A planar circle other than the unit circle lifts to a great circle exactly when it meets the unit circle at two opposite points. A great circle other than the equator intersects the equator in an antipodal pair. Conversely the plane containing a lifted circle and an antipodal pair contains their midpoint, the sphere's centre. Algebraically, adding the equations $|z-c{|}^2=r^2$ and $|-z-c{|}^2=r^2$ with $|z|=1$ gives the displayed condition.

For north-pole stereographic projection $p=(X+iY)/(1-Z)$ on the unit sphere, the antipodal pair point has coordinate $q=-(X+iY)/(1+Z)$. Since $X^2+Y^2=1-Z^2$, this gives $p\overline{q}=-1$ when both coordinates are finite. On the whole Riemann sphere, write $q=-1/\overline{p}$, pairing zero with infinity. The two axis endpoints fixed by a sphere rotation obey this relation.

Use the north-pole stereographic projection and the cross-ratio convention $[a,b;c,d]=(a-c)(b-d)/[(a-d)(b-c)]$. Antipodes have coordinates $-1/\bar{u}$. Rotate the first point to the south pole, whose coordinate is zero: its antipode becomes infinity, while a point at spherical distance $d$ has projected modulus $\tan (d/2)$. Möbius invariance of the cross-ratio then gives the displayed identity. Antipodal endpoints require the extended-value interpretation.

On the unit sphere, use $\zeta =(x+iy)/(1-z)$ away from the north pole and $\eta =(x-iy)/(1+z)$ away from the south pole. Their overlap relation $\eta =1/\zeta$ is a holomorphic map, giving a holomorphic atlas for the Riemann sphere. The opposite sign of $iy$ in the second manifold chart ensures a holomorphic rather than antiholomorphic transition.

Writing the sphere coordinates as $(X,Y,Z)$ avoids confusing their height with the complex coordinate $z$. The two manifold charts cover the whole unit sphere:On their overlap, $X^2+Y^2=1-Z^2$ givesThe coordinate transformation and its inverse are holomorphic, so these manifold charts make the sphere a Riemann surface. The sign in $X-iY$ is essential. Geometric projection from the south pole with the same planar axis labels would give $v=(X+iY)/(1+Z)=1/\overline{z}$. The complex conjugation in that transition prevents it from being holomorphic. For $z=i$, the correct second coordinate is $w=-i$: positive $Y$ corresponds to negative imaginary part in this manifold chart.

The reciprocal chart makes infinity an ordinary coordinate origin. Its domain is the Riemann sphere minus the point $z=0$; $w(\infty )=0$ and $w(z)=1/z$ elsewhere. A neighbourhood $U_R$ of infinity becomes the open disc $|w|<1/R$. In sphere coordinates this is exactly the capFor $R=2$, the exterior $|z|>2$ together with infinity becomes $Z>3/5$ and $|w|<1/2$. The boundary itself is excluded from each open set.

The point $z=2+i$ lies in this neighbourhood because $|z|=\sqrt{5}>2$. Its reciprocal coordinate is $w=(2-i)/5$, with $|w|=1/\sqrt{5}<1/2$, and its sphere height is $Z=2/3>3/5$. The negative imaginary part of $w$ is the axis reversal required by the holomorphic stereographic atlas of the sphere.

For a complex-valued holomorphic function $f$ defined outside a large disc, having a removable singularity at infinity means that $g(w)=f(1/w)$ extends to a holomorphic function at $w=0$. This definition reduces questions at infinity to familiar questions at a finite point.^[ref] For example,The geometric series gives a Taylor series at the new origin, so $f(\infty )=1$ and $g^{\prime }(0)=-5$. The coefficient $-5$ is the derivative in the specified $w$ coordinate. In contrast, $f(z)=z^2$ becomes $g(w)=w^{-2}$, displaying a pole of order two at infinity when the target is the complex plane. As a holomorphic map to the Riemann sphere, it uses the target reciprocal coordinate $1/f(1/w)=w^2$, which is regular at zero.

Under the stereographic projection $w=(x+iy)/(1-z)$, rotations about the third axis have representatives $\mathrm{diag}(e^{i\theta /2},e^{-i\theta /2})$, and rotations about the second axis have representativesThese belong to the special unitary group $SU(2)$. Euler-angle generation of the special orthogonal group $SO(3)$ shows that every sphere rotation becomes a Möbius transformation represented in $SU(2)$. Representatives $U$ and $-U$ induce the same transformation.