Sur une propriété de la mesure généralisée des ensembles. Pewne twierdzenie o mierze uogálnionej. (Q1835151)

\(K\) sei ein System von Teilmengen einer Menge von der Eigenschaft, daß zugleich mit jeder Menge auch ihre Komplementärmengen, zugleich mit jeder endlichen oder abzählbar unendlichen Folge von Mengen auch ihre Vereinigungsmenge zu \(K\) gehört. Für alle zu \(K\) gehörigen Mengen sei eine Maßfunktion \(\mu\,(E)\) definiert, die nicht negativ und (bei abzahlbar unendlicher Summation) additiv ist. Dann ist, wie Verf. gezeigt hat (``Sur une généralisation des intégrales de M. Radon'', Fundamenta 15 (1930), 131-179; F. d. M. 56), durch \[ \|\,E,F\,\|_\mu=\mu\,(E-F)+\mu\,(F-E) \] ein den üblichen Axiomen genügender Entfernungsbegriff definiert. Verf. beweist den folgenden Satz: Dann und nur dann gilt für eine Folge \(E_n\) \[ \|\,E_n,E\,\|\to 0\;\text{für}\;n\to\infty, \] wenn man aus der Folge der \(E_n\) eine Teilfolge \(E_{k_{ n}}\) auswählen kann, für die bis auf eine Menge vom \(\mu\)-Maße Null die Identität \[ E=\varlimsup_{n\to\infty }E_{k_{ n}}= \varliminf_{n\to\infty }E_{k_{ n}} \] gilt.