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

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

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 X, so sagt man, f verschwinde im Unendlichen, wenn f 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 C0-Funktion.

Trenner
Basierend auf einem Artikel in: externer Link Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung: Jena, den: 10.09. 2019