Mathematik: Topologie: Basen topologischer Räume

Aus Wikibooks

Topologien bestehen meist aus sehr vielen, möglicherweise kompliziert aussehenden offenen Mengen. Dies liegt daran, dass beliebige Vereinigungen offener Mengen wieder offen sein müssen. So gibt es beispielsweise in komplizierte offene Mengen, doch alle lassen sich als Vereinigung von Bällen darstellen. Dies führt uns zum Konzept der Basis eines topologischen Raums. Später werden wir sehen, dass es für gewisse Eigenschaften ausreicht, sie auf einer Basis nachzuweisen.

Definition: Basis
Sei eine Topologie. Eine Basis von ist eine Menge , so dass jede offene Menge Vereinigung von Mengen in ist. Die Mengen in heissen basisoffen.

Beispiele[Bearbeiten]

Beispiel: Metrische Räume
Die Menge der -Bälle bildet eine Basis der durch die Metrik induzierten Topologie. Es geht sogar noch besser: Die Menge der -Bälle mit bilden eine Basis der durch die Metrik induzierten Topologie. Das heißt insbesondere, dass abzählbare metrische Räume eine abzählbare Basis ihrer Topologie besitzen.
Beispiel: Alexandroff-Topologie
Die Abschlüsse von Singleton-Mengen nach oben bilden eine Basis der Topologie, das heisst die Mengen der Form .

Der Begriff der Basis lässt sich auch anders charakterisieren:

Proposition: Basischarakterisierung
Die Menge ist genau dann eine Basis einer Topologie auf einer Menge X, wenn die folgenden zwei Eigenschaften erfüllt sind:
  1. Für ist eine Vereinigung von Mengen in
Beweis

Subbasen[Bearbeiten]

Jedes Mengensystem, auch wenn es keine Basis ist, erzeugt eine minimale Topologie, die das Mengensystem erhält. Man erhält eine Basis dieser Topologie, indem man alle möglichen endlichen Schnitte von Mengen des Mengensystems bildet. Betrachte das Mengensystem . Durch bilden aller Durchschnitte erhält man (die Menge erhält man als Schnitt über die leere (also endliche) Familie von Mengen). Dies ist bereits eine Topologie.