Canonic elements in the higher classes of Borel sets. (Q2590737)

Verf. betrachtet die Borelschen Mengen im Intervall (0,1) und teilt sie nach der Lebesgueschen Definition in Bairesche Klassen ein. Das Problem ist folgendes: Kann man aus jeder Klasse \(B_\alpha\) ein Teilsystem von Mengen \(c^\alpha\), die nur endlich vielen einfachen Typen angehören, herausgreifen, so daß sich jede Menge \(M\in B_\alpha\) darstellen läßt in der Form: \(M=\sum\limits_nc_n^\alpha+\sum \limits_ns_n,\) wobei \(s_n\in B_\beta (\beta < \alpha)\) ist und die Summe sich auf höchstens abzahlbar viele Glieder erstreckt? Diese Mengen \(c^\alpha\), die nach obigem ein Teilsystem von \(B_\alpha\) bilden, heißen ``kanonische Elemente'' der Klasse \(B_\alpha\). \textit{Lusin} fand die kanonischen Elemente für \(B_2\) (Leçons sur les ensembles analytiques (1930; JFM 56.0085.*), p. 89). Verf. löst das allgemeine Problem, indem er für jede Klasse \(B_\alpha\) die zugehörigen kanonischen Elemente konstruiert. Ausgehend von diesem Ergebnis stellt Verf. eine notwendige und hinreichende Bedingung dafür auf, daß eine gegebene Menge \(S\) zu \(R_\alpha\) (Vereinigungsmenge aller Klassen \(B_\beta\) mit \(\beta\leqq \alpha\)) bzw. zur Klasse \(B_\alpha\) gehört.