Der Satz und das Verfahren, die das Hineinziehen des Limes unter das Integral erlauben: Wenn eine Folge messbarer Funktionen f_n fast überall punktweise gegen f konvergiert und es eine integrierbare Funktion g mit |f_n| ≤ g fast überall für alle n gibt, dann gilt ∫ f_n → ∫ f und f ist integrierbar.

Prinzip

Kernaussage: eine gleichmäßige integrierbare Schranke (dominierende Funktion) kontrolliert Oszillation und Konzentration und erlaubt den Tausch von Limes und Integral durch den Satz der dominierten Konvergenz; Dominanz verhindert, dass Maß in der Grenze entweicht.

Demonstration

Beispiel: f_n = χ_{[0,1/n]}(x)/√x auf (0,1]. Obwohl f_n sich bei 0 konzentriert, liefert eine integrierbare g, die alle f_n dominiert, ∫ f_n → ∫ f; ohne eine solche g gibt es Gegenbeispiele, bei denen sich die Integrale nicht zum Integral der Grenze fügen.

Fehlanwendung

Dominierte Konvergenz anzuwenden, ohne eine gültige integrierbare dominierende Funktion oder wenn die Konvergenz nicht fast überall punktweise ist; häufige Fehler sind, sich nur auf punktweise Konvergenz zu verlassen oder nicht-integrierbare Majoranten zu verwenden.

Konsequenz

Richtige Anwendung liefert Konvergenz in L1 und rechtfertigt das Hineinziehen von Grenzwerten unter Integrale in Analysis, Wahrscheinlichkeitstheorie und PDEs; es ist ein zentrales Werkzeug zur Etablierung der Stetigkeit integralabhängiger Konstruktionen.

Umkehrung

Der Monotoniekonvergenzsatz ist ein komplementärer, aber unterschiedlicher Gegenpol: Unter Monotonie (nichtabnehmende Folge nichtnegativer Funktionen) kann man ohne dominierende g Grenzen durch Integral tauschen; Monotonie und Dominanz sind verschiedene Hypothesen mit unterschiedlicher Anwendbarkeit.

Abgrenzung

Gilt im maßtheoretischen Rahmen für messbare Funktionen und erfordert eine integrierbare dominierende Funktion sowie punktweise Konvergenz fast überall; es gilt nicht für nicht messbare Grenzwerte oder Folgen ohne L1-Schranke.

Semantische Spannung

Spannung zwischen dominierter Konvergenz und gleichmäßiger Konvergenz: Gleichmäßige Konvergenz gewährleistet den Grenzwerttausch trivialerweise, dominierte Konvergenz deckt viele nichtgleichmäßige Fälle ab; außerdem Spannung gegenüber schwachen Konvergenzbegriffen, die nicht die Konvergenz nichtlinearer Integrale garantieren.

Synthese

Die dominierte Konvergenz ist das rigorous Kriterium, dass eine gleichmäßige integrierbare Schranke zusammen mit punktweiser p.a. Konvergenz L1-Konvergenz liefert und den Tausch von Limes und Integral erlaubt, wodurch viele Grenzoperationen in der modernen Analysis abgesichert werden.