Thorme de Fubini

Un article de Wikipdia, l'encyclopdie libre. Aller : Navigation, rechercher En mathmatiques, et plus prcisment en analyse, le thorme de Fubini fournit des informations sur le calcul d'intgrales dfinies sur des ensembles produits et permet le calcul de telles intgrales. Il indique que sous certaines conditions, pour intgrer une fonction plusieurs variables, on peut intgrer les variables les unes la suite des autres.

Sommaire
[masquer]

1 noncs 2 Mise en uvre 3 Applications 4 Contre-exemples o 4.1 Si f n'est pas intgrable o 4.2 Cas d'une mesure non sigma-finie 5 Notes et rfrences

noncs[modifier]
Thorme de Fubini-Tonelli (it)1 Soient tels que les deux mesures soient -finies et soit produit muni de la mesure produit. Si et deux espaces mesurs l'espace mesurable

est une application

-mesurable, alors les applications

sont respectivement

- et

-mesurables et

Thorme de Fubini-Lebesgue2 Soient complets (non ncessairement -finis) et d'une mesure produit . Si

et deux espaces mesurs l'espace mesurable produit muni

est -intgrable, alors les fonctions

(dfinies presque partout) sont respectivement - et -intgrables et

Le premier thorme est faux si on ne suppose pas les mesures -finies. Dans le cas particulier o l'un des deux espaces est muni de la tribu discrte et de la mesure de comptage, on retrouve respectivement le thorme de convergence monotone et le corollaire du thorme de convergence domine pour les sries de fonctions.

Mise en uvre[modifier]
Lorsque les deux mesures sont -finies, l'utilisation du thorme de Fubini-Tonelli permet souvent de dmontrer qu'une fonction mesurable est intgrable. En effet, pour -mesurable, on peut appliquer le thorme de Fubini-Tonelli , ce qui donne

donc si l'une des intgrales est finie, alors toutes trois le sont et On a alors d'aprs le thorme de Fubini-Lebesgue

est intgrable.

ce qui facilite le calcul de l'intgrale.

Applications[modifier]

Le produit de convolution de deux fonctions intgrables est lui-mme intgrable. Calcul de l'intgrale de Gauss, .

Contre-exemples[modifier]
Si f n'est pas intgrable[modifier]

Considrons

On a

[afficher]

Dtails de calcul

En changeant les rles de

et

, on a

Le thorme de Fubini ne s'applique pas ici. En effet, la fonction considre ici n'est pas intgrable :

[afficher]

Dtails de calcul

Cas d'une mesure non sigma-finie[modifier]

Considrons l'ensemble et de la mesure de Lebesgue mesure de comptage . La diagonale . Munissons-le d'une part de la tribu borlienne et d'autre part de la tribu discrte et de la

est un ferm de

, donc

La fonction indicatrice 1 est donc mesurable sur l'espace produit considr. Mais on a d'une part :

et d'autre part :

Ces deux intgrales sont distinctes, donc :

le thorme de Fubini-Tonelli ne s'applique pas ici. Ceci s'explique car la mesure de comptage sur n'est pas -finie, car toute runion dnombrable d'ensembles de mesures -finies, c'est--dire d'ensembles finis, est au plus dnombrable donc diffrente de . le thorme de Fubini-Lebesgue ne s'applique pas non plus, ce qui prouve que est de mesure infinie pour toute mesure produit de par .