The decomposition of measures. (Q2580010)

Ist für einen Borelkörper \(\mathfrak B\) von Teilmengen einer Menge \(\varOmega\) ein nichtnegatives, abzählbar additives Maß \(m\) mit \(m(\varOmega) = 1\) erklärt, so spricht Verf. von einem Maßraum \(\varOmega (\mathfrak B, m)\). Dieser heißt streng separabel, wenn \(\mathfrak B\) durch ein abzählbares Mengen-System erzeugt wird, separabel, wenn durch \[ m(EF^{-1} + E^{-1}F) = \| E, F \| \, \;(E, F \in \mathfrak B, E^{-1} = \varOmega - E) \] \(\mathfrak B\) zu einem separablen metrischen Raum wird. Ist \(\varOmega(\mathfrak B, m)\) streng separabel, so auch separabel. Umgekehrt gibt es in einem separablen \(\varOmega(\mathfrak B, m)\) einen zu \(\mathfrak B\) äquivalenten (d. h. bis auf Mengen vom Maß Null gleichen) Teilborelkörper \(\mathfrak B^\prime\), so daß \(\varOmega(\mathfrak B^\prime, m)\) streng separabel ist. \ \(Y_x(\mathfrak Y_x, \nu_x)\) sei eine Menge von Maßräumen, der Index \(x\) durchlaufe selbst die Elemente eines Maßraumes \(X(\mathfrak X, \mu)\). Die \(y_x\) aus allen \(Y_x\) werden nun zu einem Raum \(\varOmega\) zusammengefaßt. In \(\varOmega\) betrachten wir die Klasse \(\mathfrak E\) aller Teilmengen \(E\), für die die Durchschnitte \(E \cdot Y_x\) für jedes \(x\) in \(Y_x\) meßbar sind, und für die \(\nu_x ( E \cdot Y_x)\) eine meßbare Funktion von \(x\) ist. Fundiese \(E\) sei \(m(E)\) durch \(m(E) = \int\limits_X \nu_x (E \cdot Y_x)\, d\mu (x)\) erklärt. \ \(\mathfrak Z\) sei die Familie aller Mengen \(E\), für die stets \(E \cdot Y_x\) leer oder gleich \(Y_x\) ist, und für die die Menge der \(x\) mit \(E \cdot Y_x = Y_z\) in \(X\) meßbar ist. Ist nun \(\mathfrak B\) eine Borelfamilie \(\mathfrak Z \subseteqq \mathfrak B \subseteqq \mathfrak E\), so heißt \(\varOmega(\mathfrak B, m)\) die direkte Summe der \(Y_x\) bezüglich \(X\). Ist \(\varOmega(\mathfrak B, m)\) streng separabel und \(\mathfrak A \subseteqq \mathfrak B\) ein Borelkörper, so daß auch \(\varOmega(\mathfrak A, m)\) streng separabel ist, so ist \(\varOmega\) die direkte Summe von Maßräumen \(Y_x\), die im wesentlichen mit den Atomelementen von \(\mathfrak A\) zusammenfallen; \(x\) gehört einem Maßraum \(X\) an, so daß das obige \(\mathfrak Z\) mit \(\mathfrak A\) zusammenfällt. Zum Beweise werden ein bekannter Satz von \textit{Radon-Nikodym} über die Existenz einer relativen Dichtefunktion und Resultate von \textit{J. L. Doob} (Trans. Amer. math. Soc. 42 (1937), 107-140; F. d. M. \(63_{\text{II}}\), 1075) herangezogen. Als Anwendung wird ein Satz von \textit{J. v. Neumann} (Ann. Math., Princeton, (2) 33 (1932), 587-642; F. d. M. \(58_{\text{II}}\), 1270) über die Zerlegung einer maßerhaltenden Transformation von \(\varOmega(\mathfrak B, m)\) in ergodische Teile neu bewiesen.