- Theoreme de Tonelli
-
Théorème de Fubini
En mathématiques, le théorème de Fubini fournit des informations sur le calcul d'intégrales définies sur des ensembles produits et permet le calcul de telles intégrales. Il indique que sous certaines conditions, pour intégrer une fonction à plusieurs variables, on peut intégrer les variables les unes à la suite des autres.
Sommaire
Énoncés
Théorème de Fubini-Tonelli — Soient et deux espaces mesurés tels que les deux mesures soient σ-finies. Si est mesurable pour (voir tribu produit) et positive sur , alors les applications et ainsi que les applications
sont mesurables positives. On a de plus
où on a noté ζ la mesure produit sur .
Théorème de Fubini-Lebesgue — Soient et deux espaces mesurés tels que les deux mesures soient σ-finies. Si est intégrable sur pour (voir tribu produit), alors la fonction est intégrable pour presque tout , la fonction est intégrable pour presque tout . En outre, les fonctions
sont intégrables. On a de plus
où on a noté ζ la mesure produit sur .
Une mesure μ sur un espace X est dite σ-finie si et seulement s'il existe une réunion dénombrable de sous-ensembles de X de mesure finie et tel que la réunion est égale à X. C'est le cas de la mesure de Lebesgue. Les deux théorèmes sont faux si on ne suppose pas les mesures σ-finies.
Mise en œuvre
L'utilisation combinée de ces deux théorèmes permet souvent de démontrer qu'une fonction mesurable est intégrable. En effet, pour mesurable, on peut appliquer le théorème de Fubini-Tonelli à | f | , ce qui donne
Le calcul des intégrales étant maintenant souvent plus aisée, si l'une des intégrales est finie, alors ceci montre que f est intégrable, et on a de plus d'après le théorème de Fubini-Lebesgue
ce qui permet le calcul de l'intégrale.
Applications
- Dans le cas où et où les mesures sur X et Y sont les mesures de dénombrement, on obtient le théorème suivant sur les séries doubles.
Permutation d'une série double — Si est une famille de réels positifs ou nuls, ou une famille de complexes telle que , alors
- Le produit de convolution de deux fonctions intégrables est lui-même intégrable.
- Calcul de l'intégrale de Gauss
∫ exp( − x2)dx R .
Contre-exemples
Si f n'est pas intégrable
Considérons
On a en intégrant tout d'abord par rapport à y:
Puis
On a donc
De manière symétrique, on a
Le théorème de Fubini ne s'applique par ici. En effet, la fonction considérée ici n'est pas intégrable :
Cas d'une mesure non sigma-finie
Considérons l'ensemble I = [0,1]. Munissons le d'une part de la tribu borélienne et de la mesure de Lebesgue λ et d'autre part de la tribu constituée de l'ensemble des parties de I muni de la mesure de dénombrement.
Posons . Comme , on a . De plus, est continue, donc Δ = g − 1({0}) est fermé dans I. On en déduit que . Par suite, . La fonction indicatrice 1Δ est donc mesurable sur l'espace produit considéré.
D'un part, considérons
Pour x fixé, on a 1Δ(x,y) qui vaut 0 si , 1 si x = y. On a donc 1Δ(x,y) = 1{x}(y). D'où
A1 = ∫ m({x})dλ(x) = ∫ dλ(y) = 1. I I D'autre part, on a
La théorème de Fubini ne s'applique pas ici (car sinon 0=1). Ceci s'explique car la mesure de dénombrement n'est pas σ-finie sur [0,1]. En effet, si elle l'était, cela signifie que [0,1] s'écrirait comme une réunion dénombrable d'ensembles de mesure finie, c'est-à-dire d'ensembles finis. L'intervalle [0,1] serait donc dénombrable, ce qui est absurde.
Voir aussi
Liens internes
Liens externes
- [1] Un polycopié de cours de M. Mazet sur les mesures produits. On y trouve une preuve des deux versions du théorème de Fubini.
Bibliographie
Walter Rudin, Analyse réelle et complexe : cours et exercices [détail des éditions]
- Portail des mathématiques
Catégories : Théorie de la mesure | Théorème de mathématiques
Wikimedia Foundation. 2010.