Borelsche σ-Algebra

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Die borelsche σ-Algebra ist ein Begriff aus der Mathematik, der ein Scharnier zwischen den Zweigen Topologie und Maßtheorie bildet. Jedem topologischen Raum lässt sich in eindeutiger Weise eine σ-Algebra zuordnen, die man die zugehörige borelsche σ-Algebra nennt.

Der Begriff ist nach dem Mathematiker Émile Borel benannt.

Definition[Bearbeiten]

Für einen gegebenen topologischen Raum \Omega ist die borelsche σ-Algebra definiert als die kleinste σ-Algebra, die die offenen Mengen von \Omega enthält. Die Elemente dieser σ-Algebra heißen Borelmengen.

Bemerkungen[Bearbeiten]

  • Eine σ-Algebra auf einer Grundmenge \Omega ist eine Menge von Teilmengen, die die Grundmenge enthält und die bezüglich Komplementbildung und abzählbarer Vereinigung abgeschlossen ist. Eine Grundmenge zusammen mit einer auf ihr erklärten σ-Algebra heißt auch Messraum.
  • Dass genau eine solche kleinste σ-Algebra existiert, wird im Absatz über den σ-Operator gezeigt. Sie ist nichts anderes als der Schnitt aller σ-Algebren, die alle offenen Teilmengen enthalten. Da der Schnitt von σ-Algebren über einer gemeinsamen Grundmenge immer wieder eine σ-Algebra über dieser Grundmenge ist und die Potenzmenge immer sowohl σ-Algebra ist als auch alle offenen Teilmengen enthält, ist die Existenz dieser kleinsten σ-Algebra garantiert.
  • Eine borelsche σ-Algebra ermöglicht es somit, einen topologischen Raum in kanonischer Weise mit der zusätzlichen Struktur eines Messraums auszustatten. Im Hinblick auf diese Struktur heißt der Raum dann auch Borel-Raum.
  • Die Klasse der Borelmengen ist eine Unterklasse der Klasse der suslinschen oder auch analytischen Mengen.[1]

Nomenklatur für bestimmte Borel-Mengen[Bearbeiten]

Hauptartikel: Borel-Hierarchie
  • In der Literatur hat sich folgende von Felix Hausdorff eingeführte Bezeichnung für manche einfache Klassen von Borelmengen durchgesetzt:[2][1][3]
- mit \operatorname F_\sigma werden alle Vereinigungen von abzählbar vielen abgeschlossenen Mengen bezeichnet,
- mit \operatorname G_\delta alle Durchschnitte von abzählbar vielen offenen Mengen,
- mit \operatorname F_{\sigma\delta} alle Durchschnitte von abzählbar vielen \operatorname F_\sigma-Mengen,
- mit \operatorname G_{\delta\sigma} alle Vereinigungen von abzählbar vielen \operatorname G_\delta-Mengen,
- mit \operatorname F_{\sigma\delta\sigma} alle Vereinigungen von abzählbar vielen \operatorname F_{\sigma\delta}-Mengen,
- mit \operatorname G_{\delta\sigma\delta} alle Durchschnitte von abzählbar vielen \operatorname G_{\delta\sigma}-Mengen
usw.
Alle \operatorname F_\sigma, \operatorname G_\delta, \operatorname F_{\sigma\delta}, \operatorname G_{\delta\sigma}, \operatorname F_{\sigma\delta\sigma}, \operatorname G_{\delta\sigma\delta},...-Mengen sind Borelmengen. Dieses Schema ermöglicht aber nicht, alle Borelmengen zu beschreiben, weil die Vereinigung von allen diesen Klassen im Allgemeinen bezüglich der Axiome einer \sigma-Algebra noch nicht abgeschlossen ist.[4]
  • In der deskriptiven Mengenlehre bezeichnet man die offenen Mengen auch als \Sigma^0_1-Mengen, die \operatorname F_\sigma-Mengen als \Sigma^0_2-Mengen, die \operatorname G_{\delta\sigma}-Mengen als \Sigma^0_3-Mengen, etc. Komplemente von \Sigma^0_n-Mengen heißen \Pi^0_n-Mengen; so sind etwa die \Pi^0_2-Mengen genau die \operatorname G_\delta-Mengen.

Beispiele[Bearbeiten]

Die borelsche σ-Algebra auf separablen metrischen Räumen[Bearbeiten]

Gegeben sei ein separabler metrischer Raum (X,d). Die offenen Kugeln erzeugen als Basis eine Topologie, diese wird von der Metrik erzeugte Topologie genannt. Jede offene Menge ist aufgrund der Separabilität (welche im metrischen Fall zum zweiten Abzählbarkeitsaxiom äquivalent ist) als abzählbare Vereinigung von offenen Kugeln zu schreiben. Die kleinste \sigma-Algebra, die die offenen Kugeln enthält, enthält daher alle offenen Mengen und ist somit gleich der Borelschen \sigma-Algebra.

Auf den Spezialfall X\subseteq\R^n und d die Euklidische Metrik wird in den folgenden Abschnitten näher eingegangen.

Die borelsche σ-Algebra auf den reellen Zahlen[Bearbeiten]

Die Menge \R der reellen Zahlen wird üblicherweise mit der Topologie ausgestattet, die durch die offenen Intervalle (a,b) mit rationalen Endpunkten aufgespannt wird. Obwohl man in Einzelfällen auch andere Topologien auf \R betrachtet, gilt diese als die kanonische Topologie auf \R, und die aus ihr abgeleitete borelsche σ-Algebra wird schlicht als die borelsche σ-Algebra auf \R bezeichnet. Sie enthält (aufgrund der Abgeschlossenheit einer σ-Algebra bezüglich der Komplementbildung) außer den offenen auch die abgeschlossenen Intervalle. Ebenfalls enthalten sind alle halboffenen Intervalle sowie alle endlichen und abzählbar unendlichen Vereinigungen von Intervallen.

Die borelsche σ-Algebra von \R enthält nicht alle Teilmengen von \R. Es lässt sich sogar zeigen, dass die borelsche σ-Algebra von \R gleichmächtig zu \R ist, während die Menge aller Teilmengen von \R eine echt größere Mächtigkeit als \R besitzt.

In der Maßtheorie zeigt man, dass alle Borelmengen Lebesgue-messbar sind. Die umgekehrte Aussage gilt jedoch nicht; es gibt Lebesgue-messbare Mengen, die keine Borelmengen sind. Diese Mengen unterscheiden sich jedoch nur um eine Menge vom Lebesgue-Maß 0 von einer Borelmenge.

Die borelsche σ-Algebra auf endlichdimensionalen reellen Vektorräumen[Bearbeiten]

Auf den endlichdimensionalen Vektorräumen \R^n wird die kanonische Topologie von den n-dimensionalen Quadern (a_1,b_1)\times\dotsb\times (a_n,b_n) mit rationalen Koordinaten a_i und b_i aufgespannt. Sie ist gleichzeitig die n-fache Produkttopologie der kanonischen Topologie auf \R. Die von ihr erzeugte borelsche σ-Algebra heißt analog zum eindimensionalen Fall die borelsche σ-Algebra auf \R^n.

Auf diese Art ist auch elegant die borelsche σ-Algebra der komplexen Zahlen erklärt: Man nutzt einfach die Vektorraumisomorphie zwischen \mathbb C und \R^2.

Teilmengen, die nicht zur borelschen σ-Algebra gehören, weisen in der Regel einen intuitiv exotischen Charakter auf. Im dreidimensionalen reellen Raum bilden die Mengen, die beim Banach-Tarski-Paradoxon Verwendung finden, ein Beispiel für solche, nicht zur borelschen σ-Algebra gehörende Teilmengen.

Anwendung[Bearbeiten]

Die Menge \Omega zusammen mit der borelschen σ-Algebra ist ein Messraum und liegt den Borelmaßen als solcher zugrunde. Alle Elemente der borelschen σ-Algebra (die selbst Mengen sind) werden Borel-messbar genannt; nur diesen werden durch ein Borel-Maß Werte zugeordnet.

Einzelnachweise[Bearbeiten]

  1. a b Pavel S. Alexandroff: Lehrbuch der Mengenlehre. 6., überarbeitete Auflage. Harri Deutsch, Thun u. a. 1994, ISBN 3-8171-1365-X.
  2. Vladimir Kanovei, Peter Koepke: Deskriptive Mengenlehre in Hausdorffs Grundzügen der Mengenlehre. 2001, uni-bonn.de (pdf; 267 kB).
  3. Isidor P. Natanson: Theorie der Funktionen einer reellen Veränderlichen. Unveränderter Nachdruck der 4. Auflage. Harri Deutsch, Thun u. a. 1977, ISBN 3-87144-217-8 (auch in digitaler Form auf russisch bei INSTITUTE OF COMPUTATIONAL MODELLING SB RAS, Krasnojarsk).
  4. Bei \R^n z.B. ist es erst unter Zuhilfenahme von transfiniten Ordinalzahlen möglich, dieses System auf solche Weise fortzusetzen, dass alle Borelmengen von ihm erfasst werden (s. bairesche Klassen: Verbindung zu den borelschen Mengen). Es gibt aber auch topologische Räume, in denen bereits allein die \operatorname F_\sigma- und \operatorname G_\delta-Mengen die ganze Klasse der Borelmengen ausschöpfen, wie z.B. in einem T1-Raum mit abzählbar vielen Punkten. Mehr zu diesem Thema kann in Felix Hausdorff: Mengenlehre. 2., neubearbeitete Auflage. de Gruyter, Berlin u. a. 1927, nachgelesen werden.

Literatur[Bearbeiten]

  • Sashi M. Srivastava: A course on Borels sets (= Graduate Texts in Mathematics. Bd. 180). Springer, New York NY u. a. 1998, ISBN 0-387-98412-7.