Mesure extérieure

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant l’analyse
Cet article est une ébauche concernant l’analyse.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

La notion de mesure extérieure (ou mesure extérieure au sens de Carathéodory) est un concept, dû au mathématicien Constantin Carathéodory, qui généralise dans un cadre axiomatique une construction utilisée par Henri Lebesgue pour définir la mesure de Lebesgue des parties Lebesgue-mesurables de la droite réelle.

Définition[modifier | modifier le code]

Soit un ensemble. Une mesure extérieure sur est une fonction définie sur l'ensemble de toutes les parties de  :

qui vérifie les trois conditions suivantes :

  • Monotonie : Pour toutes parties et de ,

Construction d'une mesure à partir d'une mesure extérieure[modifier | modifier le code]

Lorsque l'on dispose d'une mesure extérieure sur un ensemble , on peut en déduire une mesure définie sur un sous-ensemble de l'ensemble des parties de ; ce sous-ensemble est alors une tribu (ou σ-algèbre) sur .

Soit en effet une mesure extérieure définie sur . Définissons comme l'ensemble des parties de satisfaisant la condition suivante:

En somme, une partie de est dans si et seulement si elle divise toute partie de de manière additive du point de vue de la mesure extérieure .

On montre que l'ensemble ainsi défini est une tribu sur .

On définit alors comme la restriction de à . On montre que est une mesure sur l'espace mesurable , c'est-à-dire que la propriété de sous-additivité dénombrable de la mesure extérieure devient une additivité dénombrable, lorsque la famille de parties concernées sont deux à deux disjointes.

Référence[modifier | modifier le code]

(en) Vladimir Bogachev, Measure Theory, Springer, (ISBN 978-3-540-34513-8), p. 41