## [Lokal Kompakter Raum](/de/node/61613) Definition 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 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 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 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 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 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 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 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 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.