Un triplet (X, Σ, μ) où X est un ensemble, Σ une σ‑algèbre de parties de X et μ: Σ → [0,∞] une mesure à additivité dénombrable définie sur Σ.

Principe

Un espace mesuré formalise une notion de taille ou de masse pour des ensembles éventuellement très compliqués en exigeant la mesurabilité (appartenance à une σ‑algèbre) et l’additivité dénombrable afin que des unions disjointes s’additionnent de façon cohérente.

Démonstration

La mesure de Lebesgue sur R avec Σ la σ‑algèbre de Lebesgue et μ qui attribue une longueur aux intervalles est un espace mesuré canonique. La mesure de comptage sur tout ensemble X (μ(A)=nombre d’éléments de A, éventuellement ∞) et la mesure de Dirac en un point sont des démonstrations simples.

Mauvaise application

Supposer que tout sous‑ensemble de X est mesurable (la puissance de l’ensemble n’est pas nécessairement une σ‑algèbre compatible avec la mesure donnée), ou croire que l’additivité dénombrable peut être remplacée par l’additivité finie sans modifier les conséquences fondamentales pour l’intégration et les théorèmes de convergence.

Conséquence

Les espaces mesurés fondent la théorie de l’intégration, les espaces L^p et les théorèmes de convergence ; une fois la mesure fixée on définit fonctions mesurables, intégrales et propriétés vraies « presque partout » ainsi que les ensembles nuls.

Inversion

Un espace mesurable sans mesure (X, Σ) ne fournit pas l’information numérique de taille donnée par μ ; une fonction additive finie ou une mesure extérieure peut échouer à l’additivité dénombrable et ne pas définir un espace mesuré au sens plein.

Limite

Exige une σ‑algèbre et l’additivité dénombrable ; exclut les mesures finiment additives, les capacités ou certaines constructions de non‑mesurabilité. Les mesures peuvent être finies, σ‑finies ou infinies, distinctions qui conditionnent l’applicabilité des théorèmes.

Tension sémantique

Tension entre espace mesuré et espace mesurable : le second fournit seulement la σ‑algèbre sans la mesure. Il existe aussi une tension entre espaces mesurés abstraits et constructions concrètes de Borel/Lebesgue liées à la topologie ou à la géométrie.

Synthèse

Espace Mesuré = (X, Σ, μ) combinant un domaine d’ensembles mesurables et une assignation de taille à additivité dénombrable, structure de base pour l’intégration, les espaces fonctionnels et la modélisation probabiliste lorsque μ est normalisée.