Teorema della convergenza dominata

In matematica, il teorema della convergenza dominata fornisce una condizione sufficiente sotto la quale il limite di una successione di funzioni commuta con l'operazione di integrazione.

Il teorema viene generalizzato dal teorema di convergenza di Vitali.

Enunciato

Sia ${\displaystyle (X,{\mathfrak {F}},\mu )}$ uno spazio di misura e ${\displaystyle \{f_{n}\}}$ una successione di funzioni misurabili su ${\displaystyle X}$ tale che esiste il limite:

${\displaystyle \lim _{n\to \infty }f_{n}(x)=f(x)\quad \forall x\in X}$

Se esiste una funzione ${\displaystyle g\in L^{1}(X,d\mu )}$ tale che

${\displaystyle |f_{n}(x)|\leq g(x)}$,

nel qual caso ${\displaystyle \{f_{n}\}}$ si dice dominata da ${\displaystyle g}$, allora si ha:^[1]

${\displaystyle \lim _{n\rightarrow \infty }\int _{A\subset X}f_{n}d\mu =\int _{A}fd\mu }$

${\displaystyle \forall A\subseteq X\,:\,\lim _{n\rightarrow \infty }\int _{A}|f_{n}-f|d\mu =0}$

ovvero ${\displaystyle f_{n}}$converge a ${\displaystyle f}$ in tutto ${\displaystyle L^{1}(X,d\mu )}$

Dimostrazione

Dal momento che ${\displaystyle f}$ denota il limite quasi ovunque della successione ${\displaystyle f_{n}}$, allora la successione è misurabile e dominata da ${\displaystyle g}$, e quindi integrabile.

Si vuole mostrare che:

${\displaystyle \int _{S}\lim _{n\rightarrow \infty }f_{n}=\lim _{n\rightarrow \infty }\int _{S}f_{n}}$ per qualunque S contenuto in X.

Dal momento che:

${\displaystyle {\biggl |}\int _{S}f\,d\mu -\int _{S}f_{n}\,d\mu {\biggr |}={\biggl |}\int _{S}(f-f_{n})\,d\mu {\biggr |}\leq \int _{S}|f-f_{n}|\,d\mu }$

e che:

${\displaystyle |f-f_{n}|\leq 2g\ }$ per ogni x

allora si può usare il lemma di Fatou inverso e si ha:

${\displaystyle \limsup _{n\to \infty }\int _{S}|f-f_{n}|\,d\mu \leq \int _{S}\limsup _{n\to \infty }|f-f_{n}|\,d\mu }$

Ma dal momento che:

${\displaystyle \limsup _{n\to \infty }|f-f_{n}|=0}$

allora:

${\displaystyle \int _{S}\limsup _{n\to \infty }|f-f_{n}|\,d\mu =0}$

e il fatto che sia vero per ogni S ci consente di affermare che:

${\displaystyle \lim _{n\to \infty }\int _{S}|f-f_{n}|\,d\mu =0}$

dimostrando la tesi.

Note

Bibliografia

• Walter Rudin, Real and Complex Analysis, Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1.

Voci correlate

• Lemma di Fatou
• Passaggio al limite sotto segno di integrale
• Teorema della convergenza monotona
• Teorema di convergenza di Vitali

Collegamenti esterni

• (EN) Eric W. Weisstein, Teorema della convergenza dominata, su MathWorld, Wolfram Research.

V · D · M Analisi matematica
Calcolo infinitesimale	Numero reale · Infinitesimo · O-grande · Successione (di funzioni) · Successione di Cauchy · Teorema di Bolzano-Weierstrass · Stima asintotica · Limite (di una funzione · di una successione · Forma indeterminata) · Teorema dei due carabinieri · Limite notevole · Punto di accumulazione · Punto isolato · Intorno · Serie (di funzioni) · Criteri di convergenza · Limite di funzioni a più variabili
Studio della continuità	Funzione continua · Punto di discontinuità · Continuità uniforme · Funzione lipschitziana · Teorema di Bolzano · Teorema di Weierstrass · Teorema dei valori intermedi · Teorema di Heine-Cantor · Modulo di continuità · Funzione semicontinua · Continuità separata · Teorema di approssimazione di Weierstrass
Calcolo differenziale	Derivata · Differenziale · Regole di derivazione · Teorema di Fermat · Teorema di Rolle · Teorema di Lagrange · Teorema di Cauchy · Teorema di Darboux · Teorema di Taylor · Serie di Taylor · Funzione differenziabile · Gradiente · Jacobiana · Hessiana · Forma differenziale · Generalizzazioni della derivata · Derivata parziale · Derivata mista
Integrale	Primitiva · Integrale di Riemann · Integrale improprio · Integrale di Lebesgue · Teorema fondamentale · Metodi di integrazione · Tavole · Integrale multiplo, di linea (1ª specie · 2ª specie) e di superficie (di volume)
Studio di funzione	Funzione · Variabile · Dominio e codominio · Funzioni pari e dispari · Funzione periodica · Funzione monotona · Funzione convessa · Massimo e minimo di una funzione · Punto angoloso · Cuspide · Punto di flesso · Asintoto · Grafico di una funzione · Funzione iniettiva
Disuguaglianze	Disuguaglianza triangolare · Disuguaglianza di Cauchy-Schwarz · Bernoulli · Jensen · Hölder · Young · Minkowski
Altro	Approssimazione di Stirling · Prodotto di Wallis · Funzione Gamma · Teorema delle funzioni implicite · Teorema della funzione inversa · Funzione hölderiana · Spazio metrico · Spazio normato · Intervallo · Insieme trascurabile · Insieme chiuso · Insieme aperto · Palla · Omeomorfismo · Omeomorfismo locale · Diffeomorfismo · Diffeomorfismo locale · Classe C di una funzione · Equazione differenziale · Problema di Cauchy

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica