Sur quelques transformations biunivoques de la droite en elle même. (Q2590729)

Verf. behandelt unter Benutzung der Kontinuumhypothese (\(2^{\aleph_0} = \aleph_1\)) umkehrbar eindeutige Transformationen der Menge der reellen Zahlen, im folgenden kurz mit \(E\) bezeichnet, in sich, die gewisse Teilmengen von \(E\), nämlich die Mengen vom Maß Null und die Mengen erster Kategorie, ineinander überführen. Angeknüpft wird an folgendes Theorem, das von Verf. bereits 1934 bewiesen wurde (Hypothèse du continu (JFM 60.0035.*) insbes. S. 77): Wenn \(2^{\aleph_0} = \aleph_1\) ist, gibt es eine umkehrbar eindeutige Funktion \(f(x)\) mit \(f(E) = E\) von folgender Eigenschaft: Jede Teilmenge \(M \subset E\) von erster Kategorie geht in eine Menge \(f(M)\) vom Maß Null über; andererseits wird durch die Umkehrfunktion \(f^{-1}(x)\) jede Menge \(N \subset E\) vom Maß Null in eine Menge \(f^{-1}(N)\) von erster Kategorie abgebildet. Eine solche Funktion \(f(x)\) ist, wie gezeigt wird, nicht meßbar. In vorliegender Arbeit beweist nun Verf., meist zurückgreifend auf frühere Resultate, folgende ergänzenden Sätze: \textit{Theorem} 1: Wenn \(2^{\aleph_0} = \aleph_1\) ist, gibt es eine umkehrbar eindeutige, \textit{meßbare} Funktion \(f(x)\) mit \(f(E) = E\), die jede Menge erster Kategorie in eine Nullmenge abbildet. \textit{Theorem} 2: Wenn \(2^{\aleph_0} = \aleph_1\) ist, existiert eine Funktion \(f(x)\), die der ``Baireschen Bedingung im weiteren Sinn'' genügt, d. h. die stetig ist, wenn man eine Menge erster Kategorie vernachlässigt, von folgender Eigenschaft: Sie transformiert die Menge \(E\) umkehrbar eindeutig in sich und zwar so, daß jede Nullmenge in eine Menge erster Kategorie übergeht. \textit{Theorem} 3: Wenn \(2^{\aleph_0} = \aleph_1\) ist, gibt es eine umkehrbar eindeutige Funktion \(f(x)\) mit \(f(E) = E\), die jede Nullmenge in eine Menge erster Kategorie und gleichzeitig jede Menge erster Kategorie in eine Nullmenge transformiert. Es bleibt dagegen folgende Frage, die nach obigem naheliegt, offen: Gibt es eine umkehrbar eindeutige Funktion \(f(x)\) mit \(f(E) = E\), die gleichzeitig mit ihrer Umkehrfunktion \(f^{-1}(x)\) die Eigenschaft hat, jede Nullmenge in eine Menge erster Kategorie und ebenso jede Menge erster Kategorie in eine Nullmenge überzuführen?