Für einen komplett regulären (Tychonoff) Raum X ist die Stone‑Čech‑Kompaktifizierung βX ein kompakter Hausdorffraum mit dichter Einbettung i: X → βX, charakterisiert durch die universelle Eigenschaft, dass jede stetige Abbildung von X in einen beliebigen kompakten Hausdorffraum K eindeutig auf βX fortgesetzt wird.

Prinzip

Konstruiere βX (bis auf Homöomorphie) als universelle Kompaktifizierung von X: Es ist das finale Objekt unter kompakten Hausdorffräumen, die eine stetige Abbildung von X empfangen, sodass stetige Abbildungen aus X eindeutig über βX faktorisieren.

Demonstration

Für den diskreten Raum N ist βN ein sehr großer kompakter Hausdorffraum, dessen Punkte ultrafilterähnlichen Objekten entsprechen; stetige beschränkte reellwertige Funktionen auf N lassen sich eindeutig zu stetigen Funktionen auf βN fortsetzen, was maximales Fortsetzungsverhalten zeigt.

Fehlanwendung

Zu erwarten, dass βX für beliebige X eine ausdrückliche kombinatorische Beschreibung hat, oder βX als kleines, anschauliches Erweiterung zu behandeln; in vielen Fällen ist βX extrem groß und schwer punktweise zu beschreiben.

Konsequenz

βX ist funktoriell und bis auf eindeutige Homöomorphie eindeutig; es erlaubt Fortsetzungsargumente und bietet einen Rahmen zur Untersuchung von Grenzwerten, C*-algebraischen Darstellungen und dem Verhalten 'am Unendlichen' beschränkter stetiger Funktionen auf X.

Umkehrung

Verwendet man eine kleinere Kompaktifizierung (z. B. die Einpunktkompaktifizierung, wenn möglich), so verliert man die Universalität: Einige stetige Abbildungen in kompakte Ziele lassen sich nicht fortsetzen, wodurch βX als maximale Kompaktifizierung im Sinne der Fortsetzung erscheint.

Abgrenzung

Existiert für komplett reguläre T1‑Räume (Tychonoff); die universelle Fortsetzungseigenschaft fällt außerhalb dieser Kategorie weg, und βX schließt Kompaktifizierungen aus, die nicht hausdorffisch sind oder die universelle Abbildungseigenschaft vermissen lassen.

Semantische Spannung

Spannung besteht zwischen Universalität und Anschaulichkeit: Stone‑Čech ist universal bezüglich Fortsetzungen, häufig jedoch nicht konstruktiv und sehr groß, im Gegensatz zu kleineren, anschaulicheren Kompaktifizierungen, die weniger universell, aber leichter zu begreifen sind.

Synthese

βX fasst die maximale kompakte Hausdorfferweiterung eines Tychonoff‑Raums X zusammen: Es enthält X dicht und erweitert eindeutig jede stetige Abbildung von X in ein beliebiges kompaktes Hausdorffziel, wobei anschauliche Einfachheit gegen eine starke universelle Fortsetzungseigenschaft eingetauscht wird.