Ein topologischer Raum, in dem jeder Punkt eine Umgebung besitzt, deren Abschluss (im Raum genommen) kompakt ist.

Prinzip

Lokale Kompaktheit strukturiert die Topologie, indem sie kompakte Eigenschaften in kleinen Umgebungen sichert und so lokal-zu-global-Konstruktionen sowie kompakte Argumente punktweise ermöglicht.

Demonstration

Der euklidische Raum R^n und jede endlich-dimensionale Mannigfaltigkeit sind lokal kompakt: Zu jedem Punkt gibt es eine kleine offene Kugel, deren Abschluss eine kompakte abgeschlossene Kugel ist. Ein unendlich-dimensionaler Hilbertraum ist in der Normtopologie typischerweise nicht lokal kompakt.

Fehlanwendung

Lokale Kompaktheit mit globaler Kompaktheit verwechseln oder fordern, dass die Umgebung selbst kompakt sein müsse statt ihres Abschlusses; ohne Prüfung von Hausdorff- und lokal-kompakten Voraussetzungen eine Einpunktkompaktifizierung durchführen wollen.

Konsequenz

Ist die lokale Kompaktheit gegeben (häufig zusammen mit Hausdorff), sind Konstruktionen wie die Einpunktkompaktifizierung möglich und es existieren lokal endliche Partitionen der Eins auf Mannigfaltigkeiten sowie wohlverhaltene lokale Maße.

Umkehrung

Das Umgekehrte ist ein Raum, in dem mindestens ein Punkt keine Umgebung mit kompaktem Abschluss besitzt; ein global kompakter Raum erfüllt die stärkere Forderung, dass der gesamte Raum kompakt ist.

Abgrenzung

Die Eigenschaft bezieht sich auf topologische Räume und hängt von der gewählten Topologie ab; sie impliziert nicht Trennbarkeit, Metrisierbarkeit oder globale Kompaktheit und ist von σ-Kompaktheit zu unterscheiden.

Semantische Spannung

Es besteht Spannung zwischen lokaler Kompaktheit und globalen Invarianten (Kompaktheit, σ-Kompaktheit, Metrisierbarkeit) sowie zwischen der intuitiven Vorstellung »kompakter Nachbarschaften« und der formalen Forderung an Abschlüsse.

Synthese

Lokale Kompaktheit bedeutet, dass jeder Punkt eine kleine Umgebung besitzt, deren Abschluss sich wie ein kompakter Raum verhält, wodurch kompaktheitsbasierte Methoden lokal anwendbar werden, ohne den gesamten Raum als kompakt zu verlangen.