Mesure (mathématique)


Mesure (mathématique)

Mesure (mathématiques)

Page d'aide sur l'homonymie Pour les articles homonymes, voir mesure.

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 vérifiées :

  • L'ensemble vide a une mesure nulle : \mu\left(\emptyset\right)=0,
  • La mesure est σ-additive : si E1, E2, … 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 égale à la somme \sum_{k=1}^{\infty}\mu(E_{k}).

Entre autres, µ(E1E2) = µ(E1) + µ(E2).

Lorsque μ est une mesure sur la σ-algèbre X, 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 axiomes précédents :

  • Si E1 et E2 sont deux ensembles mesurables tels que E1 est un sous-ensemble de E2, alors μ(E1) ≤ μ(E2).
  • Si E1, E2, E3, ... sont des ensembles mesurables et si En est un sous-ensemble de En+1 pour tout n, alors la réunion E des ensembles En est mesurable et μ(E) = lim μ(En).
  • Si E1, E2, E3, ... sont des ensembles mesurables et si, pour tout n, En+1 est un sous-ensemble de En, alors l'intersection E des ensembles En est mesurable ; de plus, si au moins l'un des ensembles En a une mesure finie, alors μ(E) = lim μ(En).

Un ensemble S est dit presque vide ou négligeable lorsqu'il est inclus dans une partie mesurable T telle μ(T) = 0. La mesure μ est dite complète lorsque tout sous-ensemble d'un ensemble presque vide est mesurable (un tel sous-ensemble est automatiquement lui-même presque vide).

Exemples

Voici quelques exemples importants de mesure :

  • La mesure nulle est définie par μ(S) = 0 pour tout S.
  • La mesure de dénombrement (ou de comptage) 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 \mathbb R 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 de Hausdorff utilisée dans le monde des fractales.
  • La mesure de Dirac μa défini par μa(S) = χS(a), où χS la fonction indicatrice de S. La mesure d'un ensemble est égale à 1 si celui-ci contient le point a et à 0 sinon.
  • Un espace probabilisable est un espace mesuré sur lequel il existe 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é. L'espace probabilisable, une fois muni d'une telle mesure, est un espace probabilisé. 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 aux réels positifs et à l'infini. Par exemple, une fonction σ-additive définie sur des ensembles et qui prend des valeurs réelles est appelée mesure signée, tandis qu'une telle fonction qui prend des valeurs complexes est appelée mesure complexe. Une mesure qui prend des valeurs dans un espace de Banach est appelée 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 ou moyenne. 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. Cette notion est utile pour étudier le paradoxe de Banach-Tarski et ses généralisations.

Un 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 \mathbb R, 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 ck. 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.

Articles connexes


  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Mesure (math%C3%A9matiques) ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Mesure (mathématique) de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • mathématique — (ma tè ma ti k ) 1°   Adj. qui a rapport à la science des nombres, des figures et des mouvements. Vérité mathématique. Langage mathématique. •   Quoi qu il eût été fort répandu dans le monde, sa simplicité et son ingénuité naturelle n en avaient… …   Dictionnaire de la Langue Française d'Émile Littré

  • mathématique — [ matematik ] adj. et n. f. • 1265; lat. mathematicus, gr. mathêmatikos « scientifique », de mathêma « science » I ♦ Adj. 1 ♦ Relatif aux mathématiques, à la mathématique (cf. ci dessous, II); qui utilise les mathématiques, s exprime par elles.… …   Encyclopédie Universelle

  • MESURE — DÈS qu’un phénomène d’apparence bien définie est justiciable d’une quantification, de manière répétable et suffisamment précise, il est considéré comme une grandeur . On peut caractériser son état ou son intensité par un nombre ou valeur et faire …   Encyclopédie Universelle

  • MESURE - Mesures électriques et électroniques — Les mesures électriques et électroniques, grâce à l’apport des semiconducteurs, des méthodes numériques et des systèmes asservis, apparaissent à l’heure actuelle comme une technique clé dans le domaine des mesures en général. L’existence de… …   Encyclopédie Universelle

  • Mathematique — Mathématiques Les mathématiques constituent un domaine de connaissances abstraites construites à l aide de raisonnements logiques sur des concepts tels que les nombres, les figures, les structures et les transformations. Les mathématiques… …   Wikipédia en Français

  • Mathématique — Mathématiques Les mathématiques constituent un domaine de connaissances abstraites construites à l aide de raisonnements logiques sur des concepts tels que les nombres, les figures, les structures et les transformations. Les mathématiques… …   Wikipédia en Français

  • Mathématique en Egypte antique — Mathématiques dans l Égypte antique Cet article fait partie de la série Sciences dans l Égypte antique Mathématiques Géométrie Unités de mesure Chiffres Fraction …   Wikipédia en Français

  • Mathématique en Égypte antique — Mathématiques dans l Égypte antique Cet article fait partie de la série Sciences dans l Égypte antique Mathématiques Géométrie Unités de mesure Chiffres Fraction …   Wikipédia en Français

  • Mesure physique — Pour les articles homonymes, voir Mesure. La mesure physique est l estimation ou la détermination d une dimension spécifique (longueur, capacité, etc.), habituellement en relation avec un étalon (ou standard en anglais) ou une unité de mesure. Le …   Wikipédia en Français

  • Mesure de probabilité — Axiomes des probabilités Dans la théorie des probabilités, une mesure de probabilité (ou plus brièvement probabilité) est une application qui à un évènement quelconque lié à l expérience aléatoire associe un nombre réel (noté ) définie de telle… …   Wikipédia en Français


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.