Sur l'existence d'un ensemble non dénombrable qui est de première catégorie dans tout ensemble parfait. (Q1461766): Difference between revisions

Baire (C. R. 129, 1010, 1899; vgl. auch Lebesgue, Journ. de math. (6) 1, 184, 1905) hat bekanntlich bewiesen, daß jede Bairesche Funktion auf jeder perfekten Menge \(P\) höchstens punktweise unstetig ist, wenn man die Mengen erster Kategorie in bezug auf \(P\) vernachlässigt. Lusin hat schon vor längerer Zeit (C. R. 158, 1258; F. d. M. 45, 632 (JFM 45.0632.*), 1914-15) aus der Hypothese, daß \({\mathfrak c} = \aleph_1\), sei, abgeleitet, daß jene notwendige Bedingung für die Baireschen Funktionen nicht hinreichend ist; dies ergab sich aus der unter der Voraussetzung \({\mathfrak c} = \aleph_1\) bewiesenen Existenz einer nicht-abzählbaren Menge, die in bezug auf jede perfekte Menge von erster Kategorie ist. Jetzt beweist der Verf. dasselbe \textit{ohne} Benutzung der Hypothese \({\mathfrak c} = \aleph_1\) nur mit Verwendung des Auswahlaxioms. (III.)