Sur l'existence d'un ensemble indénombrable à propriété \(\lambda'\). (Q2586310): Difference between revisions

Eine lineare Menge \(E\) hat die Eigenschaft \(\lambda'\), falls es zu jeder linearen abzählbaren Menge \(D\) eine lineare \(G_\delta\)-Menge \(H\) derart gibt, daß die Relation \(EH\subset D \subset H\) besteht. Unter der Annahme, daß \(2^{\aleph_0} =\aleph_1\) ist, hat Verf. schon früher (C. R. Soc. Sci. Lett. Varsovie Cl. III 30 (1937), 257-259 F. d. M. \(63_{\text{II}}\), 831), insbes. S. 259) die Existenz der unabzählbaren linearen Menge \(E\) mit der Eigenschaft \(\lambda'\) bewiesen. Diese Existenz wird nun mit Hilfe eines Satzes von \textit{F. Hausdorff} (Fundam. Math., Warszawa, 26 (1936), 241-255 (F. d. M. \(62_{\text I}\), 228), insbes. S. 248) unabhängig von der Kontinuumsvermutung neu bewiesen.