Un triple (X, Σ, μ) donde X es un conjunto, Σ es una σ-álgebra de subconjuntos de X y μ: Σ → [0,∞] es una función contablemente aditiva (medida) que asigna valores reales extendidos no negativos a conjuntos medibles, con μ(∅)=0.

Principio

Asignar tamaños a colecciones de conjuntos de forma estable bajo uniones contables y complementos (σ-aditividad), permitiendo la integración y una interpretación probabilística cuando se normaliza.

Demostración

La recta real R con Σ la σ-álgebra de conjuntos Lebesgue-medibles y μ la medida de Lebesgue es un espacio medible: μ asigna longitudes (posiblemente ∞) a conjuntos medibles y es contablemente aditiva.

Aplicación incorrecta

Tratar una función solo finitamente aditiva como medida en contextos que requieren aditividad contable (p. ej. teorema de convergencia dominada) conduce a intercambios inválidos de límites e integrales.

Consecuencia

Un espacio de medida proporciona el marco para definir integrales, espacios Lp, afirmaciones casi en todas partes y espacios de probabilidad cuando μ(X)=1; muchos teoremas de convergencia dependen de la σ-aditividad.

Inversión

Al omitir la σ-aditividad se obtiene una medida finitamente aditiva (carga), que puede modelar ciertos fenómenos pero pierde teoremas clave; restringir a álgebras en lugar de σ-álgebras limita los conjuntos medibles.

Límite

Excluye medidas externas sin criterio de medibilidad y funciones no definidas sobre una σ-álgebra; no exige completitud (medir todas las subpartes de los conjuntos nulos) a menos que se especifique.

Tensión semántica

Tensión entre el uso matemático de 'medida' como función σ-aditiva y el uso coloquial de 'medida' como cualquier evaluación cuantitativa; en análisis la σ-aditividad es el criterio decisivo.

Síntesis

Un espacio medible (X,Σ,μ) formaliza la asignación de tamaños no negativos a una σ-álgebra mediante una aplicación contablemente aditiva, constituyendo la base para la integración, la probabilidad y los espacios de funciones.