exo7 5928

Le but de cet exercice est de prouver le Théorème de Carathéodory.

Définition. Une mesure extérieure sur un ensemble Ω\Omega est une application m∗ :P(Ω)→[0,+∞]m_*~:\mathcal{P}(\Omega) \rightarrow [0,+\infty] telle que

1

[(i)] m∗(∅)=0 ;m_*(\emptyset) = 0~;

2

[(ii)] (monotonie) A⊂B⇒m∗(A)≤m∗(B) ;A \subset B \Rightarrow m_*(A) \leq m_*(B)~;

3

[(iii)] (σ\sigma-sous-additivité) Pour toute suite d’ensembles {Ai}i∈N∗⊂P(Ω)\{ A_{i} \}_{i\in\mathbb{N}^*} \subset \mathcal{P}(\Omega) on a m∗(⋃i=1∞Ai)≤∑i=1∞m∗(Ai).m_{*}\left(\bigcup_{i=1}^{\infty} A_{i} \right) \leq \sum_{i=1}^{\infty} m_{*}(A_{i}).

Exercice h7bg

Signaler une erreur

  1. Problème
  2. Précisions
  3. Envoi
Quel est le problème ?