Lokal kompakt

Lokal kompakt

Im mathematischen Teilgebiet der Topologie sind die lokal kompakten Räume eine Klasse topologischer Räume, die eine gewisse lokale Endlichkeitsbedingung erfüllen.

Inhaltsverzeichnis

Definition

Ein topologischer Hausdorff-Raum ist lokal kompakt, wenn es zu jedem Punkt eine offene Umgebung gibt, deren Abschluss kompakt ist.

oder äquivalent:

Ein topologischer Hausdorff-Raum heißt lokal kompakt, falls jeder Punkt eine kompakte Umgebung besitzt.

Folgerungen

Ein Hausdorff-Raum ist genau dann lokal kompakt, wenn jede Umgebung eines jeden Punktes eine kompakte Umgebung enthält.

Man kann weiter zeigen, dass ein Hausdorff-Raum genau dann lokal kompakt ist, wenn er sich durch Hinzufügen eines einzigen Punktes kompaktifizieren lässt. Daraus erhält man folgende Charakterisierung:

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

Hieraus folgt direkt, dass jeder lokal kompakte Hausdorff-Raum vollständig regulär ist.

Jeder lokalkompakte Raum ist ein Baire-Raum, d.h. der Durchschnitt abzählbar vieler offener, dichter Mengen 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

  • Jeder diskrete topologische Raum ist lokal kompakt.
  • Jeder kompakte Hausdorff-Raum ist lokal kompakt.
  • Endlichdimensionale reelle oder komplexe Vektorräume mit der Normtopologie sind lokal kompakt.
  • Ein Banachraum ist genau dann lokal kompakt, wenn er endlichdimensional ist.
  • Da Lokalkompaktheit eine lokale Eigenschaft ist, sind alle (endlichdimensionalen) Mannigfaltigkeiten lokal kompakt.
  • Lokale Körper, 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 lokal kompakt.

Lokal kompakte Gruppen

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. Für kommutative lokalkompakte Gruppen wird das in der Theorie der harmonischen Analyse ausgebaut.

Verschwinden im Unendlichen

Ist f:X\rightarrow {\mathbb K} eine 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 ε > 0 eine kompakte Menge K\subset X gibt mit \left|f(x) \right| < \varepsilon für alle x\in X\setminus K.

Literatur

  • Johann Cigler, Hans-Christian Reichel: Topologie, BI Hochschultaschenbücher 121 (1978)
  • Wolfgang Franz: Topologie I, Sammlung Göschen Band 6181 (1973)

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Lokal kompakter Raum — Im mathematischen Teilgebiet der Topologie sind die lokal kompakten Räume eine Klasse topologischer Räume, die eine gewisse lokale Endlichkeitsbedingung erfüllen. Inhaltsverzeichnis 1 Definition 2 Folgerungen 3 Permanenz Eigenschaften …   Deutsch Wikipedia

  • Lokal (Topologie) — Man sagt in der mathematischen Topologie, eine Eigenschaft topologischer Räume gelte lokal für einen topologischen Raum T, wenn für jede Wahl eines Punktes x in T eine Umgebungsbasis von x existiert, deren Elemente die Eigenschaft haben. Eine… …   Deutsch Wikipedia

  • Lokal-endliches Maß — Als Borelmaß (nach Émile Borel) bezeichnet man im mathematischen Gebiet der Maßtheorie diejenigen Maße µ auf der Borelschen σ Algebra eines Hausdorff Raums X, für die gilt: Für jedes existiert eine offene Umgebung U mit . Diese Eigenschaft… …   Deutsch Wikipedia

  • Lokal gleichmäßige Konvergenz — Die lokal gleichmäßige Konvergenz ist ein mathematischer Begriff, der eine bestimmte Konvergenzart von Funktionenfolgen beschreibt und den Begriff der gleichmäßigen Konvergenz abschwächt. Dieser mit der kompakten Konvergenz eng verwandte Begriff… …   Deutsch Wikipedia

  • Lokal integrierbare Funktion — Eine lokal integrierbare Funktion ist eine Funktion, die auf jedem Kompaktum integrierbar ist, jedoch muss diese Funktion auf gewissen offenen Mengen nicht integrierbar sein. Solche Funktionen werden in der Analysis beziehungsweise… …   Deutsch Wikipedia

  • Kompakt (Mathematik) — kompakter Raum berührt die Spezialgebiete Mathematik Topologie Analysis ist Spezialfall von topologischer Raum parakompakter Raum Lindelöf Raum …   Deutsch Wikipedia

  • Kompakt konvergent — In der Mathematik nennt man eine Folge oder Reihe von Funktionen auf einem topologischen Raum X mit Werten in einem normierten Raum E kompakt konvergent, wenn sie auf jeder kompakten Teilmenge von X gleichmäßig konvergiert. Seine Bedeutung erhält …   Deutsch Wikipedia

  • Abzählbar kompakt — kompakter Raum berührt die Spezialgebiete Mathematik Topologie Analysis ist Spezialfall von topologischer Raum parakompakter Raum Lindelöf Raum …   Deutsch Wikipedia

  • Quasi-kompakt — kompakter Raum berührt die Spezialgebiete Mathematik Topologie Analysis ist Spezialfall von topologischer Raum parakompakter Raum Lindelöf Raum …   Deutsch Wikipedia

  • Sigma-kompakt — Ein topologischer Raum heißt Sigma kompakt (σ kompakt), wenn er sich als abzählbare Vereinigung kompakter Teilräume schreiben lässt. σ Kompaktheit ist also eine Abschwächung des topologischen Begriffs der Kompaktheit. Der Buchstabe σ in der… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”