The Stone-?ech compactification is the largest compact Hausdorff compactification of a completely regular space. It is best understood by its universal extension property.
Tychonoff spaces and compactifications
Stone-?ech belongs naturally to spaces with enough bounded continuous functions.
Definition. A Tychonoff space is a completely regular \(T_1\) space. A compactification of \(X\) is a compact Hausdorff space \(K\) together with an embedding \(e:X\to K\) whose image is dense.
Definition. The Stone-?ech compactification \(\beta X\) of a Tychonoff space \(X\) is a compactification with the property that every continuous map \(f:X\to K\) into a compact Hausdorff space extends uniquely to a continuous map \(\beta f:\beta X\to K\).
Construction by evaluation
The construction embeds \(X\) into a product of compact intervals using all bounded continuous functions.
Theorem. Every Tychonoff space \(X\) has a Stone-?ech compactification.
Proof. Let \(\mathcal F=C_b(X,[0,1])\), and define \(e:X\to[0,1]^{\mathcal F}\) by \(e(x)=(f(x))_{f\in\mathcal F}\). Complete regularity makes \(e\) an embedding because bounded continuous functions separate points from closed sets. By Tychonoff's theorem the product cube is compact Hausdorff. Let \(\beta X=\overline{e(X)}\). Then \(\beta X\) is compact Hausdorff and contains \(X\) densely via \(e\).
Remark. This construction makes \(\beta X\) look enormous because it remembers all bounded continuous observables at once.
Universal extension property
The closure in the evaluation cube is designed to extend bounded continuous maps.
Proposition. Every bounded continuous function \(f:X\to[0,1]\) extends continuously to \(\beta X\).
Proof. In the evaluation embedding, \(f\) is one coordinate projection on \([0,1]^{\mathcal F}\). Coordinate projections are continuous on the product and therefore restrict continuously to \(\beta X=\overline{e(X)}\).
Theorem. Every continuous map \(g:X\to K\) into a compact Hausdorff space \(K\) extends uniquely to \(\beta X\).
Proof. Embed \(K\) into a product cube using continuous \([0,1]\)-valued functions on \(K\). Each coordinate of the composite \(X\to K\to[0,1]^J\) extends to \(\beta X\). These extensions define a map \(\beta X\to[0,1]^J\). Since \(g(X)\subseteq K\) and \(K\) is closed in the cube, density of \(X\) in \(\beta X\) forces the extended image to lie in \(K\). Uniqueness follows because two continuous maps from compact Hausdorff spaces that agree on a dense subset agree everywhere.
Discrete spaces and ultrafilters
For discrete spaces, Stone-?ech compactification can be described by ultrafilters.
Proposition. If \(X\) is discrete, points of \(\beta X\) can be identified with ultrafilters on \(X\), with \(x\in X\) corresponding to the principal ultrafilter at \(x\).
Proof. A point of \(\beta X\) determines, for each subset \(A\subseteq X\), whether it lies in the closure of \(A\); because every subset of a discrete space is clopen, these choices form an ultrafilter. Conversely, an ultrafilter chooses a consistent point in the closures of sets according to the finite intersection property, producing a point of the compactification.
Remark. \(\beta\mathbb N\setminus\mathbb N\) is a central object in set-theoretic topology and topological dynamics; it is compact but profoundly nonsequential.
Universal extension property
Theorem. For a completely regular space \(X\), its Stone-?ech compactification \(\beta X\) is characterized by: every continuous map \(f:X\to K\) into a compact Hausdorff space extends uniquely to \[ \overline f:\beta X\to K. \]
Embed \(X\) by evaluation into the cube \[ [0,1]^{C(X,[0,1])},\qquad x\mapsto(f(x))_f, \] and take the closure. Tychonoff makes the cube compact, complete regularity makes the embedding faithful, and coordinate extension proves the universal property. Uniqueness follows because \(X\) is dense and the target is Hausdorff.
Example (discrete integers). Points of \(\beta\mathbb N\) correspond to ultrafilters on \(\mathbb N\). Ordinary integers give principal ultrafilters; the remainder \(\beta\mathbb N\setminus\mathbb N\) consists of free ultrafilters. Every bounded sequence \(a:\mathbb N\to[-M,M]\) has a continuous extension to \(\beta\mathbb N\), whose value at a free ultrafilter is its ultralimit.
This compactification is generally enormous and nonmetrizable. Its role is categorical maximality, not geometric minimality; the one-point compactification sits at the opposite extreme.