Sur un ensemble toujours de première catégorie qui est dépourvu de la propriété \(\lambda\). (Q2590725)

Eine Menge heißt ``stets von erster Kategorie'', wenn sie auf jeder perfekten Menge von erster Kategorie ist. Man sagt, ``eine Menge \(E\) besitzt die Eigenschaft \(\lambda\)'', wenn jede ihrer abzählbaren Teilmengen ein \(G_\delta\) in \(E\) ist. Verf. beweist mit Hilfe des Auswahlaxioms die Existenz einer linearen Menge \(E\) mit der Eigenschaft \(\lambda\), die aber diese Eigenschaft verliert, wenn man die abzählbare Menge \(R\) der rationalen Zahlen hinzufügt. Nun ist bekannt, daß jede Menge mit der Eigenschaft \(\lambda\) ``stets von erster Kategorie ist''. M. Kuratowski stellte die Frage, ob von diesem Satz auch die Umkehrung gilt. Diese Fragestellung wurde mit Hilfe der Kontinuumhypothese bereits von \textit{M. N. Lusin} im negativen Sinn beantwortet (Fundam. math., Warszawa, 21 (1933), 119-126; JFM 59.0887.*). Verf. kommt zu diesem Ergebnis ohne Kontinuumhypothese; denn die obige Menge \(E + R\) ist ``stets von erster Kategorie'', hat aber nicht die Eigenschaft \(\lambda\).