Intégration

\(\newcommand{\K}{\mathbb{K}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Proba}{\mathbb{P}} \renewcommand{\L}{\mathscr L} \newcommand{\B}{\mathscr B} \newcommand{\T}{{\mathscr T}} \newcommand{\S}{{\mathscr S}} \newcommand{1}{{\mathds{1}}} \newcommand{\M}{\mathcal M} \newcommand{\P}{\mathcal P} \newcommand{\Pp}{\mathbb P} \newcommand{\O}{\mathcal O} \newcommand{\Q}{\mathbb{Q}} \newcommand{\N}{\mathbb{N}} \newcommand{\R}{\mathbb{R}} \newcommand{\Rb}{\overline{\mathbb{R}}} \newcommand{\C}{\mathcal{C}} \newcommand{\del}{\partial} \newcommand{\lbb}{\,] \,} \newcommand{\rbb}{\,[ \,} \DeclareMathOperator{\Tr}{Tr} \DeclareMathOperator{\Jac}{Jac} \DeclareMathOperator{\rg}{rg} \DeclareMathOperator{\Ker}{Ker} \DeclareMathOperator{\Id}{Id} \DeclareMathOperator{\Image}{Im} \DeclareMathOperator{\Card}{Card} \DeclareMathOperator{\vect}{Vect} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \definecolor{fillinmathshade}{gray}{0.9} \newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}} \)

Chapitre 7 Intégration

Enfin, nous y sommes ! Nous avons un équivalent lebesguien des outils classiques de l'intégrale de Riemann:

Table 7.0.1.

Riemann	Lebesgue
Intervalles	Ensembles mesurables
Longueur	Mesure
Fonctions en escalier	Fonctions étagées
Fonctions Riemann-intégrables	Fonctions mesurables ?

Malheureusement, les choses ne sont pas si simples: la dernière ligne du tableau, notamment, ne marche que pour les fonctions à valeurs réelles positives (ou, éventuellement, infinie). On va donc commencer par là.

Dans tout ce chapitre, $(X,\mathscr T)$ désigne un espace mesurable.