# Gleichgradige Integrierbarkeit

Die gleichgradige Integrierbarkeit, auch gleichmäßige Integrierbarkeit genannt, ist in der Mathematik eine Verstärkung des Begriffs der Integrierbarkeit. Im Gegensatz zur Integrierbarkeit ist sie immer eine Eigenschaft einer Familie von Funktionen und nicht die einer einzelnen Funktion. Allerdings kann die Familie auch einelementig sein. Die gleichgradige Integrierbarkeit ist vor allem in der Wahrscheinlichkeitstheorie und der Maßtheorie von Bedeutung, da sie es ermöglicht, mittels des Konvergenzsatzes von Vitali eine Verbindung von der Konvergenz im p-ten Mittel zu der Konvergenz in Wahrscheinlichkeit der Wahrscheinlichkeitstheorie und der Konvergenz nach Maß bzw. der Konvergenz lokal nach Maß der Maßtheorie zu schlagen. Anschaulich ist eine Familie von Funktionen dann gleichgradig integrierbar, wenn das Integral über „kleinen“ Mengen auch keine zu großen Werte annimmt.

## Definition

Sei $(\Omega ,{\mathcal {A}})$ ein Maßraum, $\mu$ ein (positives) Maß auf $(\Omega ,{\mathcal {A}})$. Mit ${\mathcal {L}}^{1}(\mu ):={\mathcal {L}}^{1}(\Omega ,\mu )$ sei die Menge der bezüglich $\mu$ integrierbaren Funktionen von $\Omega$ nach $\mathbb {R}$ bezeichnet. Der Positivteil einer Funktion sei mit $f^{+}:=\max\{0,f\}$, die Menge der positiven, bezüglich $\mu$ integrierbaren Funktionen auf $\Omega$ mit ${\mathcal {L}}^{1}(\mu )^{+}$ notiert.

### Für allgemeine Maße

Eine Familie ${\mathcal {F}}$ von messbaren Funktionen auf $\Omega$ heißt gleichgradig integrierbar bezüglich $\mu$, wenn sie eine der folgenden vier äquivalenten Bedingungen erfüllt:
* Es sind die folgenden beiden Bedingungen erfüllt:
* Es ist $\inf _{c\in [0,\infty )}\sup _{f\in {\mathcal {F}}}\int _{\{|f|\geq c\}}|f|\mathrm {d} \mu =0$.
* Für jedes $\varepsilon >0$ existiert ein $A\in {\mathcal {A}}$ mit $\mu (A)<\infty$ und
       $\sup _{f\in {\mathcal {F}}}\int _{\Omega \backslash A}|f|\mathrm {d} \mu \leq \varepsilon$.
* Es ist
       $\inf _{g\in {\mathcal {L}}^{1}(\mu )^{+}}\sup _{f\in {\mathcal {F}}}\int _{\Omega }(|f|-g)^{+}\mathrm {d} \mu =0$.
* Es ist
       $\inf _{g\in {\mathcal {L}}^{1}(\mu )^{+}}\sup _{f\in {\mathcal {F}}}\int _{\{|f|\geq g\}}|f|\mathrm {d} \mu =0$.
* Es sind die folgenden beiden Bedingungen erfüllt:
* Es ist $\sup _{f\in {\mathcal {F}}}\int \vert f\vert \mathrm {d} \mu <\infty$
* Für jedes $\varepsilon >0$ existieren ein $g\in {\mathcal {L}}^{1}(\mu )^{+}$ und ein $\delta >0$ derart, dass die Implikation
          $\int _{A}g\;\mathrm {d} \mu \leq \delta \Longrightarrow \sup _{f\in {\mathcal {F}}}\int _{A}|f|\;\mathrm {d} \mu \leq \varepsilon$
       für alle $A\in {\mathcal {A}}$ gültig ist.
Insbesondere ist also jedes Element gleichgradig integrierbarer Familien selbst eine integrierbare Funktion.

### Für endliche Maße

Ist das Maß endlich, ist also $\mu (\Omega )<\infty$, so existieren vereinfachte Charakterisierungen: Die gleichgradige Integrierbarkeit bezüglich $\mu$ einer Familie ${\mathcal {F}}$ messbarer Funktionen auf $\Omega$ ist dann äquivalent zu jeder der vier folgenden Aussagen:
* Es ist
       $\inf _{c\in [0,\infty )}\sup _{f\in {\mathcal {F}}}\int (|f|-c)^{+}\mathrm {d} \mu =0$.
* Es ist
       $\inf _{c\in [0,\infty )}\sup _{f\in {\mathcal {F}}}\int _{\{|f|\geq c\}}|f|\mathrm {d} \mu =0$.
* Es sind die folgenden beiden Bedingungen erfüllt:
* Es ist $\sup _{f\in {\mathcal {F}}}\int \vert f\vert \mathrm {d} \mu <\infty$.
* Für jedes $\varepsilon >0$ existiert ein $\delta >0$ derart, dass die Implikation
          $\mu (A)\leq \delta \Longrightarrow \sup _{f\in {\mathcal {F}}}\int _{A}|f|\;\mathrm {d} \mu \leq \varepsilon$
       für alle $A\in {\mathcal {A}}$ gültig ist.
* Es existiert eine Funktion $H\colon [0,\infty )\to [0,\infty )$ mit $\lim _{x\to \infty }H(x)/x=\infty$ und
          $\sup _{f\in {\mathcal {F}}}\int H(|f|)d\mu <\infty$.
Die letzte Bedingung wird manchmal auch De-La-Vallée-Poussin-Kriterium (für gleichgradige Integrierbarkeit) genannt.

### Gleichgradig integrierbar im p-ten Mittel

Eine Familie von Funktionen $(f_{i})_{i\in I}$ heißt „gleichgradig integrierbar im p-ten Mittel“, wenn die Familie $(|f_{i}|^{p})_{i\in I}$ gleichgradig integrierbar ist. Im Falle eines endlichen Maßraums ist dies für $p>1$ insbesondere der Fall, wenn $\sup _{f\in {\mathcal {F}}}\int |f|^{p}d\mu <\infty$.

## Eigenschaften

* Jede endliche Menge ${\mathcal {F}}\subset {\mathcal {L}}^{1}(\mu )$ ist gleichgradig integrierbar.
* Seien ${\mathcal {F}},{\mathcal {G}}$ Familien von Funktionen und sei ${\mathcal {F}}$ gleichgradig integrierbar. Existiert zu jedem $g\in {\mathcal {G}}$ ein $f\in {\mathcal {F}}$, sodass $\vert g\vert \leq \vert f\vert$, so ist auch ${\mathcal {G}}$ gleichgradig integrierbar.
* Existiert ein $g\in L^{1}(\mu )$, sodass $|f|\leq |g|$ für alle $f\in {\mathcal {F}}$, so ist ${\mathcal {F}}$ gleichgradig integrierbar. Dies ist ein direkter Spezialfall der beiden obigen Eigenschaften.
* Eine Folge $f_{n}$ messbarer Funktionen konvergiert genau dann im Mittel, d. h. bezüglich der $L^{1}$-Norm, gegen eine Funktion $f$, wenn sie dem Maße nach konvergiert und gleichgradig integrierbar ist. Dies folgt aus dem Konvergenzsatz von Vitali. Diese Aussage kann als eine Erweiterung des Satzes der majorisierten Konvergenz verstanden werden, da durch die gleichgrade Integrierbarkeit die Anforderung an die Konvergenz der Folge $(f_{n})_{n\in \mathbb {N} }$ abgeschwächt wird.
* Allgemeiner konvergiert eine Folge $f_{n}$ messbarer Funktionen genau dann im p-ten Mittel, also bezüglich der $L^{p}$-Norm, gegen eine Funktion $f$, wenn sie dem Maße nach konvergiert und im p-ten Mittel gleichgradig integrierbar ist. Diese Aussage folgt ebenfalls aus dem Konvergenzsatz von Vitali.
* Sind ${\mathcal {F}},{\mathcal {G}}$ gleichgradig integrierbare Familien, so sind auch $\alpha {\mathcal {F}}+\beta {\mathcal {G}}$ für $\alpha ,\beta \in \mathbb {R}$, ${\mathcal {F}}\cup {\mathcal {G}}$, ${\mathcal {F}}\cap {\mathcal {G}}$ und $\vert {\mathcal {F}}\vert$ gleichgradig integrierbare Familien. Die Operationen sind dabei elementweise zu verstehen.

## Anwendungen

Die gleichgradige Integrierbarkeit spielt eine wichtige Rolle in der Wahrscheinlichkeitstheorie im Zusammenhang mit Martingalen. Wichtige Aussagen sind:
* Ist $(X_{t})_{t\geq 0}$ ein rechtsstetiges Martingal, dann ist $(X_{t})_{t\geq 0}$ genau dann gleichgradig integrierbar, wenn $Y\in L^{1}$ existiert, sodass $Y=\lim _{t\to \infty }X_{t}$ fast sicher und $X_{t}=\mathbb {E} [Y|{\mathcal {F}}_{t}]$ für alle $\forall t\geq 0$.
* Ist $(X_{t})_{t\geq 0}$ ein gleichgradig integrierbares rechtsstetiges Martingal und $T$ eine Stoppzeit, dann ist der gestoppte Prozess auch ein gleichgradig integrierbares rechtsstetiges Martingal.
* Ist $(X_{t})_{t\geq 0}$ ein adaptierter Prozess mit càdlàg Pfaden und $\mathbb {E} [|X_{t}|]<\infty$ und $\mathbb {E} [X_{T}]=0$ für jede beliebige Stoppzeit $T$, dann ist $(X_{t})_{t\geq 0}$ gleichgradig integrierbar.