Completion of an additive measure to a \(\sigma\)-additive measure by an extension of the space (Q2529496)

Sei \(X\) ein Raum, \(\mathfrak A\) eine Algebra von Teilmengen von \(X\). Verf. konstruiert einen Oberraum \(\tilde X\) und eine Algebra \(\tilde\mathfrak A\) von Teilmengen von \(\tilde X\) der Art, daß \(A = X\cap\tilde A\) (wo \(A\in\mathfrak A\) und \(\tilde A\in\tilde\mathfrak A\) die eindeutige Abbildung von \(\tilde\mathfrak A\) auf \(\mathfrak A\) ist und für jedes auf \(\mathfrak A\ definierte additive Maß \(\mu\) die Funktion \(\tilde\mu(\tilde A) = \mu(\tilde A\cap X)\) ein \(\sigma\)-additives Maß ist. Die \(\sigma\)-Additivität folgt daraus, daß es keine unendliche Folge von paarweise punktfremden Elementen von \(\tilde\mathfrak A\) gibt.