Contribution à la théorie des ensembles boreliens et analytiques. II. (Q2594130)

\(M\) sei eine Menge der Ebene \(OXY\), \(\varDelta\) die Punktmenge der Achse \(OX\), für die der Durchschnitt \(MP_x\) von \(M\) und der Parallelen \(P_x\) zur Achse \(OY\) durch den Punkt \((x, \,0)\) eine nicht leere \(F_{\sigma}\) ist. Verf. beweist nun, daß \(\varDelta\) die Komplementärmenge einer analytischen Menge ist, wenn nur \(M\) zugleich zu \((B \times G)_{\sigma \delta \sigma}\) und zu \((B \times G)_{c \delta \sigma \delta}\) gehört. (\(B\) ist die Familie der Borelmengen auf \(OX\), \(G\) diejenige der offenen Mengen auf \(OY\).) Ferner beweist Verf. durch Anwendung einer Methode von \textit{K. Kuratowski} und \textit{S. Hartman} (Fundam. Math., Warszawa, 28 (1937), 167-185 bzw. 209-214; F.~d.~M. 63\(_{\text{I}}\), 28 bzw. 63\(_{\text{II}}\), 833), daß die Menge der Punkte \((x, \,0)\), für die \(CP_x\) eine wohlgeordnete Menge vom Typus \(\alpha\) in Richtung der positiven \(OY\)-Achse ist für einen abzahlbaren Ordnungstypus \(\alpha\) und jede Summe \(C\) von Borelmengen auf Parallelen zur \(OX\)-Achse in rationalen Abständen, selbst eine Borelmenge ist. (Teil I, J. Fac. Sci. Hokkaido Univ., I 7 (1939), 161-189; F.~d.~M. 65, 191.)