σ-álgebra

Una colección $\mathcal{A}\subseteq \mathcal{P}(\mathcal{X})$ se dice que es una $\sigma$-álgebra si satisface:

1. $\mathcal{X}\in \mathcal{A}$.
2. Si $A\in \mathcal{A}$, entonces $A^c\in \mathcal{A}$.
3. Si ${A_i}_{i=1}^{\infty }\subseteq \mathcal{A}$, entonces ${\bigcup }_{i=1}^{\infty }{A}_i\in \mathcal{A}$.

conjuntos medida