[Math] Is the riemann sphere compact even though the complex plane isn’t

general-topology

The Complex plane, set of all $z=x+iy$ where $x$ and $y$ are real, surface area equals cross product of $x$ and $y$ equals aleph-something (that's not the question). Projecting the plane onto a sphere, and adding the complex infinity to the set (without a value for $\arg(z)$), gives the Riemann sphere, which, being a sphere, is compact.

Does the addition of infinity, as some sort of bounder, make the complex plane compact? is the Riemann sphere without infinity compact, since it has an open boundary? also, if the hyperbolic plane can be shown in a disk, what does that mean? The answer to this question might primarily clarify the definitions in my new studies of topology of manifolds, etc.
thanks.

Best Answer

For the Riemann sphere, it is the one point compactification of the plane. So yes, rather by definition it is compact.

Generally, a non-compact topological space can be compactified by suitable addition of "points at infinity". Particularly useful ones (besides the one-point compactification above) include the Stone-Cech compactification, which in some sense adds the "most points", and whose existence for any topological space follows from axiom of choice.

Another compactification that often arises is the Penrose/conformal compactification of space-time in general relativity.

A propos your question on hyperbolic plane. Topologically the hyperbolic plane is the same as the normal plane. By considering the Poincare disk model and "adding" the boundary of the disk, you compactify the hyperbolic plane. As mentioned above, any topological space admits some compactification. What's more useful is to consider special compactifications: for example the one-point compactification of the complex plane into the Riemann sphere is conformal relative to the additional geometrical structure on the two surfaces. Similarly the Penrose compactifications respect the geometrical structure on space-times.