Espacio medible

En matemáticas, un espacio medible o espacio de Borel​ es un objeto básico en la teoría de la medida. Consiste en un conjunto y un σ-álgebra, que define los subconjuntos que se medirán.

Definición

Considere un conjunto $X$ y un σ-álgebra ${\mathcal {A}}$ en $X$ . Entonces la tupla $(X,{\mathcal {A}})$ se llama espacio medible.​

Tenga en cuenta que, a diferencia de un espacio de medida, no se necesita ninguna medida para un espacio medible.

Ejemplo

Dado el conjunto

$X=\{1,2,3\}.$

Un posible $\sigma$ -algebra sería

${\mathcal {A}}_{1}=\{X,\emptyset \}.$

Entonces $(X,{\mathcal {A}}_{1})$ es un espacio medible. Otro posible $\sigma$ -algebra sería el conjunto potencia en $X$ :

${\mathcal {A}}_{2}={\mathcal {P}}(X).$

Con esto, un segundo espacio medible en el conjunto $X$ es dado por $(X,{\mathcal {A}}_{2})$ .

Espacios comunes medibles

Si $X$ es finito o infinito contable, el $\sigma$ -el álgebra es la mayoría de las veces la energía puesta en $X$, entonces ${\mathcal {A}}={\mathcal {P}}(X)$. Esto conduce al espacio medible $(X,{\mathcal {P}}(X))$ .

Si $X$ es un espacio topológico, el $\sigma$ -el álgebra es más comúnmente el Borel $\sigma$ -álgebra ${\mathcal {B}}$, entonces ${\mathcal {A}}={\mathcal {B}}(X)$ . Esto conduce al espacio medible $(X,{\mathcal {B}}(X))$ que es común para todos los espacios topológicos, como los números reales $\mathbb {R}$.

Ambigüedad con espacios Borel

El término espacio Borel se usa para diferentes tipos de espacios medibles. Puede referirse a

• cualquier espacio medible, por lo que es sinónimo de espacio medible como se define anteriormente​
• un espacio medible que es Borel isomorfo a un subconjunto medible de los números reales (nuevamente con el Borel $\sigma$ -álgebra)​

Referencias

• Datos: Q3058218