Category:Definitions/Sigma-Algebras

This category contains definitions related to Sigma-Algebras.
Related results can be found in Category:Sigma-Algebras.

Let $X$ be a set.

Let $\Sigma$ be a system of subsets of $X$.

$\Sigma$ is a $\sigma$-algebra over $X$ if and only if $\Sigma$ satisfies the sigma-algebra axioms:

 $(\text {SA} 1)$ $:$ Unit: $\ds X \in \Sigma$ $(\text {SA} 2)$ $:$ Closure under Complement: $\ds \forall A \in \Sigma:$ $\ds \relcomp X A \in \Sigma$ $(\text {SA} 3)$ $:$ Closure under Countable Unions: $\ds \forall A_n \in \Sigma: n = 1, 2, \ldots:$ $\ds \bigcup_{n \mathop = 1}^\infty A_n \in \Sigma$

Subcategories

This category has the following 7 subcategories, out of 7 total.