Contribution à la théorie des ensembles boréliens et analytiques. I. (Q2590738)

Das Hauptergebnis der vorliegenden Arbeit, über die Verf. bereits in einer vorläufigen Mitteilung (Proc. Acad., Tokyo, 14 (1938), 90-95; F. d. M. 64\(_{\text{II}}\)) berichtet hat, ist der folgende Satz: Ist die in der \((x, y)\)-Ebene gelegene Menge \(M\) ein \(G_\delta\), und sind alle Schnitte von \(M\) mit den Parallelen zur \(y\)-Achse Mengen \(F_\sigma\), so ist die Projektion von \(M\) auf die \(x\)-Achse eine Borelsche Menge. -- Mit dem Beweis dieses Satzes wird ein von \textit{E. Szpilrajn} in dem Buche von \textit{N. Lusin} ``Leçons sur les ensembles analytiques et leurs applications'' (1930; JFM 56.0085.*) gestelltes Problem bejahend beantwortet. Der Beweis des Satzes erfordert sehr umfangreiche Vorbereitungen. Diese betreffen zunächst (\S\,1) -- in der Bezeichnung von \textit{Kuratowski} (Topologie I (1933; JFM 59.0563.*-566), Kap. II, A) -- den Raum \(2^X\) der abgeschlossenen, beschränkten, nichtleeren Teilmengen eines metrischen Raumes \(X\), insbesondere für den Fall, daß \(X\) die Menge \(N\) der irrationalen Zahlen zwischen 0 und 1 ist, sodann (\S\,2) die Suslinsche Operation (\(A\)). In \S\,3 wird der oben genannte Hauptsatz der Arbeit bewiesen und in \S\,5 verallgemeinert, nachdem in \S\,4 noch ein Hilfssatz über die \(F_\sigma\)-Schnitte einer in der Ebene gelegenen Menge hergeleitet worden ist.