Mesure simplement additive

En théorie de la mesure, une mesure simplement additive est une version faible d'une mesure : au lieu d'être sigma-additive comme la mesure classique, elle est additive seulement pour l'union d'un nombre fini d'ensembles disjoints. Elle correspond davantage à l'idée intuitive que l'on se fait de la notion de mesure de distance parcourue, de mesure de surface, de mesure de volume ou de mesure de poids.

En théorie de l'intégration, la notion de mesure simplement additive conduit à la notion d'intégrale de Riemann, alors que la notion de mesure sigma-additive conduit à la notion d'intégrale de Lebesgue.

Définition

Si E est un ensemble et $𝒞$ 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 $𝒞$ toute application Modèle:Mvar de $𝒞$ dans $[0,+\mathrm{\infty }[$ telle que pour toutes parties Modèle:Mvar et Modèle:Mvar disjointes et appartenant à $𝒞$ :Modèle:Retrait

Par exemple, dans $ℝ$, on peut définir une mesure simplement additive sur l'ensemble formé des unions finies d'intervalles bornés en posant : Modèle:Math, 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 posantModèle:Retrait

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

Mesure simplement additive et calcul d'aire

Modèle:Voir À 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, CModèle:Ind, et l'ensemble des unions finies de rectangles contenant S, CModèle:Ind. Si $\underset{A\in C_{\mathrm{i}\mathrm{n}\mathrm{t}}}{\sup }\mathrm{a}\mathrm{i}\mathrm{r}\mathrm{e}(A)=\underset{A\in C_{\mathrm{e}\mathrm{x}\mathrm{t}}}{\inf }\mathrm{a}\mathrm{i}\mathrm{r}\mathrm{e}(A)$, la portion de plan S est dite quarrable et son aire est égale à cette valeur commune.

Mesure simplement additive et intégrale de Riemann

Modèle:Loupe À 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 :

L'intégrale de Modèle:Mvar est alors la combinaison linéaire correspondante des longueurs d'intervalles Modèle:Retrait

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