Sur les ensembles mesurables. (Q1460816)

Es seien \(F\), \(F_1\) usw. meßbare Teilmengen des Einheitsintervalls und \[ \begin{gathered} \varlimsup F_n=\lim\sum_{k=n}^\infty F_n,\quad \varliminf F_n=\lim\prod_{k=n}^\infty F_n,\\ \varrho(F_1,F_2)=\operatorname{mes}[(F_1-F_2)+(F_2-F_1)]. \end{gathered} \] Anstatt zu sagen, daß die Mengen \(A\), \(B\) bis auf eine Nullmenge übereinstimmen, schreibe man \(A[=]B\). Der Verf. bemerkt nach Nikodym, daß der durch \(\varrho\) erklärte Raum separabel und metrisch ist (sobald zwei Mengen \(A\), \(B\) mit \(A[=]B\) als nicht verschieden betrachtet werden) und gibt die folgenden Sätze an: Der Raum ist auch vollständig, so daß jede nicht abzählbare Menge von auf \([0,1]\) gelegenen meßbaren Mengen eine konvergente Teilfolge \(\{F_n\}\) enthält, d. h. es gibt dann ein \(F\) mit \(\varrho(F_n,F)\to 0\). Aus dieser Grenzgleichung folgt, daß \(\{F_n\}\) eine Teilfolge \(\{F_{m_n}\}\) enthält, für welche \(\varlimsup F_{m_n}[=]\varliminf F_{m_n}[=]F\) gilt. Folglich enthält jede nicht abzählbare Menge von auf \([0,1]\) gelegenen meßbaren Mengen eine Teilfolge \(\{F_n\}\) mit \(\varliminf F_n[=]\varlimsup F_n\). Die Voraussetzung der Nichtabzählbarkeit ist wesentlich.