Mesure simplement additive

Si E est un ensemble et ${\displaystyle {\mathcal {C}}}$ un clan de E, c'est-à-dire un ensemble non vide de parties de E stable par union finie et par différence, on appelle mesure simplement additive sur ${\displaystyle {\mathcal {C}}}$ toute application f de ${\displaystyle {\mathcal {C}}}$ dans ${\displaystyle [0,+\infty [}$ telle que pour toutes parties A et B disjointes et appartenant à ${\displaystyle {\mathcal {C}}}$ :${\displaystyle f(A\cup B)=f(A)+f(B)}$.

Par exemple, dans ${\displaystyle \mathbb {R} }$, on peut définir une mesure simplement additive sur l'ensemble formé des unions finies d'intervalles bornés en posant : L(I) = b – a, où a et b sont les bornes inférieure et supérieure de I. Cette mesure est appelée longueur de l'intervalle I. On définit la longueur d'une union d'intervalles disjoints comme la somme des longueurs de chaque intervalle.

On peut de même définir, dans un plan muni d'un repère orthonormé, une mesure de surface sur les unions finies de rectangles dont les côtés sont parallèles aux axes, en posantaire(rectangle de côtés x et y) = x × y.

Si U est un ensemble fini, une probabilité p sur U est une mesure simplement additive de l'ensemble des parties de U à valeurs dans [0,1] vérifiant p(U)=1

À partir de la mesure de surface sur les unions finies de rectangles, on peut définir la mesure de portions du plan dites quarrables

Pour une partie donnée S du plan, on observe l'ensemble des unions finies de rectangles contenues dans S, C_int, et l'ensemble des unions finies de rectangles contenant S, C_ext. Si ${\displaystyle \sup _{A\in C_{\mathrm {int} }}\mathrm {aire} (A)=\inf _{A\in C_{\mathrm {ext} }}\mathrm {aire} (A)}$, la portion de plan S est dite quarrable et son aire est égale à cette valeur commune.

À partir de la mesure de longueur d'intervalle, on peut définir une mesure sur l'ensemble des fonctions en escalier (ou fonction étagée simple). Une fonction en escalier est une combinaison linéaire de fonctions caractéristiques d'intervalles bornés :

${\displaystyle f(x)=\sum _{k=1}^{N}a_{k}\chi _{I_{k}}(x)}$.

L'intégrale de f est alors la combinaison linéaire correspondante des longueurs d'intervalles ${\displaystyle \int f=\sum _{k=1}^{N}a_{k}L(I_{k})}$.

On étend ensuite cette notion à l'ensemble des fonctions dites intégrables au sens de Riemann. Pour une fonction f donnée sur un segment [a, b], on considère l'ensemble F_inf des fonctions en escalier sur [a, b] majorées par f et l'ensemble F_sup des fonctions en escalier sur [a, b] minorées par f. Si ${\displaystyle \sup _{g\in F_{\inf }}\int g=\inf _{g\in F_{\sup }}\int g}$, la fonction f est dite intégrable et son intégrale est égale à cette valeur commune.

André Revuz, « Intégration et mesure », dans Encyclopædia Universalis, vol. 12, juin 1990, p. 406-408