Une mesure σ-additive, complète et invariante par translation définie sur la σ-algèbre des parties de R^n qui sont mesurables au sens de Lebesgue; elle étend les notions usuelles de longueur, aire et volume et attribue la mesure zéro à tout ensemble dénombrable mesurable.

Principe

Construite par la procédure de mesure extérieure de Carathéodory à partir de l'infimum des volumes de recouvrements dénombrables par rectangles (ou boules) ; propriétés essentielles : σ-additivité, invariance par translation et complétude vis‑à‑vis des ensembles nuls.

Démonstration

Sur R : la mesure de Lebesgue d’un intervalle [a,b] vaut b−a. Un ensemble dénombrable comme Q⊂R a mesure de Lebesgue 0. Un ensemble mesurable borné à intérieur non vide a une mesure finie et strictement positive égale à son volume géométrique habituel.

Mauvaise application

Supposer que toute partie de R^n est Lebesgue-mesurable et lui attribuer longueur/volume (ce qui conduit à des contradictions via ensembles non mesurables) ; confondre avec la mesure de comptage, qui donne une mesure égale au nombre de points, ou avec des mesures de Hausdorff adaptées aux fractales.

Conséquence

Fonde la théorie moderne de l'intégration (intégrale de Lebesgue), permettant les théorèmes de convergence dominée et de Fubini–Tonelli, le changement de variables en intégrales multiples, et l'usage rigoureux des assertions 'presque partout' en analyse et probabilité.

Inversion

Attribuer la taille par un comptage pur (mesure de comptage) ou déclarer que tout ouvert non vide a mesure zéro : cela détruit la σ-additivité utile pour l'intégration et fait perdre la correspondance avec le volume géométrique.

Limite

Définie uniquement sur les ensembles Lebesgue-mesurables (une σ-algèbre contenant strictement les boréliens) ; dépend de la structure euclidienne et des translations de R^n ; elle n'identifie pas la géométrie d'ensembles fractals ayant mesure nulle.

Tension sémantique

Tension avec la mesure de Hausdorff et les mesures d'emballage : la mesure de Lebesgue est adaptée aux phénomènes de pleine dimension, mais elle échoue à distinguer la taille d'ensembles de dimension inférieure ou fractale que la mesure de Hausdorff détecte.

Synthèse

La mesure de Lebesgue est le volume canonique σ-additif et invariant par translation sur l'espace euclidien, qui étend longueur/aire/volume au cadre mesurable complet, indispensable pour l'intégration et l'analyse presque partout tout en excluant certains ensembles non mesurables.