Remarques sur l'ensemble de Lusin. (Q2586348)

Eine in einem metrischen Raume \(X\) enthaltene Menge \(E\) heißt bekanntlich eine Lusinsche Menge, wenn sie die folgende Eigenschaft \((L)\) besitzt: Jede in \(X\) nirgends dichte Untermenge von \(E\) ist höchstens abzählbar. Daneben hat \textit{Kuratowski} eine Eigenschaft \((\nu)\) ausgesprochen, die von der Einbettung der Menge \(E\) in einen metrischen Raum keinen Gebrauch macht: Jede in \(E\) nirgends dichte Untermenge von \(E\) ist höchstens abzählbar. Aus \((L)\) folgt \((\nu)\); unter der Annahme der Richtigkeit der Kontinuumhypothese beweist man die Ungültigkeit der Umkehrung. Dagegen folgt aus einem Satze von \textit{Kuratowski} und \textit{Sierpiński} (Fundam. Math., Warszawa, 26 (1936), 137-142 (F. d. M. \(62_{\text I}\), 238) vgl. insbesondere Satz 1 der Arbeit), daß ein separabler metrischer Raum einer linearen Lusinschen Menge dann und nur dann homöomorph ist, wenn er die Eigenschaft \((\nu)\) besitzt. In der vorliegenden Note beweist Verf. einige Sätze über die Eigenschaft \((\nu)\), z. B.: Für einen metrischen Raum \(E\) ist \((\nu)\) äquivalent mit der folgenden Eigenschaft \((\nu_0)\): Jede in \(E\) abgeschlossene Menge ist die Summe aus einer offenen und einer höchstens abzählbaren Menge. Die Aussage, daß eine nichtabzählbare lineare Lusinsche Menge existiert, ist gleichwertig mit der Aussage, daß ein nichtabzählbarer separabler Raum der Eigenschaft \((\nu_0)\) existiert.