Un triple (X, Σ, μ) donde X es un conjunto, Σ una σ‑álgebra de subconjuntos de X y μ: Σ → [0,∞] una medida contablemente aditiva definida en Σ.

Principio

Un espacio de medida formaliza el tamaño o peso de conjuntos potencialmente muy complicados exigiendo que sean medibles (pertenezcan a una σ‑álgebra) y que la aditividad sea contable para que las uniones disjuntas se sumen de forma coherente.

Demostración

La medida de Lebesgue en R con Σ la σ‑álgebra de Lebesgue y μ que asigna longitudes a intervalos es un espacio de medida canónico. La medida de conteo en cualquier conjunto X (μ(A)=número de elementos de A, posiblemente ∞) y la medida de Dirac en un punto son ejemplos sencillos.

Aplicación incorrecta

Asumir que todo subconjunto de X es medible (la potencia no tiene por qué ser la σ‑álgebra adecuada), o creer que la aditividad contable puede sustituirse por aditividad finita sin cambiar consecuencias fundamentales para integración y teoremas de convergencia.

Consecuencia

Los espacios de medida son la base de la teoría de la integración, los espacios L^p y los teoremas de convergencia; con una medida fijada se definen funciones medibles, integrales y propiedades que son válidas casi en todas partes y conjuntos nulos.

Inversión

Un espacio medible sin medida (X, Σ) carece de la información numérica de tamaño que proporciona μ; una función finitamente aditiva o una medida exterior pueden fallar la aditividad contable y no ser un espacio de medida genuino.

Límite

Exige una σ‑álgebra y aditividad contable; excluye medidas finitamente aditivas, capacidades o ciertas construcciones de no medibilidad. Las medidas pueden ser finitas, σ‑finas o infinitas, distinciones que condicionan qué teoremas aplican.

Tensión semántica

Tensión entre espacio de medida y espacio medible: este último solo aporta la σ‑álgebra sin la medida. También hay tensión entre espacios de medida abstractos y construcciones concretas de Borel/Lebesgue vinculadas a topología o geometría.

Síntesis

Espacio de Medida = (X, Σ, μ) que combina un dominio de conjuntos medibles con una asignación de tamaño contablemente aditiva, formando la estructura básica para la integración, los espacios funcionales y la modelización probabilística cuando μ está normalizada.