Una medida σ-aditiva, completa e invariante por traslaciones definida sobre la σ-álgebra de subconjuntos de R^n que son medibles en el sentido de Lebesgue; extiende las nociones intuitivas de longitud, área y volumen y asigna medida cero a todo conjunto contable medible.

Principio

Construida mediante el procedimiento de medida exterior de Carathéodory a partir del ínfimo de los volúmenes de recubrimientos contables por rectángulos (o bolas); propiedades clave: σ-aditividad, invarianza por traslación y completitud respecto a conjuntos nulos.

Demostración

En R, la medida de Lebesgue de un intervalo [a,b] es b−a. Un conjunto contable como Q⊂R tiene medida de Lebesgue 0. Un conjunto medible acotado con interior no vacío tiene medida finita y estrictamente positiva igual a su volumen geométrico habitual.

Aplicación incorrecta

Asumir que todo subconjunto de R^n es Lebesgue-mesurable y asignarle longitud/volumen (lo que entra en conflicto con la existencia de conjuntos no medibles); confundir con la medida de conteo, que asigna la cantidad de puntos, o con medidas de Hausdorff adecuadas para fractales.

Consecuencia

Sienta la base de la integración moderna (integral de Lebesgue), permite los teoremas de convergencia dominada y de Fubini–Tonelli, el cambio de variable en integrales múltiples y el manejo riguroso de afirmaciones 'casi en todas partes' en análisis y probabilidad.

Inversión

Asignar tamaño por conteo puro (medida de conteo) o declarar que todo abierto no vacío tiene medida cero: eso destruye la σ-aditividad necesaria para la integración y rompe la correspondencia con el volumen geométrico.

Límite

Definida solo sobre conjuntos Lebesgue-mensurables (una σ-álgebra que contiene estrictamente a los borelianos); depende de la estructura euclidiana y de las translaciones en R^n; no capta la geometría de conjuntos fractales de medida cero.

Tensión semántica

Tensión con la medida de Hausdorff y las medidas de empaquetamiento: la medida de Lebesgue es natural para fenómenos de dimensión completa pero falla al distinguir el tamaño de conjuntos de dimensión inferior o fractales que la medida de Hausdorff sí detecta.

Síntesis

La medida de Lebesgue es el volumen canónico σ-aditivo e invariante por traslaciones en el espacio euclidiano que extiende longitud/área/volumen al marco medible completo, imprescindible para la integración y el análisis 'casi en todas partes' mientras excluye ciertos conjuntos no medibles.