Sur les sous-classes de la classification de M. Baire. (Q1454744)

Es handelt sich um eine Unterteilung jeder Baireschen Klasse Borelmeßbarer Mengen in \textbf{\(\aleph\)}\(_1\) nicht leere Unterklassen. Der Fundamentalraum ist die Menge der irrationalen Zahlen zwischen 0 und 1. Jede Untermenge, die aus den irrationalen Zahlen eines rationalen Teilintervalls besteht, wird ``Teil'' genannt. Die Bairesche Klasseneinteilung ist hier folgende: 1. Jede Vereinigung von abzählbar vielen Teilen, deren Komplement von gleicher Struktur ist, gehört zur Klasse 0. 2. Eine Menge gehört zur Klasse \(\alpha > 0\), wenn sie Limes einer Folge von Mengen aus Klassen \(<\alpha\) ist, ohne selbst eine solche Menge zu sein. Eine Menge heißt nach oben (unten) \(\alpha\)-erreicht, wenn sie Durchschnitt (Vereinigung) von abzählbar vielen Mengen aus Klassen \(< \alpha\) ist. Eine nach oben erreichte Menge wird \(\alpha\)-Element genannt. Es sei \(M = \{e_t\}\) eine Menge von paarweisen fremden \(\alpha\)-Elementen \(e_t.e_{t_0}\) heißt isoliert in \(M\), wenn es eine Menge \(\overline{e}_{t_0}\) aus einer Klasse \(< \alpha\) gibt, so daß \(e_{t_0}< \overline{e}_{t_0}\), aber \(\overline{e}_{t_0}e_t\equiv 0\) für \(t\neq t_0\) ist. \(M\) wird ``ordentlich'' (clairsemé) genannt, wenn es in jeder Untermenge von \(M\) ein isoliertes Element gibt. Ist nun die Menge \(M = \{e_n\}\) ordentliche Vereinigung von abzählbar vielen \(\alpha\)-Elementen \(e_n\), so kann man diese nach dem Verfahren von Zermelo (ohne Auswahlprinzip) in eine Folge \[ e_0^*,e_1^*,\cdots,e_\omega^*,\cdots e_{\beta}^*,\cdots \;\;(\beta<\gamma<\varOmega) \] so umordnen, daß \(e_{\beta}^*\) in der Menge \(\{e_{\beta'}^*\}\) mit \(\beta' \geqq \beta\) isoliert ist. Das wohlbestimmte \(\gamma\) heißt dann der Typ von \(M\). \textit{Hauptsatz}: Eine ordentliche Vereinigung von abzählbar vielen \(\alpha\)-Elementen bildet eine Menge der Klasse \(\alpha\). \textit{Umkehrung}: Jede Menge der Klasse \(\alpha\) ist Summe einer ordentlichen Vereinigung von abzählbar vielen \(\alpha\)-Elementen und einer von unten \(\alpha\)-erreichten Menge. Die Einteilung der Baireschen Klasse \(\alpha\) nach Unterklassen \(\beta< \varOmega\) geschieht jetzt wie folgt: 1. Jede von oben oder unten \(\alpha\)-erreichte Menge gehört zur Unterklasse 0. 2. Eine Menge gehört zur Unterklasse \(\beta> 0\), wenn sie zu keiner kleineren Unterklasse gehört, und wenn die in der obigen Umkehrung genannte ordentliche Vereinigung vom Typ \(\omega\beta\) ist. \textit{Satz}: Für jedes \(\alpha < \varOmega\), \(\beta < \varOmega\) existieren Mengen der Klasse \(\alpha\) und Unterklasse \(\beta\).