CHAPITRE I Theorie abstraite de la mesure Ce chapitre est consacre a une exposition abstraite de la theorie de la mesure, dans une perspective resolument ensembliste ou une mesure est vue comme une fonc- tion definie sur les parties mesurables. Dans la section I-1, j'introduirai le concept d'espace mesure, sur lequel repose la theorie de Lebesgue. La section I-2 est consacree a des rappels de topologie, avec un accent particulier sur les notions les plus utiles en theorie de la mesure. La section I-3 recense les principales proprietes de “regularite” dont peuvent etre dotes les espaces mesures. Dans la section I-4 se trouvent l'enonce et la demonstration de l'important theoreme de prolongement de Caratheodory, outil-cle de la construction de nombreuses mesures. Cette section est l'occasion de developpements plus avances, tels que l'enonce du theoreme d'existence de Kolmo- gorov sur des produits infinis (dont la demonstration est remise au Chapitre III). La section I-5 etudie l'operation de completion d'une mesure. Enfin, la section I-7 est consacree a l'etude de recouvrements par de petites boules ; son interet principal apparaıtra beaucoup plus tard, dans le Chapitre ??. Seule la section I-1 est indispensable a la comprehension de la suite du cours ; toutes les autres pourront etre omises en premiere lecture, et consultees quand le besoin s'en fera sentir.
- cylindre elementaire
- famille finie d'elements
- denombrable d'intervalles ouverts
- espace mesurable
- algebres
- oi ?
- volume
- union finie
- atj dans atj