Lokalkompakter Raum

Im mathematischen Teilgebiet der Topologie sind die lokalkompakten Räume (auch lokal kompakten Räume) eine Klasse topologischer Räume, die eine gewisse lokale Endlichkeitsbedingung erfüllen. Sie wurden 1924 von Heinrich Tietze und Pawel Sergejewitsch Alexandrow unabhängig voneinander eingeführt. Die beiden Mathematiker erkannten auch, dass sich das aus der Funktionentheorie bekannte Verfahren, die gaußsche Zahlenebene zur riemannschen Zahlenkugel abzuschließen, auf die Klasse der lokalkompakten Räume übertragen lässt. Dieses Verfahren heißt daher auch Alexandroff-Kompaktifizierung.

Definition

Ein topologischer Raum heißt lokalkompakt, wenn jede Umgebung eines jeden Punktes eine kompakte Umgebung enthält.

oder äquivalent:

Ein topologischer Raum heißt lokalkompakt, falls jeder Punkt eine Umgebungsbasis aus kompakten Mengen besitzt.

Für Hausdorff-Räume ist es ausreichend, für jeden Punkt eine kompakte Umgebung zu finden.

Folgerungen

Ein Hausdorff-Raum ist genau dann lokalkompakt, wenn die Alexandroff-Kompaktifizierung, die durch Hinzufügen eines einzigen „unendlich fernen“ Punktes $\infty$ entsteht und stets kompakt (= quasikompakt in der Terminologie einiger Autoren, z.B. Bourbaki und Boto von Querenburg) ist, sogar Hausdorffsch ist.

Daraus erhält man folgende Charakterisierung:

Die lokalkompakten Hausdorff-Räume sind genau die offenen Unterräume kompakter Hausdorff-Räume.

Hieraus folgt, dass jeder lokalkompakte Hausdorff-Raum vollständig regulär ist, denn jeder kompakte Hausdorff-Raum ist normal und damit gemäß dem Lemma von Urysohn vollständig regulär, was sich im Gegensatz zur Normalität auf den Unterraum vererbt.

Jeder lokalkompakte Hausdorff-Raum ist ein Baire-Raum, das heißt, der Durchschnitt abzählbar vieler offener, dichter Teilmengen ist dicht.

Permanenz-Eigenschaften

Abgeschlossene Unterräume und offene Unterräume lokalkompakter Räume sind wieder lokalkompakt.
Endliche Produkte lokalkompakter Räume sind wieder lokalkompakt. Allgemeiner ist das Produkt einer beliebigen Familie topologischer Räume genau dann lokalkompakt, wenn alle beteiligten Räume lokalkompakt und höchstens endlich viele davon nicht kompakt sind.
Das Koprodukt einer beliebigen Familie lokalkompakter Räume ist lokalkompakt, genau dann, wenn alle beteiligten Räume lokalkompakt sind.
Das Bild eines lokalkompakten Raumes unter einer stetigen, offenen und surjektiven Abbildung ist lokalkompakt.

Abzählbarkeit im Unendlichen

Ein lokalkompakter Raum heißt abzählbar im Unendlichen, wenn er durch abzählbar viele kompakte Teilmengen überdeckt wird. Dies ist gleichbedeutend dazu, dass der unendliche Punkt $\infty$ in der Alexandroff-Kompaktifizierung eine abzählbare Umgebungsbasis besitzt.

Beispiele

Jeder diskrete topologische Raum ist lokalkompakt.
Jeder kompakte Hausdorff-Raum ist lokalkompakt.
Endlichdimensionale reelle oder komplexe Vektorräume mit der Normtopologie sind lokalkompakt.
Umgekehrt ist ein unendlich dimensionaler reeller oder komplexer normierter Vektorraum niemals lokalkompakt.
Allgemeiner gilt: Ein mindestens eindimensionaler T₀ topologischer Vektorraum über einem bzgl. der durch die Addition induzierten uniformen Struktur vollständigen, nicht-diskreten topologischen Schiefkörper ist genau dann lokalkompakt, wenn er endlichdimensional und der Schiefkörper lokalkompakt ist.
Da Lokalkompaktheit eine lokale Eigenschaft ist, sind alle (endlichdimensionalen) Mannigfaltigkeiten lokalkompakt.
Lokale Körper sind lokalkompakt, insbesondere die p-adischen Zahlen mit der Topologie, die durch den p-adischen Absolutbetrag definiert wird.
Die Menge der rationalen Zahlen, versehen mit dem Absolutbetrag, ist nicht lokalkompakt.

Lokalkompakte Gruppen

→ Hauptartikel: Lokalkompakte Gruppe

Für die Theorie der topologische Gruppen sind die lokalkompakten besonders interessant, da man auf diesen Gruppen bezüglich eines Haar-Maßes integrieren kann. Dieses ist eine Grundlage der harmonischen Analyse.

Verschwinden im Unendlichen

→ Hauptartikel: C0-Funktion

Ist $f\colon X\to {\mathbb {K} }$ eine reell- oder komplexwertige Funktion auf einem lokalkompakten Raum >, so sagt man, verschwinde im Unendlichen, wenn außerhalb kompakter Mengen beliebig klein gemacht werden kann, d.h. wenn es zu jedem $\varepsilon >0$ eine kompakte Menge $K\subset X$ gibt mit $\left|f(x)\right|<\varepsilon$ für alle $x\in X\setminus K$ . Ist die Funktion zudem stetig, so nennt man sie C₀-Funktion.

Basierend auf einem Artikel in:

Wikipedia.de