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 passer d'une convergence en mesure vers une convergence dans les espaces $L^{p}$ pour des fonctions mesurables. Il est une généralisation du théorème de convergence dominée.

Initialement, le théorème a été énoncé pour des mesures finies mais ce dernier peut se généraliser à des mesures quelconques sous couvert de rajouter une hypothèse de type 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[1].

Enoncé

Enoncé 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[2] - [3] :

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.

Enoncé 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[1] - [2] :

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.

Références

(en) V Bogachev, Measure Theory Volume I, New York, Springer, 2007 (lire en ligne), p. 267
(en) stevecheng, « Vitali convergence theorem », 2013
(en) G B Folland, Real Analysis: Modern Techniques and Their Applications, Wiley, 1999 (lire en ligne), p. 187

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.