Satz über monotone Klassen
# 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\leq f_{1}\leq \cdots \leq f_{n}\leq \cdots$ und $f_{n}\to f\;$ (punktweise Konvergenz) mit $f$ beschränkt 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 $\Omega$ 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.

