Canonic elements in the higher classes of Borel sets.
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.
This page was built for publication: Canonic elements in the higher classes of Borel sets.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2590737)