Canonic elements in the higher classes of Borel sets.

From MaRDI portal
Publication:2590737





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)