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

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 modifier

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  , 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 modifier

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   de parties d'un ensemble  .

On note   la fonction d'ensembles définie pour tout   par :

 

On note ensuite   l'ensemble des parties   de   qui vérifient la propriété suivante :

pour tout  ,  .

On note enfin   la restriction de   à  , et on l'appelle l'extension de Carathéodory de  .

Théorème — Soit   une mesure définie sur un anneau d'ensembles   de parties d'un ensemble  . Alors :

  •   est un espace mesuré ;
  • la mesure   est un prolongement de   ;
  • la mesure   est complète ;
  • si   est de surcroît σ-finie,   est la complétée de sa restriction à la tribu engendrée par   ;
  • si   est σ-finie, la restriction de   à la tribu engendrée par   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   est un anneau d'ensembles qui vérifie :
 

et si on note   la restriction de   à  ,  . En particulier,   ;

  • même lorsque   n'est pas σ-finie, pour tout   dans   il existe un   dans la tribu engendrée par   avec :
  et  

(on dit que   est une couverture mesurable de  ).

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 modifier

  1. Halsey Royden et Patrick Fitzpatrick, Real analysis, Prentice Hall, , 505 p. (ISBN 978-0-13-143747-0)
  2. Joseph L. Doob, Measure theory, Springer, (ISBN 978-0-387-94055-7) , p. 40
  3. Nancy Stokey (en), Robert E. Lucas et Edward C. Prescott, Recursive methods in economic dynamics, Harvard University Press, (ISBN 978-0-674-75096-8), p. 175
  4. On trouve un énoncé assez simple qui entraîne l'énoncé d'existence donné ici dans Olav Kallenberg (en), Foundations of modern probability, Springer, , 638 p. (ISBN 978-0-387-95313-7, lire en ligne), p. 26. L'énoncé d'unicité se trouve par exemple dans Achim Klenke, Probability theory, a comprehensive course, Springer, (ISBN 978-1-84800-047-6), 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, , 704 p. (ISBN 978-3-540-32696-0, lire en ligne), p. 379-387