Remarque sur le problème de la mesure. (Q2607253)

\(X\) sei ein metrischer Raum. Jede Mengenfunktion \(\mu(\varepsilon)\) heiße eine Maßfunktion in \(X\), wenn (1) \(\mu(\varepsilon)\) endlich und nichtnegativ ist, (2) \(\mu(\varepsilon)\) absolut additiv ist, (3) \(\mu(\varepsilon)\) mindestens für alle \textit{Borel}sche Teilmengen \(E\) von \(X\) definiert ist, (4) aus \(\mu(E) = 0\) für \(E\subset X\) und \(A \subset E\) folgt: \(\mu(A) = 0\), (5) \(\mu(p) = 0\), wenn \(p\) ein Punkt aus \(X\) ist. In \(X\) sei eine transfinite, nach \textit{Hausdorff} \(m\)-konvergente Folge der \textit{Borel}schen punktfremden Teilmengen \[ B_0, B_1, B_2,\ldots B_\xi,\ldots\quad (\xi<\varOmega) \] gegeben (\(m\)-konvergent heißt, daß für jede Maßfunktion \(\mu\) ein solches \(\alpha < \varOmega\) existiert, daß \(\mu\big( \sum\limits_{\alpha<\xi<\varOmega} B_\xi\big) = 0\) ist). Für jedes \(\xi<\varOmega\) wähle man einen beliebigen Punkt \(p_\xi\) aus \(B_\xi\); \(N\) sei die Menge aller \(p_\xi\). Es werden verschiedene Eigenschaften der Menge \(N\) und mit deren Hilfe der Maßfunktionen untersucht. U. a. wird bewiesen, daß in der Familie aller Teilmengen einer Menge von der Mächtigkeit \(\aleph_1\) keine Maßfunktion existiert, die nicht identisch Null wäre. (Dieses Resultat wurde früher hergeleitet: von \textit{Banach} und \textit{Kuratowski} mit Zuhilfenahme der Kontinuumhypothese, von \textit{Ulam} für alle Alephs, die kleiner sind als das erste unerreichbare Aleph.)