Compactification and the One-Point Compactification

In topology, the property of compactness is a powerful tool, offering guarantees about finite covers and the existence of limits. However, many important spaces, like the real line $\mathbb{R}$ or an open disk, are not compact. Compactification is the process of embedding a topological space into a compact space, often by strategically "adding points at infinity." This technique is not just a topological curiosity; it provides essential frameworks for complex analysis, algebraic geometry, and functional analysis, allowing mathematicians to study local behavior by placing it within a complete, global context.

Foundations: Why Compactify?

A topological space $X$ is compact if every open cover of $X$ has a finite subcover. Intuitively, a compact space contains all its "limit points" and doesn't "stretch out to infinity." Many fundamental theorems, like the Extreme Value Theorem in calculus, rely on compactness. When a space lacks this property, analysis becomes more difficult. The goal of compactification is to minimally enlarge a non-compact space $X$ to a compact space $Y$ such that $X$ is a dense subspace of $Y$. The added points typically represent "directions" in which the original space escapes to infinity, providing a boundary where limiting behaviors can be studied.

The simplest example is the two-point compactification of the open interval $(0,1)$ into the closed interval $[0,1]$. Here, we add two boundary points, $0$ and $1$. A more profound example is viewing the complex plane $\mathbb{C}$ as a dense subset of the Riemann sphere $\mathbb{C}\cup \{\infty \}$. This single added point, $\infty$, compactifies the plane and is fundamental to complex analysis.

The Alexandroff One-Point Compactification

The most economical compactification is the Alexandroff one-point compactification. Given a topological space $X$, we construct a new space $X^{\ast }=X\cup \{\infty \}$, where $\infty$ is a single new point. The topology on $X^{\ast }$ is defined as follows: open sets are either open subsets of $X$, or sets of the form $X^{\ast }\setminus C$, where $C$ is a closed and compact subset of $X$.

This construction yields a compact space $X^{\ast }$ in which $X$ is embedded as a dense subspace. However, it comes with crucial prerequisites. For $X^{\ast }$ to be a compactification (and specifically for it to be Hausdorff), the original space $X$ must be locally compact and Hausdorff. A space is locally compact if every point has a neighborhood whose closure is compact. If $X$ is a locally compact Hausdorff space, then its one-point compactification $X^{\ast }$ is also a compact Hausdorff space.

Consider $X={\mathbb{R}}^n$ with the Euclidean topology. It is locally compact and Hausdorff. Its one-point compactification ${\mathbb{R}}^n\cup \{\infty \}$ is homeomorphic to the $n$-sphere $S^n$. This is a powerful visualization: wrapping the infinite plane onto a sphere, with the north pole representing the point at infinity. This model is indispensable in conformal geometry and complex analysis, where meromorphic functions on $\mathbb{C}$ are studied as continuous functions on the Riemann sphere.

The Stone-Čech Compactification

While the one-point compactification is minimal, the Stone-Čech compactification is maximal in a specific, profoundly useful sense. For a completely regular Hausdorff space $X$, its Stone-Čech compactification, denoted $\beta X$, is the unique compact Hausdorff space with the following universal property: any continuous function $f:X\to K$, where $K$ is a compact Hausdorff space, extends uniquely to a continuous function $\beta f:\beta X\to K$.

This property makes $\beta X$ the "largest" compactification. The points of $\beta X\setminus X$ can be thought of as ultrafilters of zero-sets or as ways to assign limit points to bounded continuous functions on $X$. Unlike the one-point compactification, $\beta X$ is huge and often non-metrizable, even for simple spaces like the natural numbers $\mathbb{N}$.

The construction of $\beta X$ leverages the space of continuous functions. One method is to embed $X$ into the compact space $[0,1{]}^{C(X,[0,1])}$ via the map $x\mapsto (f(x){)}_{f\in C}$, where $C$ is the set of all continuous functions from $X$ to $[0,1]$. The closure of this embedding in the product topology is $\beta X$. This highlights its functional analytic heart: $\beta X$ provides a setting where all bounded real-valued continuous functions on $X$ attain their maximum and can be extended.

Applications Across Mathematics

The utility of compactification is most evident in its applications. In complex analysis, the Riemann sphere (the one-point compactification of $\mathbb{C}$) transforms the theory of meromorphic functions. A meromorphic function on $\mathbb{C}$ becomes a continuous, and even holomorphic, map $f:S^2\to S^2$. This global viewpoint simplifies the statement of theorems like Liouville's Theorem and is central to the theory of Riemann surfaces.

In algebraic geometry, compactification is a fundamental motive. For instance, the complex projective line ${\mathbb{CP}}^1$ is the natural compactification of the affine line $\mathbb{C}$, analogous to the Riemann sphere. More generally, varieties are often studied by embedding them into complete (compact, in the analytic topology) varieties. The famous problem of resolving singularities can be seen as a form of compactification, leading to a proper, smooth model.

In functional analysis, the Stone-Čech compactification is a critical tool. It is intimately connected with the theory of $C^{\ast }$-algebras. The Gelfand representation theorem states that every commutative $C^{\ast }$-algebra with unit is isometrically isomorphic to $C(K)$, the algebra of continuous complex-valued functions on a compact Hausdorff space $K$. For the algebra $C_b(X)$ of bounded continuous functions on a space $X$, this compact space is precisely $\beta X$. Thus, $\beta X$ serves as the spectrum of this algebra, linking point-set topology with operator theory.

Common Pitfalls

1. Assuming all spaces have a one-point compactification: A common error is attempting to apply the Alexandroff construction to a space that is not locally compact. If $X$ is not locally compact, then $X^{\ast }$ will fail to be Hausdorff. For example, the space of rational numbers $\mathbb{Q}$ (with the subspace topology from $\mathbb{R}$) is not locally compact. Adding a point $\infty$ does not yield a Hausdorff compactification, as you cannot separate $\infty$ from some points in $\mathbb{Q}$ with disjoint open sets in the defined topology.
2. Confusing the types of added points: It's easy to think of $\beta X\setminus X$ as a simple boundary, like a circle. For most infinite spaces, it is vastly more complex. For $\beta \mathbb{N}$, the remainder $\beta \mathbb{N}\setminus \mathbb{N}$ is an uncountable, non-metrizable space with a rich topological structure, not a finite set of points. Misunderstanding this complexity can lead to incorrect intuitions about sequential convergence in $\beta X$.
3. Overlooking the Hausdorff requirement: The definitions and universal properties for compactifications like the Stone-Čech compactification explicitly require the original and resulting spaces to be completely regular Hausdorff (Tychonoff) and compact Hausdorff, respectively. Applying these theorems to non-Hausdorff spaces will lead to invalid conclusions.
4. Equating compactification with completion: In metric spaces, the completion adds limits for all Cauchy sequences, yielding a complete metric space. A compactification, however, aims for compactness, which is a stronger property. The one-point compactification of $\mathbb{R}$ is $S^1$, which is compact but not a metric completion of $\mathbb{R}$. Conversely, the completion of $\mathbb{R}$ is $\mathbb{R}$ itself, as it is already complete. The processes address different forms of "incompleteness."

Summary

• Compactification is the process of embedding a topological space into a compact space as a dense subset, often by adding "points at infinity" to capture limiting behaviors.
• The Alexandroff one-point compactification $X^{\ast }$ is the minimal addition of a single point. It requires $X$ to be locally compact and Hausdorff to yield a Hausdorff result, and its classic example is the homeomorphism between ${\mathbb{R}}^n\cup \{\infty \}$ and the $n$-sphere $S^n$.
• The Stone-Čech compactification $\beta X$ is the maximal compactification, defined for completely regular Hausdorff spaces by the universal property that any continuous map from $X$ to a compact Hausdorff space extends uniquely to $\beta X$. Its points correspond to ultrafilters or characters on the algebra of bounded continuous functions.
• These constructions are not mere theoretical exercises; they are vital tools. The one-point compactification is central to complex analysis (Riemann sphere), while the Stone-Čech compactification provides the foundational link between topology and functional analysis via Gelfand duality and finds deep applications in algebraic geometry through the pursuit of complete varieties.