Sigma-endlicher Maßraum/Messbare Funktion/Charakterisierung der Integrierbarkeit/Fakt

Es sei ${}(M,{\mathcal {A}},\mu )$ ein ${}\sigma$-endlicher Maßraum und

$f\colon M\longrightarrow {\overline {\mathbb {R} }}$

eine messbare numerische Funktion. Dann sind folgende Eigenschaften äquivalent.

1. ${}f$ ist integrierbar.
2. Der [[MDLUL/positiv (Teil)|positive]] und der negative Teil von ${}f$ sind integrierbar.
3. Die Betragsfunktion ${}\vert {f}\vert$ ist integrierbar.
4. Es gibt eine integrierbare messbare Funktion

   $h\colon M\longrightarrow {\overline {\mathbb {R} }}_{\geq 0}$

   mit ${}\vert {f(x)}\vert \leq h(x)$ für alle ${}x\in M$.

Zum Beweis, Alternativen Beweis erstellen