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.

1. Schritt: Die Aussage $A(f)$ gilt für eine beliebige messbare charakteristische Funktion aus ${\mathcal {G}}$.
2. Schritt: Die Aussage $A(f)$ gilt für eine beliebige positive einfache Funktion aus ${\mathcal {G}}$.
3. Schritt: Die Aussage $A(f)$ gilt für eine beliebige positive messbare Funktion aus ${\mathcal {G}}$.
4. 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:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X \geq 0} und eine Folge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (X_n)_n} von positiven einfachen Funktionen, monoton wachsend gegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} konvergieren, d. h. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lim_{n \to \infty} X_n = X} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_n \leq X_{n+1}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_n \leq X} für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \in \mathbb{N}} und für fast alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \omega \in \Omega} . Dann gilt für jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_n} unter Verwendung von Schritt 2, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_n = \phi_n(Y)} für ein geeignetes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \phi_n(Y)} . Setze nun Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \phi(x) = \lim_{n \to \infty} \phi_n(x)} sofern der Grenzwert existiert und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \phi(x) = 0} sonst. Dann folgt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X(\omega) = \lim_{n \to \infty} X_n(\omega) = \lim_{n \to \infty} \phi_n(Y(\omega)) = \phi(Y(\omega))}

4. Schritt: Sei nun Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} beliebig. Dann gibt es Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X^+\geq 0} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X^- \geq 0} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X = X^+ - X^-} . Gemäß Schritt 3 gibt es dann auch ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \phi_+} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X^+ = \phi_+(Y)} und ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \phi_-} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X^- = \phi_-(Y)} . Setze nun Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \phi = \phi_+ - \phi_-} und die Behauptung folgt.

Literatur

• Klaus D. Schmidt: Maß und Wahrscheinlichkeit, Springer-Verlag, Berlin Heidelberg 2011, ISBN 978-3-642-21025-9, Seite 109
• Hartmut Milbrodt: Wahrscheinlichkeitstheorie: Eine Einführung mit Anwendungen und Beispielen aus der Versicherungs- und Finanzmathematik, VVW GmbH, Karlsruhe 2010, ISBN 978-3-89952-318-8, Seite 286,287