Mesure (mathématiques) 19982 30038826 2008-05-27T08:16:46Z Speedspid 347841 {{voir homonymes|mesure}} En [[mathématiques]], une '''mesure''' est une fonction qui associe une « longueur », un « volume » ou encore une « probabilité » à certaines [[sous-ensemble|parties]] d'un [[ensemble]] donné. Il s'agit d'un important concept en [[analyse (mathématiques)|analyse]] et en [[théorie des probabilités]]. Formellement, une mesure μ est une [[fonction (mathématiques)|fonction]] qui associe à chaque élément ''S'' d'une [[sigma-algèbre|σ-algèbre]] donnée ''X'' une valeur μ(''S''), qui est un [[nombre réel|réel]] positif ou l'infini. Les propriétés suivantes doivent être vérifiées : * L'ensemble vide a une mesure nulle : <math>\mu\left(\emptyset\right)=0</math>, * La mesure est ''σ-additive'' : si ''E''<sub>1</sub>, ''E''<sub>2</sub>,&nbsp;… sont des ensembles appartenant à ''X'', en quantité [[ensemble dénombrable|dénombrable]] et deux à deux disjoints, et si ''E'' est leur [[réunion (mathématiques)|réunion]], alors la mesure μ(''E'') est égale à la somme <math>\sum_{k=1}^{\infty}\mu(E_{k})</math>. Entre autres, µ(''E''<sub>1</sub> ∪ ''E''<sub>2</sub>) = µ(''E''<sub>1</sub>) + µ(''E''<sub>2</sub>). 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 ''E''<sub>1</sub> et ''E''<sub>2</sub> sont deux ensembles mesurables tels que ''E''<sub>1</sub> est un sous-ensemble de ''E''<sub>2</sub>, alors μ(''E''<sub>1</sub>) ≤ μ(''E''<sub>2</sub>). * Si ''E''<sub>1</sub>, ''E''<sub>2</sub>, ''E''<sub>3</sub>, ... sont des ensembles mesurables et si ''E''<sub>''n''</sub> est un sous-ensemble de ''E''<sub>''n''+1</sub> pour tout ''n'', alors la réunion ''E'' des ensembles ''E''<sub>''n''</sub> est mesurable et μ(''E'') = lim μ(''E''<sub>''n''</sub>). * Si ''E''<sub>1</sub>, ''E''<sub>2</sub>, ''E''<sub>3</sub>, ... sont des ensembles mesurables et si, pour tout ''n'', ''E''<sub>''n''+1</sub> est un sous-ensemble de ''E''<sub>''n''</sub>, alors l'intersection ''E'' des ensembles ''E''<sub>''n''</sub> est mesurable ; de plus, si au moins l'un des ensembles ''E''<sub>''n''</sub> a une mesure finie, alors μ(''E'') = lim μ(''E''<sub>''n''</sub>). 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 [[intervalle (mathématiques)|intervalle]]s 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 [[dimension de Hausdorff|mesure de Hausdorff]] utilisée dans le monde des fractales. * La [[mesure de Dirac]] <math>\mu_a</math> défini par <math> \mu_a (S) = \chi_S(a)</math>, où <math>\chi_S</math> 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| mesure signée]]'', tandis qu'une telle fonction qui prend des [[nombre complexe|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 (mathématiques)|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 [[ensemble convexe|convexe]]s dans <math>\mathbb R</math>, est constitué (à un multiple scalaire près) de « mesures » qui sont homogènes de degré <var>k</var> pour chaque <var>k</var>&nbsp;=&nbsp;0,1,2,...,<var>n</var>, et de combinaisons linéaires de ces « mesures ». L'« homogénéité du degré <var>k</var> » signifie qu' « élargir » n'importe quel ensemble par n'importe quel facteur <var>c>0</var> multiplie la « mesure » de l'ensemble par <var>c<sup>k</sup></var>. La seule qui soit homogène de degré <var>n</var> correspond au volume ordinaire en dimension <var>n</var>. La seule qui est homogène de degré <var>n-1</var> 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 == * [[Théorie de la mesure]] * [[Presque partout]]. * [[Théorie ergodique]] * [[Paradoxe de Banach-Tarski]], qui nécessite l'[[axiome du choix]]. * [[Mesures secondaires]] {{portail mathématiques}} [[Catégorie:Théorie de la mesure]] [[ar:نظرية القياس]] [[cs:Teorie míry]] [[da:Målteori]] [[de:Maßtheorie]] [[en:Measure (mathematics)]] [[es:Teoría de la medida]] [[fa:نظریه اندازه]] [[fi:Mittateoria]] [[he:מידה (מתמטיקה)]] [[hu:Mérték (matematika)]] [[is:Mál (stærðfræði)]] [[it:Misura (matematica)]] [[ja:測度論]] [[ko:측도]] [[nl:Maat (wiskunde)]] [[pl:Miara (matematyka)]] [[pt:Medida (matemática)]] [[ro:Măsură (matematică)]] [[ru:Мера множества]] [[sr:Мера (математика)]] [[sv:Mått (matematik)]] [[th:ทฤษฎีการวัด]] [[uk:Теорія міри]] [[vi:Độ đo]] [[zh:测度]]