Ein Satz der Maßtheorie, der besagt, dass wenn (f_n) eine monoton wachsende Folge nichtnegativer messbarer Funktionen ist, die punktweise gegen f konvergiert, dann konvergieren die Integrale ∫ f_n gegen ∫ f (gegebenenfalls unendlich), d.h. lim_{n→∞} ∫ f_n = ∫ lim_{n→∞} f_n.

Prinzip

Monotonie zusammen mit Nichtnegativität erlaubt das Hineinziehen des Limes unter das Integral, weil die Integrale eine wachsende Folge bilden, die von oben durch das Integral der punktweisen Grenze beschränkt ist (oder gemeinsam divergiert).

Demonstration

Setze f_n = min(f,n) für eine nichtnegative messbare Funktion f; dann f_n ↑ f und nach dem Satz gilt ∫ f_n ↗ ∫ f. Oder f_n = 1_{[0,1-1/n]} auf R: f_n ↑ 1_{[0,1)} und ∫ f_n → 1 = ∫ 1_{[0,1)}.

Fehlanwendung

Den Satz auf Folgen anzuwenden, die nicht monoton wachsend oder nicht nichtnegativ sind (z. B. alternierende Folgen), führt zu falschen Schlüssen; Monotonie und Nichtnegativität sind essentielle Voraussetzungen.

Konsequenz

Der Satz ist eine zentrale Grundlage für das Vertauschen von Limes und Integral in vielen Existenz- und Approximationsargumenten; er impliziert Fatous Lemma und stützt die Approximation durch einfache Funktionen zur Definition des Lebesgue-Integrals.

Umkehrung

Das Dominierte Konvergenztheorem liefert ein alternatives Werkzeug: wenn die Funktionen von einer integrierbaren Funktion dominiert werden (anstatt monoton zu sein), darf man ebenfalls Limes und Integral vertauschen, jedoch mit abweichenden Voraussetzungen.

Abgrenzung

Erfordert messbare Funktionen, punktweise monotone Zunahme fast überall und Nichtnegativität. Er gilt nicht für fallende Folgen (außer bei zusätzlichen Integrierbarkeitsannahmen) noch für Folgen signierter Funktionen ohne geeignete Zerlegung.

Semantische Spannung

Spannung besteht gegenüber dem dominierten Konvergenzsatz, wenn Monotonie fehlt, aber Dominierung gilt; beide Sätze tauschen unterschiedliche Hypothesen gegen unterschiedliche Anwendbarkeiten ein.

Synthese

Das monotone Konvergenztheorem liefert eine robuste Regel zum Erhalt des Limes für nichtnegative monotone Approximationen: wachsende messbare Approximanten konvergieren im Integral gegen das Integral ihrer punktweisen Grenze und bilden ein fundamentales Werkzeug der Lebesgue-Integration.