Lemme de Fatou

En mathématiques, plus précisément en analyse, le lemme de Fatou est un résultat important 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 stipule que l'intégrale d'une limite inférieure de fonctions mesurables positives est inférieure à 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 »Modèle:Référence nécessaire.

Énoncé

Soit $(E,𝒜,\mu )$ un espace mesuré. Pour toute suite $(f_n{)}_{n\in \mathbb{N}}$ de fonctions mesurables sur $E$ à valeurs dans Modèle:Math, la limite inférieure de la suite est mesurable et l'on a :

$\int \underset{n\to \mathrm{\infty }}{\mathrm{lim\; inf}}{f}_n\mathrm{d}\mu \le \underset{n\to \mathrm{\infty }}{\mathrm{lim\; inf}}\int f_n\mathrm{d}\mu$.

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

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 $(f_n{)}_{n\in \mathbb{N}}$ sur $E:=[0,2]$ muni de la mesure de Lebesgue, telle que $f_{2n}={\mathrm{𝟏}}_{[0,1]}$ et $f_{2n+1}={\mathrm{𝟏}}_{]1,2]}$. Alors $g_p=0$ pour tout $p$, donc $\underset{p}{\lim }\underset{[0,2]}{\int }{g}_p\mathrm{d}x=0$, tandis que $\underset{[0,2]}{\int }{f}_n\mathrm{d}x=1$ pour tout $n$.

L'hypothèse de positivité

Appliquer le lemme de Fatou pour des fonctions non positives requiert en général des hypothèses supplémentaires, comme le montre l'exemple suivant. Pour tout entier $n\ge 1$, notons $f_n=-1_{[n,2n]}/n$ ; la suite $(f_n{)}_{n\ge 1}$ converge uniformément sur $ℝ$ vers la fonction nulle (d'intégrale 0) alors que chaque $f_n$ a pour intégrale −1, ce qui est contraire à la conclusion du lemme de Fatou. Le problème vient du fait que la suite $(f_n{)}_{n\ge 1}$ n'est pas minorée par une fonction intégrable.

Indicatrices

En appliquant le lemme de Fatou au cas où chaque Modèle:Math est l'indicatrice d'une partie mesurable Modèle:Math de Modèle:Math, on obtient :

$\mu (\underset{n}{\mathrm{lim\; inf}}{A}_n)\le \underset{n}{\mathrm{lim\; inf}}\mu (A_n)$,

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 $({\cap }_{n\ge N}{A}_n{)}_N$, on a

$\mu \left({\cup }_{N\in \mathbb{N}}{\cap }_{n\ge N}{A}_n\right)=\underset{N}{\lim }\mu \left({\cap }_{n\ge N}{A}_n\right)\le \underset{N}{\lim }\underset{n\ge N}{\inf }\mu (A_n)$.