Die (bis auf eindeutigen Homöomorphismus) größte Kompaktifizierung βX eines vollständig regulären (Tychonoff-)Raumes X, charakterisiert durch die Eigenschaft, dass jede beschränkte stetige reellwertige Funktion auf X eindeutig zu einer stetigen Funktion auf βX fortgesetzt wird.

Prinzip

βX so konstruieren, dass beschränkte stetige Funktionen Punkte trennen und eindeutig erweiterbar sind; βX ist universell unter kompakten Hausdorffräumen, in die X stetig abgebildet werden kann, und entspricht kategorial der Algebra der beschränkten stetigen Funktionen.

Demonstration

Für den diskreten Raum N der natürlichen Zahlen ist βN ein kompakter, extrem zerlegter, nicht metrisierbarer Raum, dessen Rest βN \ N mit Ultrafiltern auf N in Verbindung steht; beschränkte Funktionen auf N (also beschränkte Folgen) erweitern sich zu stetigen Funktionen auf βN.

Fehlanwendung

Zu glauben, βX verhalte sich für beliebige X wie einfache Kompaktifizierungen (z. B. metrisierbar oder ‚klein‘); für viele gebräuchliche nichtkompakte Räume ist βX sehr groß und es treten Pathologien (Nichtseparierbarkeit, fehlende Metrisierbarkeit) auf, so dass naive Intuition aus der Einpunktkompaktifizierung irreführend sein kann.

Konsequenz

Richtig angewandt liefert die Konstruktion einen kompakten Hausdorffraum βX mit der universellen Erweiterungseigenschaft für beschränkte stetige Funktionen; βX bietet den maximalen Rahmen zur Untersuchung von Funktionserweiterungen, Kompaktifizierungen und vielen algebraisch-topologischen Invarianten.

Umkehrung

Während die Einpunktkompaktifizierung alle Enden zusammenfaßt, trennt βX typischerweise Enden nach Ultrafiltern oder funktionalen Unterschieden; die umgekehrte Sichtweise betont, dass βX maximale funktionale Information erhält, wohingegen minimale Kompaktifizierungen diese Informationen kollabieren.

Abgrenzung

Erfordert, dass X vollständig regulär (Tychonoff) ist, damit die Standardcharakterisierung gilt; für Räume ohne vollständige Regularität existiert allgemein kein entsprechendes Analogon mit der gewünschten Erweiterungseigenschaft.

Semantische Spannung

Steht im Spannungsfeld zur Einpunktkompaktifizierung und zu Kompaktifizierungen, die durch Teilalgebren von C_b(X) klassifiziert werden: Stone-Čech ist die maximal durch Funktionen definierte Kompaktifizierung, andere sind minimal oder werden nach zusätzlichen geometrischen oder metrischen Bedingungen gewählt.

Synthese

Die Stone-Čech-Kompaktifizierung ist die universelle, funktions-theoretische maximale Kompaktifizierung eines vollständig regulären Raums X: βX ist der kompakte Hausdorffraum, auf den sich jede beschränkte stetige Funktion auf X eindeutig fortsetzt. Häufig sehr groß und nicht metrisierbar, ist βX dennoch zentral für Erweiterungsprobleme und die funktionalanalytische Betrachtung topologischer Räume.