Généralisation d'un théorème de Cantor concernant les ensembles ordonnés dénombrables. (Q563030): Difference between revisions

Es wird der Satz bewiesen: ``Wenn \(2^{\aleph _0} = \aleph _1\) ist, dann gibt es eine geordnete Menge \(U\) von der Mächtigkeit \(c\), derart, daß jede geordnete Menge von der Mächtigkeit \(c\) einem Teil von \(U\) ähnlich ist''. - Zum Beweis des Satzes wird vom Verf. folgender Hilfssatz hergeleitet: Es gibt eine geordnete Menge \(U\) von der Mächtigkeit \(c\), derart, daß jede geordnete Menge von der Mächtigkeit \(\aleph _1\) einem Teil von \(U\) ähnlich ist. - Wie Verf. bemerkt, folgt sein Theorem aus den Eigenschaften der \textit{Hausdorff}schen \(\eta _\xi \)-Typen (Grundzüge der Mengenlehre, Leipzig 1914 (F. d. M. 45, 123 (JFM 45.0123.*)), S. 181 u. 182), der Satz wird aber vom Verf. ausdrücklich ausgesprochen und elementar bewiesen. - Es bleibt noch die Frage offen, ob der in Rede stehende Satz mit der Kontinuumhypothese äquivalent ist.