Lemme de Fatou

Théorème de théorie de l'intégration de

Lebesgue

Le lemme de Fatou est un important

résultat dans la théorie de l'intégration de
Lebesgue. Il a été démontré par le
mathématicien français Pierre Fatou
(1878-1929). Ce lemme compare
l'intégrale d'une limite inférieure de
fonctions mesurables positives avec la
limite inférieure de leurs intégrales.
Il est en général présenté dans une suite
de trois résultats : d'abord le théorème
de convergence monotone, qui sert
ensuite à démontrer le lemme de Fatou,
puis celui-ci est utilisé pour démontrer le
théorème de convergence dominée.

Ce lemme porte parfois le nom de

« théorème de Fatou-Lebesgue ».

Énoncé
Soit un espace mesuré. Pour
toute suite de fonctions
mesurables sur à valeurs dans [0, +∞],
la limite inférieure de la suite est
mesurable et l'on a :
 .

L'égalité n'est en général pas vérifiée.

Démonstration[1],[2],[3]

Par définition, la fonction

est la limite
simple de la suite
croissante des fonctions
(mesurables positives)
définies par :

Par conséquent, le
théorème de convergence
monotone s'applique et
donne :

Or pour tout , par

définition de et
croissance de l'intégrale, on
a :

autrement dit :

,
 si bien que

[4].

Exemples
Cas d'inégalité stricte

L'exemple suivant montre que l'égalité

n'est pas vérifiée en général. Considérons
la suite sur muni
de la mesure de Lebesgue, telle que
et . Alors
pour tout , donc
 , tandis que

pour tout .

Indicatrices

En appliquant le lemme de Fatou au cas

où chaque fn est l'indicatrice d'une partie
mesurable An de E, on obtient :

où la limite inférieure de gauche est la

limite inférieure de la suite d'ensembles.

Remarquons toutefois que l'on peut

obtenir ce résultat directement, sans
avoir recours au lemme de Fatou. En
effet, par croissance de la suite
, on a

Notes et références
1. (en) N. L. Carothers, Real Analysis,
Cambridge University Press, 2000
(lire en ligne ), p. 321.
2. Srishti D. Chatterji, Cours d'analyse,
vol. 1 : Analyse vectorielle, PPUR,
1997 (lire en ligne ), p. 241-242.
3. Jean-Pierre Ramis, André Warusfel et
al., Mathématiques Tout-en-un pour
la Licence 3, Dunod, 2015 (lire en
 ligne ), p. 250 (dans le cadre de
l'intégrale de Kurzweil-Henstock).
4. Ou encore : pour tout , par
définition de et croissance de

l'intégrale,

puis, par monotonie de l'opérateur

,

Portail de l’analyse

Ce document provient de
« https://fr.wikipedia.org/w/index.php?
title=Lemme_de_Fatou&oldid=156652659 ».
 Dernière modifi cation il y a 10 mois par Ambigraphe

Le contenu est disponible sous licence CC BY-SA

3.0 sauf mention contraire.