Satz über monotone Klassen

Der Satz über monotone Klassen ist ein zentraler Satz der Maßtheorie, dem Teilgebiet der Mathematik, das sich mit den Eigenschaften von Maßräumen und Funktionen auf ihnen beschäftigt.

Definition eines monotonen Vektorraums

Bevor der Satz formuliert werden kann, müssen wir zunächst den Begriff eines monotonen Vektorraums einführen. Eine Menge $\mathcal H$ von beschränkten, reellwertigen Funktionen auf einem beliebigen Raum $\; \Omega$ heißt monoton, falls die folgenden Eigenschaften erfüllt sind:

• $\mathcal H$ ist ein Vektorraum über den reellen Zahlen.
• Alle konstanten Funktionen liegen in $\mathcal H$.
• Für jede Folge $(f_n)_{n \geq 1}$ von Funktionen in $\mathcal H$, die $0 \le f_1 \le \cdots \le f_n \le \cdots$ und $f_n \to f\;$ (punktweise Konvergenz) erfüllt, gilt: $f \in \mathcal H$.

Der Satz über monotone Klassen

Es sei $\mathcal M$ eine multiplikative (also unter Multiplikation abgeschlossene) Klasse von beschränkten, reellwertigen Funktionen auf einer Menge Ω und $\mathcal A = \sigma(\mathcal M)$ die von der Klasse $\mathcal M$ erzeugte σ-Algebra. Zudem sei $\mathcal H$ ein monotoner Vektorraum, der $\mathcal M$ als Teilmenge enthält. Dann besagt der Satz über monotone Klassen, dass $\mathcal H$ auch alle beschränkten, $\mathcal A$-messbaren Funktionen enthält.

Anwendungen

Eine klassische Anwendung des Satzes über monotone Klassen ist der Beweis des Satzes von Fubini. In manchen Fällen lassen sich Beweise auch mit dem anschaulicheren Standardverfahren der Integration von einfachen Funktionen und Anwendung des Satzes von der monotonen Konvergenz beweisen.

Literatur

• Dellacherie, C. und Meyer, P. A.: Probabilities and Potential. Volume 29 of the North-Holland Mathematical Studies, North-Holland, Amsterdam, 1978.
• Protter, P: Stochastic integrals and differential equations. Springer, 2005.