<aside> š
Proposición
Sea $( \Omega ,\mathcal{ F }, P)$ un espacio de probabilidad. Si $\{ A _{ i } \} _{ i=1 } ^{ n }$, para alguna $n \in \mathbb{N}^{+}$, es una sucesión de eventos en $\mathcal{ F }$ disjuntos dos a dos, entonces
$$ ā $$
<aside> š
Teorema
Sea $( \Omega ,\mathcal{ F }, P)$ un espacio de probabilidad. Entonces
$$ ā $$
$$ ā $$
Ejemplo
<aside> š
Definición ($\sigma$-Ôlgebra de Borel)
Si $\Omega=\mathbb{R}$, definimos la $\sigma$-Ɣlgebra de Borel de $\mathbb{R}$ como
$\mathcal{B} (\mathbb{R}) = \sigma ( \{ U \subset \mathbb{ R } | U \text{ es abierto} \} )$
Es decir, $\mathcal{B} (\mathbb{R})$ es la $\sigma$-Ɣlgebra mƔs pequeƱa que contiene a todos los subconjuntos abiertos de $\mathbb{R}$.
A los elementos de $\mathcal{B} (\mathbb{R})$ se les llama "conjuntos de Borel", "conjuntos borel-medibles" o "borelianos" de $\mathbb{R}$.
</aside>
<aside> š
Teorema
$\mathcal{B} (\mathbb{R}) = \sigma ( \{ (-\infty , x] | x \in \mathbb{R} \} )$
</aside>
Ejemplos