- Théorème d'Egoroff
-
Le théorème d’Egoroff, nommé ainsi en hommage à Dimitri Egoroff, un physicien et géomètre russe, établit une condition de convergence uniforme dans certains espaces mesurables. Ce théorème peut servir en particulier à montrer le théorème de Lusin pour les fonctions intégrables. Il s’agit en fait d’un résultat basique de théorie de l’intégration. Il permet en outre de donner une démonstration concise du théorème de convergence dominée.
Sommaire
Énoncé
Soit un espace mesuré vérifiant (la mesure est dite finie). Soit (fn) une suite de fonctions mesurables de à valeurs réelles convergeant presque partout vers une fonction mesurable sur .
Alors, pour tout , il existe tel que et tel que converge uniformément vers sur .
Pourquoi supposer la mesure finie ?
Considérons la suite de fonctions (fn) suivante définie sur l’ensemble des réels munie de la tribu des boréliens et de la mesure de Lebesgue (χ désigne la fonction indicatrice d’un ensemble) :
.
Alors, (fn) converge simplement sur l’ensemble des réels mais il n’existe aucun sous ensemble de la forme avec B de mesure finie où la convergence est uniforme.
Démonstration
On considère pour les ensembles :
. Pour tout , la suite est croissante (pour l’inclusion), donc :
. De plus, comme la suite de fonctions (fn) converge simplement μ p.p. vers f, on a, pour tout :
. On fixe alors ε > 0. Grâce à la condition , on peut trouver pour chaque un entier nk positif tel que
. Alors, l’ensemble
convient.
Autre formulation du théorème
Soit E un espace métrique, séparable et localement compact, sur lequel on a une mesure μ σ-finie. Soit fn une suite de fonctions mesurables de E dans convergeant μ p.p. vers une fonction f mesurable.
Alors, pour tout ε > 0 et pour tout compact K de E, il existe un compact K' inclus dans K tel que et tel que fn converge uniformément vers f sur K'.
Sources
- Measure theory and integration, Michael E. Taylor, American Mathematical Society.
Catégories :- Théorème de mathématiques
- Théorie de la mesure
Wikimedia Foundation. 2010.