Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Théorème de Fubini
Résumé
En mathématiques, et plus précisément en analyse, 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. Ce résultat a été introduit par Guido Fubini en 1907. 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. On peut changer l'ordre d'intégration si l'intégrable double de la valeur absolue de la fonction est finie :
théorème|Théorème de Fubini-Lebesgue|Soient et deux espaces mesurés complets (non nécessairement σ-finis) et l'espace mesurable produit muni dune'' mesure produit ζ. Si
est ζ-intégrable, alors les fonctions
(définies presque partout) sont respectivement μ- et ν-intégrables et
Le premier théorème est faux si l'on ne suppose pas les mesures σ-finies.
Dans le cas particulier où l'un des deux espaces est N muni de la tribu discrète et de la mesure de comptage, on retrouve respectivement le théorème de convergence monotone et le corollaire du théorème de convergence dominée pour les séries de fonctions.
Lorsque les deux mesures sont σ-finies, l'utilisation du théorème de Fubini-Tonelli 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 à , ce qui donne
donc si l'une des intégrales est finie, alors toutes trois le sont et est intégrable.
On a alors d'après le théorème de Fubini-Lebesgue
ce qui facilite le calcul de l'intégrale.
Le produit de convolution de deux fonctions intégrables est lui-même intégrable.
Calcul de l'intégrale de Gauss, .
Considérons
On a
En échangeant les rôles de et , on a donc
ce qui — puisque le théorème de Fubini ne s'applique pas ici — prouve que
Considérons l'ensemble . Munissons-le d'une part de la tribu borélienne et de la mesure de Lebesgue et d'autre part de la tribu discrète et de la mesure de comptage .
La diagonale est un fermé de , donc
La fonction indicatrice 1'''Δ est donc mesurable sur l'espace produit considéré.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.