Analogies entre les ensembles mesurables \(B\) et les ensembles analytiques. (Q1830635): Difference between revisions

Gegenstand der Untersuchung ist die Analogie zwischen den \textit{analytischen} Mengen und den \textit{Borel}schen Mengen. In vielfacher Hinsicht verhalten sich die analytischen Mengen so zu den \textit{Borel}schen, wie die \textit{Borel}schen Mengen \(\alpha\)-ter Ordnung zu den sog. ``ambigen'' \textit{Borel}schen Mengen derselben Ordnung. Dem Satz, daß zwei analytische punktfremde Mengen in zwei \textit{Borel}sche punktfremde Mengen eingebettet werden können, entspricht beispielsweise der Satz, daß zwei punktfremde \textit{Borel}sche Mengen \(\alpha\)-ter Ordnung in zwei punktfremden ambigen Mengen \(\alpha\)-ter Ordnung enthalten sind. Diese Analogie erstreckt sich auch auf die \textit{Beweise} der Sätze. Ihren Grund erblickt Verf. darin, daß man eine analytische nicht \textit{Borel}sche Menge gleichsam als eine \textit{Borel}sche Menge von ``wachsender Ordnung'' betrachten kann, ``comme un ensemble mesurable \(B\) de classe \(\alpha\), la lettre \(\alpha\) designant un nombre transfini indéterminé de seconde classe ``extrêmement grand'' de manière qu'il echappe à tout mode de representation finie''. Diese Auffassung wird durch Erörterungen philosophischer Natur über die Rolle des Unendlichen und des Transfiniten in der Mathematik näher erläutert.