Die Konstruktion, die einem nichtkompakten Raum X einen einzigen Punkt ∞ hinzufügt und X ∪ {∞} mit der Topologie versieht, deren offenen Mengen die offenen Mengen von X sowie solche Mengen sind, deren Komplement in X kompakt ist; für lokal kompakte Hausdorffräume X ergibt dies einen kompakten Hausdorffraum, in den X als offener dichter Teilraum eingebettet ist.

Prinzip

Man wählt die Umgebungen des neuen Punktes als Komplemente kompakter Teilmengen von X, sodass die kleinste Topologie entsteht, die X durch genau einen Punkt kompaktifiziert und die ursprünglichen Offenen sowie die Stetigkeit der Inklusion erhält.

Demonstration

Die Einpunktkompaktifizierung von R ist homöomorph zum Kreis S^1: Man fügt ∞ hinzu und deklariert Umgebungen von ∞ als Komplemente kompakter Mengen in R, sodass Folgen, die zu ±∞ entweichen, gegen ∞ konvergieren und der Raum kompakt wird.

Fehlanwendung

Die Konstruktion auf Räume anzuwenden, die nicht lokal kompakt sind, in der Erwartung einer Hausdorff‑Kompaktifizierung; der resultierende Raum kann dann kein Hausdorffraum sein oder erwünschte Trennungseigenschaften verlieren.

Konsequenz

Wenn anwendbar (lokal kompakter, nicht kompakter Hausdorffraum X), liefert die Konstruktion eine minimalistische Kompaktifizierung durch Hinzufügen eines einzigen Punktes und bietet einen praktischen kompakten Umgebungsraum zur Fortsetzung von Funktionen, die im Unendlichen verschwinden.

Umkehrung

Entfernt man den hinzugefügten Punkt und die zugehörigen Umgebungsregeln, stellt man Nichtkompaktheit wieder her; versucht man stattdessen, durch Hinzufügen mehrerer Punkte oder Ändern der Umgebungsdefinitionen zu kompaktifizieren, entstehen andere (meist größere) Kompaktifizierungen.

Abgrenzung

Hauptsächlich für nicht kompakte Räume gedacht; sie liefert genau dann eine hausdorffsches Kompaktifizierung, wenn X lokal kompakt und Hausdorff ist; sie schließt Konstruktionen aus, die Universalität oder eindeutige Fortsetzung beliebiger stetiger Abbildungen verlangen (im Gegensatz zu Stone‑Čech).

Semantische Spannung

Spannung besteht zwischen der Einpunktkompaktifizierung und universellen Kompaktifizierungen: Die Einpunktmethode ist sparsam, aber nicht universell — sie erweitert nicht notwendigerweise alle stetigen Abbildungen zu beliebigen kompakten Zielräumen — während Stone‑Čech universell, aber wesentlich umfangreicher ist.

Synthese

Die Einpunktkompaktifizierung fügt einen Punkt hinzu, dessen Umgebungen Komplemente kompakter Mengen in X sind, um das Entweichen ins Unendliche als Konvergenz zu einem Punkt zu interpretieren; für lokal kompakte Hausdorffräume ergibt sich so ein kompakter Hausdorffraum, der X als offenen dichten Teilraum enthält und eine einfache Kompaktifizierung liefert.