Théorème d'extension de Carathéodory

Théorème d'extension de Carathéodory
Page d'aide sur l'homonymie Ne pas confondre avec le théorème de Carathéodory en géométrie.

En théorie de la mesure, le théorème d'extension de Carathéodory est un théorème fondamental, qui est à la base de la construction de la plupart des mesures usuelles. Constitué par généralisation à un cadre abstrait des idées fondant la construction de la mesure de Lebesgue, et exposé sous diverses variantes, il est également mentionné par certains auteurs sous les noms de théorème de Carathéodory-Hahn[1] ou théorème de Hahn-Kolmogorov[2] (certaines sources distinguent un théorème de Carathéodory qui est l'énoncé d'existence, et un théorème de Hahn qui est l'énoncé d'unicité[3]).

Une forme simple du théorème

Le théorème est donné sous de multiples variantes, plus ou moins longues selon qu'on reporte dans l'énoncé une plus ou moins grande partie des informations que la démonstration apporte. Pour référence rapide, voici une forme courte du théorème[4].

Dans cet article, on entend par « mesure » sur une classe d'ensembles contenant le vide une application de cette classe vers [0,+\infty], nulle sur le vide et σ-additive[5].

Théorème d'extension de Carathéodory — 

Toute mesure sur un anneau d'ensembles admet au moins un prolongement à la tribu engendrée par cet anneau.

Si la mesure sur l'anneau est sigma-finie, ce prolongement est unique.

Une version plus élaborée

Il peut être utile d'en savoir davantage que le simple énoncé d'existence de l'extension de Carathéodory et de garder mémoire du procédé de construction de celle-ci, avec quelques informations supplémentaires sur le prolongement[6].

Notations et définition — Soit μ une mesure définie sur un anneau d'ensembles \mathcal{R} de parties d'un ensemble X.

On note μ * la fonction d'ensembles définie pour tout A\in\mathcal{P}(X) par :

\mu^*(A)=\mathrm{inf}\{\sum_{k=1}^{+\infty}\mathrm{\mu}\,(E_k)\,\mid\,E_k\in\mathcal{R},\,A\subset\bigcup_{k=1}^{+\infty}E_k\}.

On note ensuite \mathcal{M}_\mu l'ensemble des parties A de X qui vérifient la propriété suivante :

pour tout E\subset X, \mu^*(E\cap A)+\mu^*(E\setminus A)=\mu^*(E).

On note enfin \overline\mu la restriction de μ * à \mathcal{M}_\mu, et on l'appelle l'extension de Carathéodory de μ.

Théorème — Soit μ une mesure définie sur un anneau d'ensembles \mathcal{R} de parties d'un ensemble X. Alors :

  • la mesure \overline\mu est un prolongement de μ ;
  • si μ est σ-finie, la restriction de \overline\mu à la tribu engendrée par \mathcal{R} est l'unique prolongement de μ à cette tribu engendrée.

on pourra également retenir les compléments suivants au théorème, qui sont plus techniques :

Compléments — 

  • Si \mathcal{R}_1 est un anneau d'ensembles qui vérifie :
\mathcal{R}\subset\mathcal{R}_1\subset\mathcal{M}_\mu

et si on note ν la restriction de \overline\mu à \mathcal{R}_1, ν * = μ * . En particulier, \overline{\overline\mu}=\overline\mu ;

  • même lorsque μ n'est pas σ-finie, pour tout B dans \mathcal{M}_\mu il existe un A dans la tribu engendrée par \mathcal{R} avec :
B\subset A et \overline\mu(B)=\overline\mu(A)

(on dit que A est une couverture mesurable de B).

Il est possible de remplacer « anneau d'ensembles » par « semi-anneau d'ensembles » dans les énoncés qui précèdent. La technique d'extension d'une mesure d'un semi-anneau à l'anneau engendré est beaucoup moins sophistiquée que la construction étudiée ici ; elle ne sera pas évoquée dans cet article, et on renverra le lecteur à l'article « semi-anneau d'ensembles » pour des détails sur cette première phase éventuelle d'extension.

Notes et références

  1. Halsey Royden et Patrick Fitzpatrick, Real analysis, Prentice Hall, 2010 (ISBN 9780131437470) 
  2. Joseph L. Doob, Measure theory, Springer, 1994 (ISBN 9780387940557)  , p. 40
  3. Nancy L. Stokey, Robert E. Lucas, Edward C. Prescott, Recursive methods in economic dynamics, Harvard University Press, 1989 (ISBN 9780674750968) , p. 175
  4. On trouve un énoncé assez simple qui entraîne l'énoncé d'existence donné ici dans Olav Kallenberg, Foundations of modern probability, Springer, 2002 (ISBN 9780387953137) , p. 26. L'énoncé d'unicité se trouve par exemple dans Achim Klenke, Probability theory, a comprehensive course, Springer, 2008 (ISBN 9781848000476) , p. 19
  5. On trouvera cette définition exposée de façon moins concise à l'article « mesure », section « Généralisation ».
  6. Pour l'ensemble de la section, voir Charalambos D. Aliprantis et Kim C. Border, Infinite Dimensional Analysis: A Hitchhiker's Guide, Springer, 2007 (ISBN 9783540326960) , p. 379-387

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème d'extension de Carathéodory de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Théorème de Carathéodory (géométrie) —  Ne pas confondre avec le théorème d extension de Carathéodory. Le théorème de Carathéodory est un théorème de géométrie relatif aux enveloppes convexes dans le contexte des espaces affines de dimension finie. Sommaire 1 Énoncé …   Wikipédia en Français

  • Theoreme de Cauchy-Lipschitz — Théorème de Cauchy Lipschitz Pour les articles homonymes, voir Cauchy. Cauchy développe une première version du théorème de l article. Le …   Wikipédia en Français

  • Théorème de Picard-Lindelöf — Théorème de Cauchy Lipschitz Pour les articles homonymes, voir Cauchy. Cauchy développe une première version du théorème de l article. Le …   Wikipédia en Français

  • Théorème de cauchy-lipschitz — Pour les articles homonymes, voir Cauchy. Cauchy développe une première version du théorème de l article. Le …   Wikipédia en Français

  • Theoreme de Hahn-Banach — Théorème de Hahn Banach Ce théorème, auquel a été donné le nom des deux mathématiciens Hans Hahn et Stefan Banach, garantit l existence d une forme linéaire vérifiant certaines conditions (valeurs imposées sur une partie de l espace, mais… …   Wikipédia en Français

  • Théorème de hahn-banach — Ce théorème, auquel a été donné le nom des deux mathématiciens Hans Hahn et Stefan Banach, garantit l existence d une forme linéaire vérifiant certaines conditions (valeurs imposées sur une partie de l espace, mais limitées partout). En… …   Wikipédia en Français

  • Theoreme de Minkowski — Théorème de Minkowski En mathématiques, le théorème de Minkowski est un résultat concernant la géométrie des réseaux. Il relie le nombre de points du réseau contenu dans une partie convexe symétrique au volume fondamental du réseau. Ce théorème… …   Wikipédia en Français

  • Théorème de minkowski — En mathématiques, le théorème de Minkowski est un résultat concernant la géométrie des réseaux. Il relie le nombre de points du réseau contenu dans une partie convexe symétrique au volume fondamental du réseau. Ce théorème est utilisé en théorie… …   Wikipédia en Français

  • Théorème de Hahn-Banach — En mathématiques, et plus particulièrement en analyse et en géométrie, le théorème de Hahn Banach, dû aux deux mathématiciens Hans Hahn et Stefan Banach, garantit l existence d une forme linéaire vérifiant certaines conditions (valeurs imposées… …   Wikipédia en Français

  • Théorème de Minkowski — En mathématiques, le théorème de Minkowski est un résultat concernant la géométrie des réseaux. Il relie le nombre de points du réseau contenu dans une partie convexe symétrique au volume fondamental du réseau. Ce théorème est utilisé en théorie… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”