Projektive Hierarchie

aus Wikipedia, der freien Enzyklopädie

Die projektive Hierarchie wird im mathematischen Teilgebiet der deskriptiven Mengenlehre untersucht; sie ist eine nach einem bestimmten Bildungsgesetz stufenweise aufgebaute Hierarchie von Mengen, deren unterste Stufe mit den Borelmengen beginnt. Das ursprüngliche Interesse lag zwar in der Untersuchung der Teilmengen des Kontinuums, das heißt der Menge der reellen Zahlen, es hat sich aber gezeigt, dass man die Theorie ebenso leicht für polnische Räume entwickeln kann, insbesondere lässt sich dann der Baire-Raum im unten vorgestellten Bildungsgesetz verwenden. Die projektive Hierarchie wurde 1925 von Lusin und Sierpiński eingeführt.[1][2]

Definition

Die nun folgende rekursive Definition lehnt sich strukturell an die Borel-Hierarchie an, zur Unterscheidung wird hier als oberer Index eine Eins verwendet. stehe für einen polnischen Raum, sei der Baire-Raum, das heißt das -fache kartesische Produkt von , versehen mit der Produkttopologie, wobei die in der Mengenlehre übliche Bezeichnung für die Menge der natürlichen Zahlen ist.

  • , die Klasse aller analytischen Mengen.
  • für , das heißt die -Mengen sind die Komplemente der -Mengen.
  • sei die Klasse aller Mengen der Form , wobei die Projektion auf die erste Komponente sei und eine -Menge.
  • für [3][4]

Eine Menge, die in einem der oder äquivalent der oder liegt, heißt projektive Menge.

Bemerkungen

  • Obige Definition ist rekursiv. Man beginnt mit als Klasse der analytischen Mengen, erklärt damit als Klasse der Komplemente und daraus mittels der angegebenen Projektionstechnik . Damit ist dann wieder als Klasse der Komplemente erklärt, woraus sich dann wieder mittels obiger Projektionstechnik ergibt, und so weiter. Das Projektionsverfahren zur Definition von ist Namensgeber für die projektive Hierarchie. ist erklärt, sobald und erklärt sind.
  • Die Verwendung des Baire-Raums lässt sich prinzipiell vermeiden, denn dieser ist homöomorph zum Raum der irrationalen Zahlen, die man mit einer vollständigen Metrik versehen kann. Der Beweis zur vollständigen Metrisierbarkeit der irrationalen Zahlen ist im Wesentlichen der Nachweis, dass -Mengen in polnischen Räumen wieder polnische Räume sind. Die zu konstruierende Metrik ist nicht die euklidische Metrik; daher ist die Verwendung des Baire-Raums natürlicher.

Eigenschaften

Die Mengen in sind definitionsgemäß die Komplemente von analytischen Mengen, sie werden daher auch koanalytisch genannt. Die Mengen aus sind analytische Mengen, deren Komplemente ebenfalls analytisch sind. Nach einem Satz von Suslin sind dies genau die Borelmengen.

Die oben angegebenen Klassen erfüllen folgende Inklusionen

ProjectiveHierarchyInclusions.png

Auf einem überabzählbaren polnischen Raum sind alle angegebenen Inklusionen echt.[5] Für einen höchstens abzählbaren polnischen Raum dagegen sind alle Mengen gleich der Potenzmenge des Raumes.

Alle Klassen und sind abgeschlossen bezüglich abzählbarer Durchschnitte und abzählbarer Vereinigungen, insbesondere ist eine σ-Algebra.[6] Die projektiven Mengen als Ganzes hingegen bilden für überabzählbare polnische Räume keine -Algebra. Die projektive Hierarchie lässt sich jedoch analog zur Borel-Hierarchie zu einer (seltener als die projektive Hierarchie betrachteten) Hierarchie von für beliebige abzählbare Ordinalzahlen fortsetzen. Die Vereinigung all dieser Mengen bildet die -Algebra der -projektiven Mengen.[7]

Ist eine Borel-Funktion zwischen polnischen Räumen und gehört zu einer der Klassen oder , so auch .[8]

Jede -Menge in ist Lebesgue-messbar und jede -Menge hat die Baire-Eigenschaft. Da sich diese Eigenschaften auf Komplemente übertragen, gilt das auch für -Mengen. Ferner hat jede überabzählbare -Menge eine perfekte Teilmenge und daher die Mächtigkeit des Kontinuums. Für höhere Stufen der projektiven Hierarchie sind diese Eigenschaften in der Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom nicht mehr beweisbar. Gödel hatte gezeigt, dass es unter der Annahme des Konstruierbarkeitsaxioms eine Menge in gibt, die nicht Lebesgue-messbar ist, und eine überabzählbare -Menge, die keine perfekte Teilmenge enthält.[9] Weitergehende Aussagen erfordern zum Teil stärkere Axiome, die über die Zermelo-Fraenkel-Mengenlehre hinausgehen, wie in den Kapiteln 25 (Descriptive Set Theory) und 32 (More Descriptive Set Theory) des unten angegebenen Lehrbuchs von Thomas Jech ausgeführt wird.[10] Diese Eigenschaften hängen eng mit der Determiniertheit bestimmter Spiele zusammen. Tatsächlich lassen sie sich für Borelmengen aus der Borel-Determiniertheit folgern, welche in ZFC gilt. Nimmt man zusätzlich zu ZF das Determiniertheitsaxiom an, dessen relative Konsistenz zu ZF jedoch nicht in ZFC beweisbar ist und das im Widerspruch zum Auswahlaxiom steht, so sind sogar alle Teilmengen der reellen Zahlen Lebesgue-messbar, enthalten eine nicht-leere perfekte Teilmenge und besitzen die Baire-Eigenschaft. Die Forderung dieser Eigenschaften ist für die Klasse der projektiven Mengen dagegen zusammen mit dem Auswahlaxiom möglich, indem man die Determiniertheit eines jeden Spieles, dessen Gewinnmenge eine projektive Teilmenge des Baire-Raums ist, fordert (Axiom der projektiven Determiniertheit). Dieses wiederum folgt aus bestimmten Axiomen über die Existenz großer Kardinalzahlen. Bereits die Determiniertheit eines jeden Spieles mit analytischer Gewinnmenge lässt sich jedoch in ZFC nicht beweisen.[11]

Einzelnachweise

  1. N. Lusin: Sur un probl`eme de M. Emile Borel et les ensembles projectifs de M. Henri Lebesgue: les ensembles analytiques, Comptes Rendus Acad. Sci. Paris (1925), Band 180, Seiten 1318–1320
  2. W. Sierpinski Sur une classe d’ensembles, Fundamenta Methematicae (1925), Band 7, Seiten 237–243
  3. Y.N. Moschovakis: Descriptive Set Theory, North Holland 1987, ISBN 0-444-70199-0, Kapitel 1E: "The projective sets"
  4. Thomas Jech: Set Theory. 3. millenium edition, revised and expanded. Springer, Berlin u. a. 2003, ISBN 3-540-44085-2, (11.12): "The Hierarchy of Projective Sets"
  5. Y.N. Moschovakis: Descriptive Set Theory, North Holland 1987, ISBN 0-444-70199-0, Theorem 1E.1 und 1E.3
  6. Y.N. Moschovakis: Descriptive Set Theory, North Holland 1987, ISBN 0-444-70199-0, Corollary 1F.2
  7. Alexander S. Kechris: Classical Descriptive Set Theory. Springer, Berlin 1994, ISBN 0-387-94374-9, S. 341.
  8. Y.N. Moschovakis: Descriptive Set Theory, North Holland 1987, ISBN 0-444-70199-0, Theorem 1G.1
  9. Thomas Jech: Set Theory. 3. millenium edition, revised and expanded. Springer, Berlin u. a. 2003, ISBN 3-540-44085-2, Corollary 25.28, Corollary 25.28
  10. Thomas Jech: Set Theory. 3. millenium edition, revised and expanded. Springer, Berlin u. a. 2003, ISBN 3-540-44085-2, Kapitel 25, 32
  11. Kechris, S. 205 ff.