- Théorème de convergence dominée
-
En mathématiques, et plus précisément en analyse, le théorème de convergence dominée est un des théorèmes principaux de la théorie de l'intégration de Lebesgue.
Sommaire
Le théorème de convergence dominée
Théorème — Soit une suite de fonctions mesurables sur un espace mesuré , à valeurs réelles ou complexes, telle que :
- la suite de fonctions converge simplement sur E vers une fonction f ;
- il existe une fonction intégrable g telle que :
Alors f est intégrable et
ce qui entraîne :
Démonstration par le le lemme de FatouRéférence : Walter Rudin, Analyse réelle et complexe [détail des éditions]
Commençons par montrer que f est intégrable :
puisque f est limite simple d'une suite de fonctions mesurables, elle est mesurable et comme pour tout n on a , par passage à la limite, donc f est intégrable.
Ensuite, on a donc on peut appliquer le lemme de Fatou,et comme alors,
d'où
et donc on en déduit :
Démonstration par le théorème de convergence monotonePosons
Les kn forment une suite croissante de fonctions mesurables positives, de limite 2g. D'après le théorème de convergence monotone on a donc
et par conséquent
La fin de la preuve est la même que précédemment.
Généralisation
En théorie de la mesure on peut définir la notion de propriété presque partout, c'est pourquoi on peut énoncer le théorème de convergence dominée de façon plus générale :
Théorème — Soit une suite de fonctions mesurables sur , un espace mesuré, à valeurs dans ou telle que :
- La suite de fonctions admet une limite presque partout , c'est-à-dire, existe pour presque tout
- Il existe une fonction telle que :
, μ- presque partout. Alors
Afin de démontrer ce théorème, il suffit de faire en sorte de se ramener au cas précédent en s'affranchissant des parties négligeables.
DémonstrationSoit , alors pour tout car ces ensembles sont négligeables. En posant on a toujours et ainsi on peut redéfinir fk = 0 sur N ce qui permet de se ramener au théorème de convergence dominée dans le cas simple.
Remarque :
Dans le cas d'une mesure de probabilité la première hypothèse peut être modifiée en :
- La suite de fonctions converge en probabilité vers une fonction mesurable f.
Exemple d'application
Si , sa transformée de Fourier est continue. La vérification de l'hypothèse de domination est immédiate, puisque ; le théorème de convergence dominée permet de voir que est séquentiellement continue, donc continue.
Voir aussi
Articles connexes
Liens externes
- Théorème de la convergence dominée de Lebesgue. Corollaires sur les-mathematiques.net
- Le Théorème de la convergence dominée pour les fonctions Riemann-intégrables, J.-F. Burnol, notes d'un cours de DEUG à l'université de Lille
Catégories :- Théorème d'analyse
- Théorie de l'intégration
Wikimedia Foundation. 2010.