# Maßtheoretische Induktion

Bei der maßtheoretischen Induktion (auch algebraische Induktion genannt) handelt es sich um eine Beweismethode aus der Maßtheorie, die dazu verwendet wird, mathematische Aussagen für eine vorgegebene Menge von messbaren Funktionen zu zeigen.
Der grundlegende Gedanke hinter dem Verfahren ist, die Aussage zunächst nicht für alle Funktionen aus der Menge zu zeigen, sondern sich auf eine Teilmenge zu beschränken, für die die Aussage leicht zu beweisen ist. Anschließend werden sukzessive immer größere Teilmengen betrachtet und die Aussage auch für diese bewiesen. Dabei wird bei jedem Schritt ausgenutzt, dass die Aussage für die Mengen aus den vorherigen Schritten schon gezeigt wurde. Nach drei oder vier Schritten ist die Aussage schließlich für alle Funktionen nachgewiesen.
Die Methode spielt auch in der Wahrscheinlichkeitstheorie und anderen Anwendungsbereichen der Maßtheorie eine wichtige Rolle.

## Die Beweismethode

Gegeben sei eine Menge von messbaren Funktionen ${\mathcal {G}}$. Die Behauptung ist, dass die mathematische Aussage $A(f)$ für alle $f\in {\mathcal {G}}$ erfüllt ist. Die Methode besteht in der Regel aus vier Schritten. Manchmal wird auch Schritt 1 ausgelassen, sodass die Induktion mit insgesamt drei Schritten durchgeführt wird.
* Schritt: Die Aussage $A(f)$ gilt für eine beliebige messbare charakteristische Funktion aus ${\mathcal {G}}$.
* Schritt: Die Aussage $A(f)$ gilt für eine beliebige positive einfache Funktion aus ${\mathcal {G}}$.
* Schritt: Die Aussage $A(f)$ gilt für eine beliebige positive messbare Funktion aus ${\mathcal {G}}$.
* Schritt: Die Aussage $A(f)$ gilt für eine beliebige messbare Funktion aus ${\mathcal {G}}$.
Mit jedem Schritt wird die Menge der Funktionen, für die die Aussage bereits gilt, sukzessive größer, bis beim vierten und letzten Schritt die Aussage schließlich für alle Funktionen nachgewiesen ist.
Man beachte, dass der Beweis eines Schrittes auch alle vorhergehenden Schritte impliziert. Das gilt offenbar, da jede in einem Schritt betrachtete Funktion auch in allen nachfolgenden Schritten betrachtet wird. Beispielsweise ist jede positive einfache Funktion in Schritt 2 insbesondere auch positiv und messbar und damit auch Teil von Schritt 3. Bei einem sinnvollen Einsatz des Verfahrens ist es aus diesem Grund meistens notwendig, dass beim Beweis eines Schrittes benutzt wird, dass die Aussage für die Mengen aus den vorhergehenden Schritten schon gezeigt wurde.

## Beispiele
### Beispiel 1

Der Satz von Fubini kann mittels maßtheoretischer Induktion bewiesen werden.

### Beispiel 2

Wir betrachten die Zufallsvariable $Y:\Omega \to \mathbb {R}$ und die Menge ${\mathcal {G}}=\{X:\Omega \to \mathbb {R} \,|\,X\,{\text{ist }}\sigma (Y)\,{\text{messbar}}\}$. Dabei ist mit $\sigma (Y)$ die kleinste $\sigma$-Algebra gemeint, bezüglich der $Y$ messbar ist. Wir betrachten nun weiter folgende Aussage:
    $A\,:\,{\text{Für alle}}\,X\in {\mathcal {G}}\,{\text{existiert eine messbare Funktion}}\,\phi :\mathbb {R} \to \mathbb {R} \,{\text{mit}}\,X=\phi (Y)$
Wir werden nun die Aussage mithilfe der maßtheoretischen Induktion zeigen. Dabei gilt in allen Schritten $X\in {\mathcal {G}}$.
    1. Schritt: Sei $X$ eine charakteristische Funktion. Dann gilt $X=\chi _{B}$ mit $B\in \sigma (Y)$. Nach Definition von Messbarkeit und nach Wahl der Menge $B$, folgt die Existenz einer Menge $C$ mit $C\in {\mathcal {B}}$ (Borelsche σ-Algebra) und der Eigenschaft $B=Y^{-1}(C)$. Definiere nun $\phi =\chi _{C}$. Dann folgt für ein beliebiges $\omega \in \Omega$: $X(\omega )=\chi _{B}(\omega )=\chi _{C}(Y(\omega ))=\phi (Y(\omega ))$.
    2. Schritt: Sei nun $X$ eine positive einfache Funktion. Dann gilt also $X=\sum _{n=1}{c_{n}\cdot \chi _{A_{n}}}$ mit $c_{n}\in \mathbb {R^{+}}$ und $A_{n}\in \sigma (Y)$. Mit der Wahl von $\phi =\sum _{n=1}{c_{n}\cdot \chi _{B_{n}}}$ und $A_{n}=Y^{-1}(B_{n})$ folgt die Behauptung:
       $X(\omega )=(\sum _{n=1}{c_{n}\cdot \chi _{A_{n}})}(\omega )=\sum _{n=1}{c_{n}\cdot \chi _{A_{n}}(\omega )}=\sum _{n=1}{c_{n}\cdot \chi _{B_{n}}(Y(\omega ))}=(\sum _{n=1}{c_{n}\cdot \chi _{B_{n}}(Y))}(\omega )=\phi (Y(\omega ))$
    3. Schritt: Betrachte nun ein beliebiges $X\geq 0$ und eine Folge $(X_{n})_{n}$ von positiven einfachen Funktionen, monoton wachsend gegen $X$ konvergieren, d. h. $\lim _{n\to \infty }X_{n}=X$, $X_{n}\leq X_{n+1}$ und $X_{n}\leq X$ für alle $n\in \mathbb {N}$ und für fast alle $\omega \in \Omega$. Dann gilt für jedes $X_{n}$ unter Verwendung von Schritt 2, dass $X_{n}=\phi _{n}(Y)$ für ein geeignetes $\phi _{n}(Y)$. Setze nun $\phi (x)=\lim _{n\to \infty }\phi _{n}(x)$ sofern der Grenzwert existiert und $\phi (x)=0$ sonst. Dann folgt:
       $X(\omega )=\lim _{n\to \infty }X_{n}(\omega )=\lim _{n\to \infty }\phi _{n}(Y(\omega ))=\phi (Y(\omega ))$
    4. Schritt: Sei nun $X$ beliebig. Dann gibt es $X^{+}\geq 0$ und $X^{-}\geq 0$ mit $X=X^{+}-X^{-}$. Gemäß Schritt 3 gibt es dann auch ein $\phi _{+}$ mit $X^{+}=\phi _{+}(Y)$ und ein $\phi _{-}$ mit $X^{-}=\phi _{-}(Y)$. Setze nun $\phi =\phi _{+}-\phi _{-}$ und die Behauptung folgt.