Mesure (mathématiques)

Mesure (mathématiques)
Page d'aide sur l'homonymie Pour les articles homonymes, voir mesure.
Pour une introduction à cette notion, consulter l'article : Superficie.

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 « longueur », un « volume » ou encore une « probabilité » à certaines parties d'un ensemble donné X. Il s'agit d'un important concept en analyse et en théorie des probabilités.

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

Sommaire

Définition

Formellement, une mesure μ est une fonction qui associe à chaque élément S d'une σ-algèbre (ou tribu) \scriptstyle\ \mathcal{A}\  de parties de X une valeur μ(S), qui est un réel positif ou l'infini.

Définition — Soit \scriptstyle\ (X,\mathcal{A}), un espace mesurable (i.e. un couple \scriptstyle\ (X,\mathcal{A}),\scriptstyle\ X\ est un ensemble et \scriptstyle\ \mathcal{A}\ est une tribu sur \scriptstyle\ X).

Une application μ définie sur \scriptstyle\ \mathcal{A},\  à valeurs dans \scriptstyle\ [0,+\infty],\  est appelée mesure lorsque les deux propriétés suivantes sont satisfaites :

  • L'ensemble vide a une mesure nulle :
\mu\left(\varnothing\right)=0,
  • L'application μ est σ-additive : si E1, E2, … est une famille dénombrable de parties de X appartenant à \scriptstyle\  \mathcal{A},\ et si ces parties sont deux à deux disjointes, alors la mesure μ(E) de leur réunion E est égale à la somme des mesures des parties :
\mu\left(\bigcup_{k=1}^{\infty}E_{k}\right)=\sum_{k=1}^{\infty}\mu(E_{k}).[1]

Terminologies connexes

  • Lorsqu'on dispose d'une mesure μ sur un espace mesurable \scriptstyle\ (X,\mathcal{A}), on dit que le triplet \scriptstyle\ (X,\mathcal{A},\mu) est un espace mesuré[2] ;
  • Pour S ensemble mesurable (c'est-à-dire pour \scriptstyle\ S\in\mathcal{A}), la valeur μ(S) est appelée la mesure de S[3] ;
  • Lorsque μ(X) est fini, on parle de mesure finie ou mesure bornée[1] ;
  • 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 \scriptstyle\ (E_n)_{n\in\N}\ d'éléments de la tribu, tous de mesure finie, avec
X=\bigcup_{n\in\N}E_n,
on parle de mesure \scriptstyle\sigma-finie[4]. Quitte à remplacer chaque \scriptstyle\ E_k par \scriptstyle\ 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].

Propriétés

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

  • Additivité : Si E1 et E2 sont deux ensembles mesurables disjoints, µ(E1E2) = µ(E1) + µ(E2).
  • Monotonie : Si E1 et E2 sont deux ensembles mesurables tels que E1 est un sous-ensemble de E2, alors μ(E1) ≤ μ(E2).
  • Continuité à gauche : 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).
  • Continuité à droite : 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).

Exemples

Voici quelques exemples importants de mesure :

Généralisation

Dans certains contextes, notamment pour exposer la construction de mesures à partir de leurs valeurs sur des classes d'ensembles plus petites que des tribus, il est agréable de disposer d'une définition plus générale pour énoncer brièvement divers résultats ; selon les sources le mot « mesure » est employé pour des fonctions vérifiant la propriété d'additivité dénombrable sur des algèbres d'ensembles, anneaux d'ensembles voire semi-anneaux d'ensembles. Plus généralement, on pourra donc poser[10] :

Définition — Soit \scriptstyle X un ensemble et \scriptstyle\mathcal{C} un ensemble de parties de \scriptstyle X contenant l'ensembe vide :

Une application μ définie sur \scriptstyle\ \mathcal{C}\  à valeurs dans \scriptstyle\ [0,+\infty],\  est appelée mesure lorsque les deux propriétés suivantes sont satisfaites :

  • L'ensemble vide a une mesure nulle :
\varnothing\in\mathcal{C}\quad\mathrm{et}\quad\mu\left(\varnothing\right)=0,
  • L'application μ est σ-additive : si E1, E2, … est une famille dénombrable de parties de X appartenant à \scriptstyle\  \mathcal{C}\ , si ces parties sont deux à deux disjointes et si leur réunion E est aussi un élément de \scriptstyle\ \mathcal{C}\  , alors la mesure μ(E) de cette réunion est égale à la somme des mesures des parties :
\mu\left(\bigcup_{k=1}^{\infty}E_{k}\right)=\sum_{k=1}^{\infty}\mu(E_{k}).
.

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.

Bibliographie

Marc Briane & Gilles Pagès, Théorie de l'intégration, Paris, Vuibert, coll. « Les grands cours Vuibert », octobre 2000, 302 p. (ISBN 2-7117-8946-2) 

Notes et références

  1. a, b et c Briane-Pagès, p. 61
  2. Briane-Pagès utilise le terme p. 90 ou p. 97, entre autres.
  3. Martin Väth, Integration theory: a second course, World Scientific, 2002 (ISBN 9789812381156) , p. 8
  4. Achim Klenke, Probability theory, a comprehensive course, Springer, 2008 (ISBN 9781848000476) , p. 12
  5. Ainsi par exemple Briane-Pagès, p. 195, pose cette condition à première vue supplémentaire dans la définition de la \scriptstyle\sigma-finitude.
  6. Briane-Pagès, p. 90
  7. Briane-Pagès, p. 255
  8. Briane-Pagès, p. 63-64
  9. Briane-Pagès, p. 62
  10. La définition qui suit est celle donnée dans Inder K. Rana, An introduction to measure and integration, AMS Bookstore, 2002 (ISBN 9780821829745) , définition 3.3.1, p. 59. D'autres auteurs parlent plutôt de « prémesure » dans ces contextes plus généraux, ainsi Achim Klenke, op. cit., p. 12 (lorsque la classe \scriptstyle\mathcal C est un anneau d'ensembles)

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Mesure (mathematiques) — Mesure (mathématiques) 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… …   Wikipédia en Français

  • Mesure (mathématique) — Mesure (mathématiques) 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… …   Wikipédia en Français

  • Mesure de dénombrement — Mesure (mathématiques) 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… …   Wikipédia en Français

  • Mesure sigma-finie — Cet article court présente un sujet plus développé dans : Mesure (mathématiques). Soit un espace mesuré. On dit que la mesure est finie lorsqu il existe un recouvrement dénombrable de X par des sous ensembles de mesure finie. C est à dire,… …   Wikipédia en Français

  • Mesure de comptage — Cet article court présente un sujet plus développé dans : Mesure (mathématiques). La mesure de comptage (ou mesure de dénombrement) sur un ensemble X est la mesure μ définie sur la tribu de toutes les parties de X par : μ(S) est le… …   Wikipédia en Français

  • Mesure d'un ensemble — Cet article court présente un sujet plus développé dans : Mesure (mathématiques). Étant donné un espace mesuré , pour S ensemble mesurable (c est à dire pour S partie de X appartenant à la tribu ), on appelle mesure de S la valeur μ(S) (c… …   Wikipédia en Français

  • MATHÉMATIQUES , DE LA DIVERSITÉ À L’UNIFICATION — «Ce que nous appelons la réalité objective, c’est, en dernière analyse, ce qui est commun à plusieurs êtres pensants, et pourrait être commun à tous; cette partie commune [...], ce ne peut être que l’harmonie exprimée par des lois mathématiques.» …   Encyclopédie Universelle

  • Mathematiques 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ématiques 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

  • Mathématiques 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

Share the article and excerpts

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