Théorème de convergence monotone
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6f/Confusion_colour.svg/20px-Confusion_colour.svg.png)
Ne doit pas être confondu avec Théorème de la limite monotone.
En mathématiques, le théorème de convergence monotone (ou théorème de Beppo Levi) est un résultat de la théorie de l'intégration de Lebesgue.
Il permet de démontrer le lemme de Fatou et le théorème de convergence dominée.
Ce théorème indique que pour une suite croissante de fonctions mesurables positives on a toujours la convergence de la suite de leurs intégrales vers l'intégrale de la limite simple.
Le théorème autorise donc, pour une telle suite de fonctions, à intervertir les symboles et . De façon équivalente, il permet, pour une série de fonctions mesurables positives, de permuter les symboles et .
Énoncé
Théorème de convergence monotone/Beppo Levi — Soit un espace mesuré. Pour toute suite croissante de fonctions mesurables positives sur (à valeurs dans [0, +∞]), sa limite simple est mesurable et l'on a :
Référence : Walter Rudin, Analyse réelle et complexe [détail des éditions], Masson, 1977, p. 21.
Notons
et pour tout :
Comme la suite de fonctions est croissante et majorée par , la suite (à valeurs dans ) est croissante — donc sa limite (éventuellement infinie) existe — et cette suite est majorée par . On a donc :
- .
Pour démontrer l'inégalité dans l'autre sens, considérons une fonction étagée telle que
- .
Soit une constante strictement inférieure à 1, posons
- .
Par construction, on a :
- .
De plus, les ensembles mesurables forment une suite croissante dont la réunion est . Par conséquent,
- .
Donc
- ,
et ce pour tout , autrement dit :
c'est-à-dire :
- .
Comme cette inégalité est vraie pour toute fonction étagée positive majorée par , par définition de on obtient bien :
- .
Comme corollaire important, si les intégrales sont toutes majorées par un même réel, alors la fonction est intégrable, donc finie presque partout, et l'on peut exprimer le résultat en disant que la suite converge vers pour la norme L1.
On peut aussi exprimer le théorème en utilisant, au lieu d'une suite croissante, une série de fonctions mesurables à valeurs positives ou nulles. Le théorème dit que l'on a toujours
Le corollaire se traduit alors par : si la série des intégrales converge, alors la série des est intégrable donc finie presque partout, c'est-à-dire que pour presque tout , la série converge.
Histoire
Au début du XXe siècle, une nouvelle théorie de l'intégration apparaît sous la forme d'un article de Lebesgue, « Sur une généralisation de l'intégrale définie », publié dans les Comptes Rendus du . Cet article fascine rapidement la communauté mathématique. En 1906, le mathématicien italien Beppo Levi (1875-1961) démontre le théorème de la convergence monotone qui porte en conséquence parfois le nom de théorème de Beppo Levi.
Remarques
Séries doubles
Dans le cas particulier où l'espace mesuré est muni de la tribu discrète et de la mesure de comptage, on retrouve le théorème d'interversion pour les séries doubles à termes positifs.
Intérêt du théorème
L'aspect remarquable de la théorie de Lebesgue est qu'un critère de convergence faible suffit néanmoins sous certaines hypothèses pour assurer une bonne convergence, la convergence dans . Ce résultat est donc indispensable pour l'étude d'espaces de fonctions comme l'espace des séries entières, des fonctions harmoniques ou des espaces de Hardy ou de Sobolev.
Le lemme de Fatou et le théorème de convergence dominée peuvent être établis en utilisant le théorème de convergence monotone. Ce théorème est aussi utilisé pour construire les mesures à densité et pour démontrer le théorème de Fubini.
Non-validité dans le cadre de la théorie de Riemann
Considérons l'exemple suivant : à partir d'une énumération de tous les rationnels compris entre 0 et 1, on définit la fonction (pour tout entier naturel ) comme l'indicatrice de l'ensemble des premiers termes de cette suite de rationnels. La suite croissante des fonctions (positives et d'intégrale de Riemann nulle) converge alors simplement vers l'indicatrice de , qui n'est pas Riemann-intégrable.
Nécessité de l'hypothèse de positivité
L'exemple de la suite de fonctions définies sur par (pour tout entier naturel ) montre que la condition de positivité des est nécessaire.
Liens externes
- Théorèmes de Lebesgue, cours de Daniel Choï, université de Caen
- « Théorème de convergence monotone »(Archive.org • Wikiwix • Archive.is • Google • Que faire ?)sur les-mathematiques.net
Portail de l'analyse