An extension of the Lebesgue measure. (Q572471)

Der Definitionsbereich einer vollständig additiven Mengenfunktion \(\mu(E)\) ist eine abgeschlossene Mengenfamilie, d.h. ein \(\sigma\)-Körper; er sei mit \(\mathfrak F(\mu)\) bezeichnet. Bezeichnet \(m(E)\) das \textit{Lebesgue}sche Maß von \(E\), so bedeutet also \(\mathfrak F(m)\) die Familie der im \textit{Lebesgue}schen Sinne meßbaren Funktionen. Verf. stellt die folgende Frage: Gibt es eine vollständig additive Mengenfunktion \(\mu(E)\) in deren Definitionsbereich \(\mathfrak F(\mu)\) der Definitionsbereich \(\mathfrak F(m)\) enthalten ist, derart daß außerdem in jeder zu \(\mathfrak F (m)\) gehörenden Menge der Funktionswert \(\mu (E)\) mit dem \textit{Lebesgue}schen Maß \(m(E)\) übereinstimmt? Verf. zeigt an einem Beispiel, daß es solche Mengenfunktionen \(\mu(E)\) gibt.