Ein topologischer Raum, in dem jeder Punkt eine Umgebungsbasis besitzt, die aus Mengen besteht, deren Abschlüsse kompakt sind; äquivalent hat jeder Punkt eine Umgebung mit kompakter Hülle.

Prinzip

Lokale Kompaktheit isoliert kompaktes Verhalten auf kleinen Skalen: obwohl der gesamte Raum nicht kompakt sein muss, besitzt jeder Punkt nahe Bereiche, die sich wie kompakte Räume verhalten und so lokal-zu-global-Konstruktionen wie die Einpunktskompaktifizierung (unter zusätzlichen Trennungsaxiomen) ermöglichen.

Demonstration

Der euklidische Raum R^n ist lokal kompakt, weil jeder Punkt eine kleine abgeschlossene Kugel hat, deren Abschluss (die abgeschlossene Kugel) in R^n kompakt ist; eine lokal kompakte topologische Gruppe besitzt oft ein Haar-Maß und eine reiche harmonische Analyse.

Fehlanwendung

Lokale Kompaktheit mit globaler Kompaktheit oder bloßer lokaler Endlichkeit zu verwechseln ist ein Fehler; ein Raum kann lokal kompakt und global nicht kompakt sein (z. B. R), und lokale Kompaktheit garantiert nicht Eigenschaften wie Abzählbare Kompaktheit oder Lindelöf-Eigenschaft.

Konsequenz

Lokale Kompaktheit zusammen mit Hausdorff-Trennung liefert nützliche Werkzeuge: Existenz der Einpunktskompaktifizierung, Partitionen der Eins passend zu lokal endlichen Überdeckungen in der Mannigfaltigkeitstheorie und Anwendbarkeit von Maßen und Integrationstechniken auf lokal kompakten Gruppen.

Umkehrung

Die Negation — kein Punkt hat eine Umgebung mit kompaktem Abschluss — erzeugt Räume ohne kleine kompakte Modelle und verhindert viele lokal auf Kompaktheit beruhende Konstruktionen; dies ist typisch in manchen unendlichdimensionalen Topologien.

Abgrenzung

Lokale Kompaktheit ist eine lokale topologische Eigenschaft und impliziert keine globale Kompaktheit, Metrisierbarkeit oder Abzählbarkeitsaxiome; sie wird oft zusammen mit Hausdorff (bzw. T2) betrachtet, da viele Standardfolgerungen Trennung voraussetzen.

Semantische Spannung

Lokal kompakt vs σ-kompakt: σ-kompakt bedeutet eine abzählbare Vereinigung kompakter Mengen, was global ist und stärker als bloße lokale Kompaktheit; lokal kompakt vs parakompakt: verschiedene Rollen in der Mannigfaltigkeitstheorie — jede Eigenschaft interagiert anders mit Separabilität und Überdeckungseigenschaften.

Synthese

Ein lokal kompakter Raum stellt sicher, dass jeder Punkt in einer Umgebung sitzt, deren Abschluss kompakt ist, und bietet so lokale kompakte Modelle, die Werkzeuge der Kompaktheits-Theorie auf Nachbarschaftsebene nutzbar machen, ohne globale Kompaktheit zu verlangen.