Espacio de medida

Contiene un conjunto subyacente, los subconjuntos de este conjunto que son factibles de medir (el σ -álgebra) y el método que se utiliza para medir (la medida).

Un espacio medible consta de los dos primeros componentes sin una medida específica.

Un espacio de medida es una terna

Siguiendo esta convención, establecemos En este caso simple, el conjunto de potencia se puede escribir explícitamente: Como medida, defina

(por aditividad de medidas) y

Esto conduce al espacio de medida

Es un espacio de probabilidad, ya que

corresponde a la distribución de Bernoulli con

, que se utiliza, por ejemplo, para modelar un lanzamiento de moneda justo.

Esto incluye Otra clase de espacios de medida son los espacios de medida completos.