# Théorème de Lebesgue-Vitali

En mathématiques et plus particulièrement en théorie de la mesure, le théorème de Lebesgue-Vitali (ou théorème de convergence de Vitali) est un théorème qui donne une condition nécessaire et suffisante pour qu'une suite de fonctions mesurables convergente en mesure converge aussi dans les espaces $L^{p}$. Il généralise le théorème de convergence dominée.
Initialement, le théorème a été énoncé pour des mesures finies mais il peut se généraliser à des mesures quelconques à condition de rajouter une hypothèse de tension sur la suite de fonctions.

## Prolégomènes

Soit $(X,{\mathcal {A}},\mu )$ un espace mesuré. Soit ${\mathcal {F}}$ une famille de fonctions intégrables définies sur $(X,{\mathcal {A}},\mu )$ à valeurs dans $\mathbb {R}$.
On dit que la famille ${\mathcal {F}}$ :
* est uniformément intégrable si $\forall \varepsilon >0,\,\exists C,\,\forall f\in {\mathcal {F}},\,\int _{|f|>C}|f|d\mu <\varepsilon$.
* a des intégrales uniformément absolument continues si $\forall \varepsilon >0,\,\exists \delta >0,\,\forall A\in {\mathcal {A}}{\text{ tel que }}\mu (A)<\delta ,\,\forall f\in {\mathcal {F}},\,\int _{A}|f|d\mu <\varepsilon$.
* est tendue si $\forall \varepsilon >0,\,\exists K\in {\mathcal {A}}{\text{ tel que }}\mu (K)<\infty {\text{ et }}\forall f\in {\mathcal {F}},\,\int _{X\setminus K}|f|d\mu <\varepsilon$.
* bornée dans $L^{1}$ si $\exists M,\,\forall f\in {\mathcal {F}},\int |f|d\mu <M$.
La définition donnée ici d'intégrales uniformément absolument continues est quelquefois utilisée comme définition d'intégrabilité uniforme par certains auteurs. Il faut donc faire attention, la définition d'intégrabilité uniforme choisie ici correspond à celle habituellement utilisée en théorie des probabilités.
Si $\mu$ est une mesure finie, alors ${\mathcal {F}}$ est uniformément intégrable si et seulement si elle est bornée dans $L^{1}$ et a des intégrales uniformément absolument continues.
Si $\mu$ est finie et n'a pas d'atomes, alors ${\mathcal {F}}$ est uniformément intégrable si et seulement si elle a des intégrales uniformément absolument continues.

## Énoncé
### Énoncé général

Soit $(X,{\mathcal {A}},\mu )$ un espace mesuré, $p\in [1,+\infty [$ et $f,(f_{n})_{n\in \mathbb {N} }:X\to \mathbb {R}$ des fonctions mesurables telles que les $(f_{n})_{n\in \mathbb {N} }$ sont dans $L^{p}$ (on ne suppose rien d'autre pour $f$). Alors $f\in L^{p}$ et $f_{n}\to f$ dans $L^{p}$ si et seulement si les trois conditions suivantes sont vérifiées$^,$ :
* La suite $(f_{n})_{n\in \mathbb {N} }$ converge en mesure vers $f$.
* La famille $(f_{n}^{p})_{n\in \mathbb {N} }$ a des intégrales uniformément absolument continues.
* La famille $(f_{n}^{p})_{n\in \mathbb {N} }$ est tendue.

### Énoncé pour une mesure finie ou dans le cadre des probabilités

Dans le cas où $\mu$ est une mesure finie (c'est le cas par exemple si $\mu$ est une mesure de probabilités), alors la condition 3 est toujours vérifiée (avec $K=X$). De plus, dans ce cas, on peut montrer que les conditions 1 et 2 sont équivalentes aux conditions 1 et 2' où 2' correspond au fait que la famille $(f_{n}^{p})_{n\in \mathbb {N} }$ est uniformément intégrable. Autrement dit on a le résultat suivant$^,$ :
Soit $(X,{\mathcal {A}},\mu )$ un espace mesuré avec $\mu (X)<\infty$, $p\in [1,+\infty [$ et $f,(f_{n})_{n\in \mathbb {N} }:X\to \mathbb {R}$ des fonctions mesurables telles que les $(f_{n})_{n\in \mathbb {N} }$ sont dans $L^{p}$ (on ne suppose rien d'autre pour $f$). Alors $f\in L^{p}$ et $f_{n}\to f$ dans $L^{p}$ si et seulement si les deux conditions suivantes sont vérifiées :
* La suite $(f_{n})_{n\in \mathbb {N} }$ converge en mesure vers $f$.
* La famille $(f_{n}^{p})_{n\in \mathbb {N} }$ est uniformément intégrable.