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.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 (…)