title: Lemme de Fatou
text: # 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 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 $(E,{\mathcal {A}},\mu )$ un espace mesuré. Pour toute suite $(f_{n})_{n\in \mathbb {N} }$ de fonctions mesurables sur $E$ à valeurs dans [0, +∞], la limite inférieure de la suite est mesurable et l'on a :
  
  $\int \liminf _{n\to \infty }f_{n}~\mathrm {d} \mu \leq \liminf _{n\to \infty }\int f_{n}~\mathrm {d} \mu$
  
  L'égalité n'est en général pas vérifiée.
  
  Par définition, la fonction $\liminf _{n\to \infty }f_{n}$ est la limite simple de la suite croissante des fonctions $g_{p}$ (mesurables positives) définies par :
  
  $\forall x\in E,\quad g_{p}(x)=\inf _{n\geq p}f_{n}(x)$
  
  Par conséquent, le théorème de convergence monotone s'applique et donne :
  
  $\int \liminf _{n\to \infty }f_{n}~\mathrm {d} \mu =\int \lim _{p\to \infty }g_{p}~\mathrm {d} \mu =\lim _{p\to \infty }\int g_{p}~\mathrm {d} \mu$
  
  Or pour tout $p\in \mathbb {N}$, par définition de $g_{p}$ et croissance de l'intégrale, on a :
  
  $\forall n\geq p,\quad \int g_{p}~\mathrm {d} \mu \leq \int f_{n}~\mathrm {d} \mu$
  
  autrement dit :
  
  $\int g_{p}~\mathrm {d} \mu \leq \inf _{n\geq p}\int f_{n}~\mathrm {d} \mu$
  
  si bien que
  
  $\lim _{p\to \infty }\int g_{p}~\mathrm {d} \mu \leq \lim _{p\to \infty }\inf _{n\geq p}\int f_{n}~\mathrm {d} \mu =\liminf _{n\to \infty }\int f_{n}~\mathrm {d} \mu$
  
  ## 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}=1_{[0,1]}$ et $f_{2n+1}=1_1,2]}$. Alors $g_{p}=0$ pour tout $p$, donc $\lim _{p}\int _{[0,2]}g_{p}~\mathrm {d} x=0$, tandis que $\int _{[0,2]}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\geq 1$, notons $f_{n}=-1_{[n,2n]}/n$ ; la suite $(f_{n})_{n\geq 1}$ converge uniformément sur $\mathbb {R}$ 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\geq 1}$ n'est pas minorée par une fonction intégrable.
  
  ### Indicatrices
  
  En appliquant le lemme de Fatou au cas où chaque $f_n$ est l'indicatrice d'une partie mesurable $A_n$ de E, on obtient :
  
  $\mu (\liminf _{n}A_{n})\leq \liminf _{n}\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\geq N}A_{n})_{N}$, on a
  
  $\mu \left(\cup _{N\in \mathbb {N} }\cap _{n\geq N}A_{n}\right)=\lim _{N}\mu \left(\cap _{n\geq N}A_{n}\right)\leq \lim _{N}\inf _{n\geq N}\mu (A_{n})$
  
  