Lemme de Fatou

Lemme de Fatou

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 (E,\mathcal A,\mu) un espace mesuré. Pour toute suite (f_n)_{n\in\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\rightarrow\infty}f_n~\mathrm d\mu\le\liminf_{n\rightarrow\infty}\int f_n~\mathrm d\mu.

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

Démonstration

Définissons la suite de fonctions (g_n)_{n\in\N} par :

\forall x\in E,\quad g_n(x)=\inf_{i\geq n}f_i(x).

Par construction, les fonctions gn forment une suite croissante de fonctions mesurables positives et la limite simple de cette suite est égale à la limite inférieure des fn. Le théorème de convergence monotone s'applique et donne :

\int\liminf_{n\rightarrow\infty}f_n~\mathrm d\mu=\int\lim_{n\rightarrow\infty}g_n~\mathrm d\mu=\lim_{n\rightarrow\infty}\int g_n~\mathrm d\mu.

Or gn est une fonction minorant fi si i est plus grand que n donc

\forall i\geq n,\quad\int g_n~\mathrm d\mu\le\int f_i~\mathrm d\mu\qquad\text{et par suite}\qquad\int g_n~\mathrm d\mu\le\inf_{i\geq n}\int f_i~\mathrm d\mu

Nous avons alors démontré en passant à la limite que :

\int\liminf_{n\rightarrow\infty}f_n~\mathrm d\mu=\lim_{n\rightarrow\infty}\int g_n~\mathrm d\mu\le\liminf_{i\rightarrow\infty}\int f_i~\mathrm d\mu.

Et l'égalité n'est pas vérifiée en général : exemple avec la mesure de Lebesgue sur [0,2] : soit (fi) la suite dont les termes pairs valent f2i = 1[0,1] (fonction qui vaut 1 sur [0,1] et 0 ailleurs) et les termes impairs f2i + 1 = 1[1,2] (fonction qui vaut 1 sur [1,2] et 0 ailleurs). Alors gn = 0 et donc \int_{[0,2]} g_n~\mathrm dx=0 pour tout n, alors que \int_{[0,2]} f_i~\mathrm dx= 1 pour tout i.

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Lemme de Fatou de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Lemme De Fatou — 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 traite d un cas où une propriété de convergence simple d une suite de… …   Wikipédia en Français

  • Lemme de fatou — 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 traite d un cas où une propriété de convergence simple d une suite de… …   Wikipédia en Français

  • Fatou (Homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Fatou en Afrique Fatou la Malienne, téléfilm de 2001 Pierre Fatou (1878 1929), mathématicien et astronome Lemme de Fatou, théorème de Fatou Ce document… …   Wikipédia en Français

  • Fatou (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Fatou en Afrique Fatou Diome, écrivaine franco sénégalaise Fatou la Malienne, téléfilm de 2001 Pierre Fatou (1878 1929), mathématicien et astronome Lemme… …   Wikipédia en Français

  • Pierre Fatou — Pour les articles homonymes, voir Fatou (homonymie). Pierre Fatou Mathématicien et Astronome[1 …   Wikipédia en Français

  • Théorème de fatou — Pierre Fatou, mathématicien français (1878 1929) énonça plusieurs théorèmes dont : le Théorème de Fatou (1926) : Soit f une fonction entière qui n est pas une translation. Alors la fonction a un point fixe dans . le Théorème de Fatou… …   Wikipédia en Français

  • Théorème de Fatou —  Ne pas confondre avec le théorème de Fatou Lebesgue (théorème de convergence dominée) ni avec le lemme de Fatou en théorie de l intégration. En mathématiques, le théorème de Fatou est un résultat d analyse complexe dû au mathématicien… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste Des Théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”