Mesure (mathématiques)

De façon informelle, une mesure a la propriété d'être monotone : si l'ensemble E est un sous-ensemble de F, la mesure de E est inférieure ou égale à celle de F. De plus, on impose à la mesure de l'ensemble vide la valeur 0.

En mathématiques, une mesure positive (ou simplement mesure quand il n'y a pas de risque de confusion) est une fonction qui associe une grandeur numérique à certains sous-ensembles d'un ensemble donné. Il s'agit d'un important concept en analyse et en théorie des probabilités.

Intuitivement, la mesure d'un ensemble ou sous-ensemble est similaire à la notion de taille, ou de cardinal pour les ensembles discrets. Dans ce sens, la mesure est une généralisation des concepts de longueur, aire ou volume dans des espaces de dimension 1, 2 ou 3 respectivement.

L'étude des espaces munis de mesures est l'objet de la théorie de la mesure.

Définition

Définition — Soit $(X,{\mathcal {A}})$ un espace mesurable, c'est-à-dire, un couple $(X,{\mathcal {A}}),$ où $X$ est un ensemble et ${\mathcal {A}}$ est une tribu sur $X$ . Une application $\mu$ définie sur ${\mathcal {A}}$ à valeurs dans $[0,+\infty ]$ est appelée mesure lorsque les deux propriétés suivantes sont satisfaites :

L'ensemble vide a une mesure nulle, autrement dit, $\mu \left(\varnothing \right)=0$ .
L'application $\mu$ est σ-additive, c'est-à-dire que, si $E_{1},E_{2},\dots$ est une famille dénombrable de parties de $X$ appartenant à ${\mathcal {A}}$ et si ces parties sont deux à deux disjointes alors,

\mu \left(\bigsqcup _{k=1}^{\infty }E_{k}\right)=\sum _{k=1}^{\infty }\mu (E_{k})

.

Terminologies connexes

Lorsqu'on dispose d'une mesure μ sur un espace mesurable $(X,{\mathcal {A}})$ , on dit que le triplet $(X,{\mathcal {A}},\mu )$ est un espace mesuré^[1] ;
Pour S ensemble mesurable (c'est-à-dire pour $S\in {\mathcal {A}}$ ), la valeur μ(S) est appelée la mesure de S^[2] ;
Lorsque μ(X) est fini, on parle de mesure finie ou mesure bornée^[3] ;
Lorsque μ(X) = 1, on parle de mesure de probabilité. Le triplet $(X,{\mathcal {A}},\mu )$ est alors appelé un espace probabilisé. Voir pour ce cadre l'article axiomes des probabilités^[3].
Lorsqu'il existe un recouvrement dénombrable de X par des sous-ensembles de mesure finie, c'est-à-dire, plus formellement, lorsqu'il existe une suite $(E_{n})_{n\in \mathbb {N} }$ d'éléments de la tribu, tous de mesure finie, avec

X=\bigcup _{n\in \mathbb {N} }E_{n}

,

on parle de mesure σ-finie^[4]. Quitte à remplacer chaque

E_{k}

par

E_{0}\cup \ldots \cup E_{k},

on peut supposer que la suite de sous-ensembles figurant dans la définition est croissante pour l'inclusion^[5].

Un sous-ensemble S de X est dit négligeable lorsqu'il est inclus dans un T appartenant à la tribu ${\mathcal {A}}$ et de mesure nulle^[6].
La mesure μ est dite complète lorsque tout ensemble négligeable appartient à la tribu ${\mathcal {A}}$ ^[7].
Fonction mesurable.

Propriétés

Les propriétés suivantes s'obtiennent sans mal à partir des axiomes précédents^[8] :

Additivité : Si E₁ et E₂ sont deux ensembles mesurables disjoints, µ(E₁ ∪ E₂) = µ(E₁) + µ(E₂).
Monotonie : Si E₁ et E₂ sont deux ensembles mesurables tels que E₁ est un sous-ensemble de E₂, alors μ(E₁) ≤ μ(E₂).
Continuité à gauche : Si E₁, E₂, E₃, … sont des ensembles mesurables et si E_n est un sous-ensemble de E_n+1 pour tout n, alors la réunion E des ensembles E_n est mesurable et μ(E) = lim μ(E_n).
Continuité à droite : Si E₁, E₂, E₃, … sont des ensembles mesurables et si, pour tout n, E_n+1 est un sous-ensemble de E_n, alors l'intersection E des ensembles E_n est mesurable ; de plus, si au moins l'un des ensembles E_n a une mesure finie, alors μ(E) = lim μ(E_n).

Exemples

Voici quelques exemples importants de mesure :

la mesure de dénombrement (ou mesure de comptage) est définie par μ(S) = nombre d'éléments dans S^[9] ;
la mesure de Dirac μ_a associée à un point a de X est définie par μ_a(S) = χ_S(a), où χ_S est la fonction indicatrice de S. En d'autres termes, la mesure d'un ensemble est égale à 1 si celui-ci contient le point a et à 0 sinon ;
la mesure de densité une fonction mesurable positive ƒ par rapport à une autre mesure positive μ est souvent notée ƒ.μ ;
la mesure de Lebesgue (restreinte aux boréliens) est l'unique mesure invariante par translation définie sur la tribu borélienne de ℝ et telle que μ([0,1]) = 1 ;
la mesure de Haar sur un groupe topologique localement compact est une généralisation de la mesure de Lebesgue, également caractérisée par une propriété d'invariance.

Généralisations

Il existe principalement trois manières, détaillées par la suite, de généraliser la notion de mesure. La première consiste à alléger la structure de tribu sur laquelle est définie la mesure, la seconde consiste à alléger l'hypothèse de σ-additivité et la troisième consiste à agrandir l'espace dans lequel la mesure prend ses valeurs.

Dans certains contextes, il est agréable de disposer d'une définition plus générale de mesure pour énoncer brièvement divers résultats. C'est le cas, par exemple, lorsque l'on cherche à construire une mesure, au sens classique, par extension d'une fonction σ-additivite définie sur un ensemble qui n'est pas une tribu. Selon les sources le mot « mesure » est employé pour des fonctions vérifiant la propriété de σ-additivité sur des algèbres d'ensembles, anneaux d'ensembles voire semi-anneaux d'ensembles qui sont plus généraux que les tribus. Plus précisément, on pourra utiliser la définition suivante^[10] :

Définition — Soit $X$ un ensemble et ${\mathcal {C}}$ un ensemble de parties de $X$ contenant l'ensemble vide. Une application $\mu$ définie sur ${\mathcal {C}}$ à valeurs dans $[0,+\infty ]$ est appelée mesure lorsque les deux propriétés suivantes sont satisfaites :

L'ensemble vide a une mesure nulle, autrement dit, $\mu \left(\varnothing \right)=0$ .
L'application $\mu$ est σ-additive, c'est-à-dire que, si $E_{1},E_{2},\dots$ est une famille dénombrable de parties de $X$ appartenant à ${\mathcal {C}}$ , si ces parties sont deux à deux disjointes et si leur réunion E est aussi un élément de ${\mathcal {C}}$ , alors la mesure μ(E) de cette réunion est égale à la somme des mesures des parties, en somme,

\mu \left(\bigsqcup _{k=1}^{\infty }E_{k}\right)=\sum _{k=1}^{\infty }\mu (E_{k})

.

Les mesures simplement additives généralisent la notion de mesure dans le sens ou la σ-additivité est remplacée par l'additivité finie. De plus, il n'est plus nécessaire que l'ensemble de définition soit une tribu. Il est en général seulement supposé que cet ensemble soit un anneau d'ensemble. La densité asymptotique est un exemple de fonction vérifiant l'additivité finie. Il faut cependant faire attention car l'ensemble des parties d'entiers qui ont une densité asymptotique définie n'est pas stable par union finie, ce n'est donc pas un anneau d'ensembles.
Dans certains cas, il est utile d'avoir une « mesure » dont les valeurs ne sont pas restreintes aux réels positifs et à l'infini. Une fonction σ-additive définie sur une tribu qui prend des valeurs dans la droite réelle achevée, dans le plan complexe, dans un espace de Banach est appelée, respectivement, mesure signée, mesure complexe, mesure vectorielle. Un cas particulier important de mesures vectorielles étant les mesures spectrales qui sont utilisées notamment en analyse fonctionnelle dans le théorème spectral.

Notes et références

↑ Briane et Pagès 2000 utilisent le terme p. 90 ou p. 97, entre autres.
↑ (en) Martin Väth, Integration Theory : A Second Course, World Scientific, 2002, 277 p. (ISBN 978-981-238-115-6), p. 8.
↑ ^{a et b} Marc Briane et Gilles Pagès, Théorie de l'intégration, Vuibert, coll. « Les grands cours Vuibert », octobre 2000, 2^e éd., 302 p. (ISBN 978-2-7117-8946-7), p. 61
↑ (en) Achim Klenke, Probability Theory : A Comprehensive Course, Springer, 2008 (ISBN 978-1-84800-047-6), p. 12.
↑ Ainsi par exemple Briane et Pagès 2000, p. 195, posent cette condition à première vue supplémentaire dans la définition de la σ-finitude.
↑ Briane et Pagès 2000, p. 90.
↑ Briane et Pagès 2000, p. 255.
↑ Briane et Pagès 2000, p. 63-64.
↑ Briane et Pagès 2000, p. 62.
↑ La définition qui suit est celle donnée dans (en) Inder K. Rana, An Introduction to Measure and Integration, AMS Bookstore, 2002, 424 p. (ISBN 978-0-8218-2974-5, lire en ligne), définition 3.3.1, p. 59. D'autres auteurs parlent plutôt de « prémesure » dans ces contextes plus généraux, ainsi Klenke 2008, p. 12 (lorsque la classe ${\mathcal {C}}$ est un anneau d'ensembles).