Mesure extérieure

Modèle:Ébauche 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

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

$\phi :𝒫(X)\to [0,+\mathrm{\infty }]$

qui vérifie les trois conditions suivantes :

• L'ensemble vide est de mesure extérieure nulle :

$\phi (\varnothing )=0$

• Monotonie : Pour toutes parties $A$ et $B$ de $X$,

$A\subset B\Rightarrow \phi (A)\le \phi (B).$

• Sous-additivité dénombrable : Pour toute suite $(A_j{)}_{j\ge 1}$ de parties de $X$,

$\phi \left(\bigcup _{j=1}^{\mathrm{\infty }}{A}_j\right)\le \sum _{j=1}^{\mathrm{\infty }}\phi (A_j).$

Construction d'une mesure à partir d'une mesure extérieure

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

Soit en effet $\varphi$ une mesure extérieure définie sur $𝒫(X)$. Définissons $𝒜\subseteq 𝒫(X)$ comme l'ensemble des parties $E$ de $X$ satisfaisant la condition suivante:

• $\mathrm{\forall }F\subseteq X,\varphi (F)=\varphi (F\cap E)+\varphi (F\mathrm{\setminus }E)$

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

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

On définit alors $\mu$ comme la restriction de $\varphi$ à $𝒜$. On montre que $\mu$ est une mesure sur l'espace mesurable $(X,𝒜)$, 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

Modèle:Ouvrage, p. 41