CHAPITRE II Integration selon Lebesgue et selon Riesz Dans ce chapitre, nous allons definir l'integrale de Lebesgue pour une large classe de fonctions, que nous appellerons sommables au sens de Lebesgue. Nous nous pla- cerons dans un cadre abstrait, qui inclura comme cas particulier l'integration des fonctions continues. Le point de depart sera la notion de fonction mesurable, intro- duite dans la section II-1 ; on definira ensuite l'integrale dans la section II-2, et on verifiera dans la section II-3 qu'elle constitue une forme lineaire. Il existe un autre point de vue pour l'integration, qui consiste a prendre les fonc- tions continues comme point de depart. Le theoreme de Riesz, qui est l'objet de la section II-4, assure que ces deux points de vue sont equivalents (modulo quelques subtilites), sous certaines hypotheses topologiques sur l'espace ambiant. La plus res- trictive de ces hypotheses est la condition de compacite locale, qui est satisfaite par Rn ou par n'importe quelle variete Riemannienne de dimension finie, mais mise en defaut par de nombreux espaces interessants, au premier rang desquels se trouve l'espace de Wiener. Ce chapitre se conclut par quelques mots sur l'integration a valeurs vectorielles, qui sera abordee plus en detail dans un chapitre ulterieur. II-1. Fonctions mesurables On cherche a definir une large classe de fonctions susceptibles d'etre integrees, que nous appellerons fonctions mesurables.
- union denombrable des intervalles
- union
- union denombrable d'intersections denombrables d'unions denombrables de fermes
- espaces topologiques
- integration selon lebesgue et selon riesz
- fonc- tions continues
- espace mesurable
- application continue