Parakompakter Raum

Parakompaktheit ist ein Begriff aus dem mathematischen Teilgebiet der Topologie. Er beschreibt eine Eigenschaft topologischer Räume, welche in vielen Sätzen der Topologie eine wesentliche Rolle spielt. Der Begriff der Parakompaktheit wurde im Jahre 1944 von dem französischen Mathematiker Jean Dieudonné eingeführt.[1]

Tatsächlich sind viele der gängigen topologischen Räume sogar parakompakte Hausdorff-Räume. Manche Autoren setzen für parakompakte Räume die Hausdorff-Eigenschaft stets mit voraus.[2] Zu den parakompakten Hausdorff-Räumen zählen insbesondere alle metrischen Räume (Satz von Arthur Harold Stone[3]) und alle Mannigfaltigkeiten (hier ist die Parakompaktheit Teil der üblichen Definition). Schwieriger ist es, nicht-parakompakte Räume zu finden. Ein gängiges Gegenbeispiel ist die sogenannte lange Gerade.

Parakompaktheit ist eine abgeschwächte Form der Kompaktheit; zum Beispiel ist die Menge der reellen Zahlen in der üblichen Topologie parakompakt, aber nicht kompakt.

Definition

Ein topologischer Raum M ist parakompakt, falls jede offene Überdeckung eine lokal endliche offene Verfeinerung besitzt.

Zum Vergleich: Ein topologischer Raum M ist kompakt, falls jede offene Überdeckung eine endliche Teilüberdeckung besitzt.

Dabei bedeutet:

  • offene Überdeckung von : eine Familie von offenen Mengen, deren Vereinigung enthält: ;
  • Teilüberdeckung: eine Teilfamilie , deren Vereinigung immer noch enthält;
  • Verfeinerung: eine neue Überdeckung , wobei jede Menge in mindestens einer Menge der alten Überdeckung enthalten sein muss;
  • lokal endlich: zu jedem gibt es eine Umgebung, die nur endlich viele Mengen schneidet.

Beispiele

  • Metrische Räume sind parakompakt, die Umkehrung gilt nicht.
  • Differenzierbare Mannigfaltigkeiten (die nach Definition Hausdorffsch sind und das zweite Abzählbarkeitsaxiom erfüllen) sind immer parakompakt. Oft wird die Parakompaktheit als Teil der Definition vorausgesetzt, sie folgt aber auch aus der Hausdorff-Bedingung und dem zweiten Abzählbarkeitsaxiom. Nicht-Hausdorffsche Mannigfaltigkeiten müssen im Allgemeinen nicht parakompakt sein. Aus der Parakompaktheit folgt die Existenz einer Zerlegung der Eins,[A 1] was die topologische Eigenschaft der Parakompaktheit zum Beispiel für die Integrationstheorie auf differenzierbaren Mannigfaltigkeiten bedeutsam macht.

Eigenschaften

Abschwächungen

  • Verlangt man die definierende Eigenschaft nur für abzählbare Überdeckungen, so spricht man von einem abzählbar parakompakten Raum. Parakompakte Räume sind natürlich abzählbar parakompakt, die Umkehrung gilt nicht.
  • Verlangt man in der Definition des parakompakten Raums von der Verfeinerung nur, dass sie punktendlich ist, das heißt jeder Punkt ist nur endlich vielen Mengen der Verfeinerung enthalten, so spricht man von einem metakompakten Raum. Parakompakte Räume sind natürlich metakompakt. Das Beispiel der Dieudonné-Planke zeigt, dass die Umkehrung nicht gilt.

Literatur

Anmerkungen

  1. Für den Beweis dieses Satzes benötigt man die Zuhilfenahme des Zorn'schen Lemmas und damit die Annahme der Gültigkeit des Auswahlaxioms. Siehe Horst Schubert: Topologie., 1975, S. 83–88!

Einzelnachweise

  1. Führer: Allgemeine Topologie mit Anwendungen. 1977, S. 135.
  2. Schubert: Topologie. 1975, S. 84.
  3. Schubert: Topologie. 1975, S. 90.