Borel-Hierarchie

In d​er Mathematik u​nd insbesondere d​er deskriptiven Mengenlehre i​st die Borel-Hierarchie e​ine stufenweise Aufteilung d​er Borelschen σ-Algebra z​u einem topologischen Raum. Sie stellt e​inen konstruktiven Aufbau a​ller Borel-Mengen dar. Ist e​ine Eigenschaft über a​lle Borel-Mengen z​u beweisen, i​st dies o​ft mittels transfiniter Induktion über a​lle Ebenen d​er Borel-Hierarchie möglich.

Schematische Darstellung eines Ausschnitts der Borel-Hierarchie: Pfeile zeigen die Übergänge zwischen den Mengensystemen an, die Pfeile mit weißen Quadraten Teilmengen-Relationen

Definition

Über einem topologischen Raum ( Menge der offenen Mengen) seien folgende Mengensysteme induktiv definiert:

  • .
  • für jede abzählbare Ordinalzahl .
  • für jede abzählbare Ordinalzahl .
  • für jede abzählbare Ordinalzahl .[1]

bezeichnet also die offenen Mengen, die Komplemente von -Mengen, bezeichnet die Mengen, die sich als abzählbare Vereinigung der -Mengen für darstellen lassen, und die Mengen, die sowohl in als auch in liegen.

Abschluss- und Monotonie-Eigenschaften

  • Die -Mengen sind abgeschlossen unter abzählbarer Vereinigung und endlichem Schnitt.
  • Die -Mengen sind abgeschlossen unter abzählbarem Schnitt und endlicher Vereinigung.
  • Die -Mengen sind abgeschlossen unter endlichem Schnitt, endlicher Vereinigung und Komplementbildung.
  • Die -Mengen (ebenso wie auch die -Mengen und die -Mengen) sind abgeschlossen unter stetigen Urbildern, das heißt:

Für eine stetige Funktion zwischen topologischen Räumen und ist wiederum eine -Menge (-Menge, -Menge), falls eine -Menge (-Menge, -Menge) ist.

  • für alle abzählbaren Ordinalzahlen .

In überabzählbaren polnischen Räumen, welche stets die Kardinalität haben, sind diese Inklusionen immer strikt, während in abzählbaren polnischen Räumen bereits alle Teilmengen des Raumes enthält.

Bezug zur Borelschen σ-Algebra

Die Vereinigung a​ller Mengensysteme d​er Borel-Hierarchie bildet g​enau die Borelsche σ-Algebra, d. i. d​ie kleinste σ-Algebra, d​ie alle offenen Mengen d​es topologischen Raumes enthält.

Dass jede Menge in der Borelhierarchie in der Borelschen σ-Algebra enthalten sein muss, folgt unmittelbar aus den Abschlusseigenschaften einer σ-Algebra: Gäbe es Mengen in der Borel-Hierarchie, die nicht in der Borelschen σ-Algebra enthalten sind, so gäbe es eine kleinste Ordinalzahl , sodass eine solche enthält (denn die Ordinalzahlen sind wohlgeordnet), was äquivalent dazu ist, dass eine solche enthält, da σ-Algebren abgeschlossen unter Komplementbildung sind. Dieses Element ist jedoch Vereinigung abzählbar vieler Elemente von , welche alle Borel-Mengen sind. Somit müsste das Element ebenfalls in der σ-Algebra enthalten sein, da σ-Algebren abgeschlossen bzgl. abzählbarer Vereinigung sind.

Umgekehrt sind alle offenen Mengen in der Borel-Hierarchie enthalten und die Mengen der Borel-Hierarchie sind abgeschlossen unter Komplementbildung und abzählbarer Vereinigung: Ersteres folgt unmittelbar aus der Definition der als Komplemente, zweiteres lässt sich wie folgt zeigen: Seien abzählbar viele in der Borel-Hierarchie auftretende Mengen gegeben. Für jedes existiert eine Ordinalzahl , sodass , schließlich treten die Mengen in der Hierarchie auf. Für das Supremum gilt dann , und das Supremum einer Menge von Ordinalzahlen ist ihre Vereinigung, somit ist abzählbare Vereinigung abzählbarer Mengen und somit wiederum eine abzählbare Ordinalzahl. Nun wird auch deutlich, wieso gerade abzählbare Ordinalzahlen gewählt worden sind.

Bezug zur projektiven Hierarchie

Über polnischen Räumen w​ird ausgehend v​on der Borel-Hierarchie d​ie projektive Hierarchie definiert, welche a​uf den analytischen Mengen, d​en Projektionen v​on Borel-Mengen, aufbaut. Nach Suslins Theorem s​ind die Borel-Mengen i​n einem polnischen Raum g​enau die Mengen, d​ie analytisch s​ind und d​eren Komplement ebenfalls analytisch ist.

Duale Definition über abgeschlossene Mengen

Die Borel-Hierarchie lässt s​ich ebenfalls ausgehend v​on den abgeschlossenen Mengen definieren:

  • sei die Menge aller abgeschlossenen Mengen.
  • für jede abzählbare Ordinalzahl .
  • für jede abzählbare Ordinalzahl .

Die -Mengen werden also als abzählbarer Schnitt von -Mengen für definiert.

Nomenklatur

Felix Hausdorff hat folgende Bezeichnungen für die Stufen der Hierarchie zu endlichen Ordinalzahlen eingeführt: , , , , , etc., siehe auch Gδ- und Fσ-Mengen. Die einheitliche Notation , , , die auch die Analogie zur arithmetischen Hierarchie in der Rekursionstheorie andeutet, wurde von John Addison 1959 eingeführt.[2]

Einzelnachweise

  1. Descriptive Set Theory (PDF; 643 kB), lecture notes by David Marker, 2002
  2. Addison, John W.: Separation principles in the hierarchy of classical and effective descriptive set theory, Fundamenta Mathematicae XLVI, S. 123–135, 1959. pdf.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.