Mesure (mathématiques)

Un article de Freepedia.

En mathématiques, une mesure est une fonction qui associe une « longueur », un « volume » ou encore une « probabilité » à certaines parties d'un ensemble donné. Il s'agit d'un important concept en analyse et en théorie des probabilités. Formellement, une mesure μ est une fonction qui associe à chaque élément S d'une σ-algèbre donnée X une valeur μ(S), qui est un réel positif ou l'infini. Les propriétés suivantes doivent être satisfaites :

• L'ensemble vide a une mesure nulle : <math>\mu\left(\emptyset\right)=0</math>,
• La mesure est σ-additive : si E₁, E₂… sont des ensembles appartenant à X, en quantité dénombrable et deux à deux disjoints et si E est leur réunion, alors la mesure μ(E) est égal à la somme ∑μ(E_k).

Entre autres, µ(E₁ ∪ E₂) = µ(E₁) + µ(E₂).

Si μ est une mesure sur la σ-algèbre X, alors un élément de X est dit μ-mesurable, ou plus simplement mesurable. Un ensemble Ω conjointement avec une σ-algèbre X sur Ω et une mesure μ sur X, forment ce que l'on appelle un espace mesuré, noté (Ω, X, μ).

Les propriétés suivantes peuvent être obtenues à partir des définitions précédentes :

• Si E₁ et E₂ sont deux ensembles mesurables tels que E₁ soit un sous-ensemble de E₂, alors μ(E₁) ≤ μ(E₂).
• 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).
• 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).

Un ensemble mesurable S est dit presque vide si μ(S) = 0. La mesure μ est dite complète si tout sous-ensemble d'un ensemble presque vide est mesurable (et est automatiquement lui-même presque vide).

Exemples

Voici quelques exemples importants de mesure :

• La mesure de dénombrement est définie par μ(S) = nombre d'éléments dans S.
• La mesure de Lebesgue est l'unique mesure complète invariante par translation sur une σ-algèbre contenant les intervalles de <math>\mathbb R</math> telle que μ([0,1]) = 1.
• La mesure de Haar pour un groupe topologique localement compact est une généralisation de la mesure de Lebesgue et a une propriété d'unicité similaire.
• La mesure nulle est définie par μ(S) = 0 pour tout S.
• Tout espace probabilisable permet de définir une mesure qui prend la valeur 1 sur l'univers tout entier (et ainsi prend toutes ses valeurs dans le segment [0, 1]). Une telle mesure est appelée une mesure de probabilité. Voir les axiomes des probabilités.

Généralisation

Dans certains cas, il est utile d'avoir une « mesure » dont les valeurs ne sont pas restreintes à des réels positifs et à l'infini. Par exemple, une fonction définie sur des ensembles σ-additive et qui prend des valeurs réelles est appelée une mesure signée, tandis qu'une telle fonction qui prend des valeurs complexes est appelée une mesure complexe. Une mesure qui prend des valeurs dans un espace de Banach est appelée une mesure spectrale ; celles-ci sont principalement utilisés en analyse fonctionnelle pour le théorème spectral.

Une autre généralisation est la notion de mesure additive. La définition est la même que celle d'une mesure sauf que la σ-additivité est remplacée par l'additivité finie. Historiquement, cette définition fut introduite en premier, mais s'avéra dans la pratique peu utile.

Le résultat remarquable en géométrie intégrale, connu sous le nom du théorème de Hadwiger affirme que l'espace des fonctionnelles invariantes par translation, additives, qui sont des fonctions d'ensembles pas forcément positives et définies sur des réunions d'ensembles compacts convexes dans <math>\mathbb R</math> est constitué (à un multiple scalaire près) de « mesures » qui sont homogènes de degré k pour chaque k = 0,1,2,...,n, et de combinaisons linéaires de ces « mesures ».

L'« homogénéité du degré k » signifie qu' « élargir » n'importe quel ensemble par n'importe quel facteur c>0 multiplie la « mesure » de l'ensemble par c^k. La seule qui soit homogène de degré n correspond au volume ordinaire en dimension n. La seule qui est homogène de degré n-1 représente le « volume de surface » et est appelée mesure superficielle. Celle qui est homogène de degré 1 est une fonction mystérieuse appelée la « largeur moyenne ». Celle qui est homogène de degré 0 est la caractéristique d'Euler.

Voir aussi

• métrologie
• Le Paradoxe de Banach-Tarski qui montre qu'il existe des parties de <math>\mathbb{R}</math> non mesurables.