Stone-Cech Compactification

The Stone-Cech compactification $\beta X$ is the "largest" compactification of a Tychonoff space. It has a universal property: every continuous map from $X$ to a compact Hausdorff space extends uniquely to $\beta X$ . This construction connects topology with functional analysis and algebra.

Definition and Universal Property

Definition8.8Compactification

A compactification of a topological space $X$ is a pair $(Y, \iota)$ where $Y$ is a compact Hausdorff space and $\iota: X \hookrightarrow Y$ is a dense embedding (i.e., $\iota(X)$ is dense in $Y$ ).

Definition8.9Stone-Cech Compactification

The Stone-Cech compactification of a Tychonoff space $X$ is a compact Hausdorff space $\beta X$ together with a continuous map $\iota: X \to \beta X$ satisfying:

$\iota$ is a dense embedding.
Universal property: For every compact Hausdorff space $K$ and every continuous map $f: X \to K$ , there exists a unique continuous map $\bar{f}: \beta X \to K$ with $\bar{f} \circ \iota = f$ .

$\begin{array}{ccc} X & \xrightarrow{f} & K \\ \downarrow^{\iota} & \nearrow_{\bar{f}} & \\ \beta X & & \end{array}$

Theorem8.6Existence and Uniqueness

For every Tychonoff space $X$ , the Stone-Cech compactification $\beta X$ exists and is unique up to homeomorphism.

Construction

Proof

Construction via embeddings. Let $\mathcal{F} = C(X, [0, 1])$ be the set of continuous functions $X \to [0, 1]$ . Define the evaluation map: $e: X \to [0, 1]^{\mathcal{F}}, \qquad e(x) = (f(x))_{f \in \mathcal{F}}.$

Since $X$ is Tychonoff, $e$ is an embedding (see Theorem 6.6). The space $[0, 1]^{\mathcal{F}}$ is compact Hausdorff (Tychonoff's theorem). Define: $\beta X = \overline{e(X)} \subseteq [0, 1]^{\mathcal{F}}.$

This is a closed subset of a compact Hausdorff space, hence compact Hausdorff. The map $\iota = e: X \hookrightarrow \beta X$ is a dense embedding.

Universal property: Given $f: X \to K$ continuous with $K$ compact Hausdorff. By the embedding of $K$ into $[0, 1]^{C(K, [0,1])}$ and extending coordinate functions, we can show that $f$ extends to $\bar{f}: \beta X \to K$ . The extension is unique by density of $\iota(X)$ in $\beta X$ and the Hausdorff property of $K$ .

■

Properties

Theorem8.7Properties of $\beta X$

Let $X$ be a Tychonoff space. Then:

$X$ is compact if and only if $\beta X = X$ (or more precisely, $\iota$ is a homeomorphism).
Every bounded continuous function $f: X \to \mathbb{R}$ extends uniquely to $\bar{f}: \beta X \to \mathbb{R}$ .
$\beta X$ is the largest compactification of $X$ : for any compactification $\gamma X$ , there is a surjective continuous map $\beta X \to \gamma X$ extending the identity on $X$ .
$|\beta \mathbb{N}| = 2^{2^{\aleph_0}}$ , vastly larger than $|\mathbb{N}|$ .

ExampleThe Stone-Cech Compactification of $\mathbb{N}$

$\beta \mathbb{N}$ is the space of ultrafilters on $\mathbb{N}$ , where $\mathbb{N}$ is identified with the principal ultrafilters. The topology has basis $\{\hat{A} : A \subseteq \mathbb{N}\}$ where $\hat{A} = \{\mathcal{U} \in \beta \mathbb{N} : A \in \mathcal{U}\}$ .

The remainder $\beta \mathbb{N} \setminus \mathbb{N}$ consists of the free (non-principal) ultrafilters. It is an extremely rich space:

It has cardinality $2^{2^{\aleph_0}} = 2^{\mathfrak{c}}$ .
It is not metrizable, not first-countable, and has no isolated points.
It plays a central role in combinatorial number theory (Hindman's theorem) and Ramsey theory.

Comparison of Compactifications

ExampleCompactifications of $\mathbb{R}$

The space $\mathbb{R}$ has many compactifications:

One-point compactification $\mathbb{R}^* = \mathbb{R} \cup \{\infty\} \cong S^1$ : the smallest compactification, adding one point.
Two-point compactification $[-\infty, +\infty]$ : the extended real line.
Stone-Cech compactification $\beta \mathbb{R}$ : the largest compactification. It is much larger than $\mathbb{R}$ and highly nonmetrizable.

All compactifications of $X$ lie between the one-point compactification (smallest, when it is Hausdorff) and $\beta X$ (largest).

RemarkFunctional Analysis Connection

The Stone-Cech compactification is intimately connected with the Banach algebra $C^*(X) = C_b(X, \mathbb{R})$ of bounded continuous real-valued functions on $X$ : $C(\beta X) \cong C^*(X)$ as Banach algebras (via $\bar{f} \mapsto \bar{f} \circ \iota = f$ ). This is a consequence of the Gelfand representation theorem: $\beta X$ is the maximal ideal space (or spectrum) of $C^*(X)$ .

More generally, the functor $X \mapsto \beta X$ establishes an equivalence between the category of compact Hausdorff spaces and the category of commutative $C^*$ -algebras (Gelfand duality).