Un espacio de medida (Ω, Σ, P) donde P es una medida en Σ con masa total P(Ω)=1; modela la aleatoriedad asignando probabilidades a eventos medibles (subconjuntos de Ω).

Principio

Los espacios de probabilidad interpretan una medida contablemente aditiva normalizada como probabilidades de eventos; la medibilidad y la aditividad contable permiten tratar límites, condicionamientos y leyes de los grandes números en un marco riguroso.

Demostración

Un lanzamiento de moneda justo puede modelarse por Ω={C,S}, Σ=la potencia, P({C})=P({S})=1/2. La recta real con la σ‑álgebra boreliana y la medida de la normal estándar es un ejemplo continuo que asigna probabilidades a intervalos y conjuntos medibles.

Aplicación incorrecta

Condicionar o asignar probabilidades a eventos de probabilidad cero como si fueran eventos regulares sin especificar versiones o probabilidades condicionales regulares; confundir frecuencias empíricas con la medida abstracta sin recurrir a una ley de los grandes números.

Consecuencia

Con un espacio de probabilidad fijado se pueden definir variables aleatorias como funciones medibles, calcular expectativas y varianzas, probar teoremas límite y razonar sobre eventos casi seguros y la independencia.

Inversión

Sustituir P por una función solo finitamente aditiva o por una medida signada elimina los teoremas habituales de convergencia y muchas leyes probabilísticas; quitar la normalización (masa total ≠1) da un espacio de medida pero no un modelo probabilístico sin renormalización.

Límite

Requiere una σ‑álgebra y una medida de probabilidad σ‑aditiva con masa total uno; excluye modelos de probabilidad imprecisa como capacidades, marcos no σ‑aditivos y enfoques de incertidumbre sin una medida dominante única.

Tensión semántica

Existe tensión entre la probabilidad medida‑teórica y la intuición frecuentista: la primera es una medida axiomática, la segunda una interpretación empírica; también tensión con probabilidades finitely aditiva o condicionamiento sobre conjuntos nulos.

Síntesis

Espacio de Probabilidad = (Ω, Σ, P) un modelo medida‑teórico del azar en el que una medida σ‑aditiva normalizada asigna probabilidades a eventos, permitiendo definiciones rigurosas de variables aleatorias, esperanza, independencia y leyes límite.