Definition:Sigma-Algebra Generated by Collection of Subsets/Definition 2

From ProofWiki
Jump to navigation Jump to search


Let $X$ be a set.

Let $\GG \subseteq \powerset X$ be a collection of subsets of $X$.

The $\sigma$-algebra generated by $\GG$, $\map \sigma \GG$, is the intersection of all $\sigma$-algebras on $X$ that contain $\GG$.


One says that $\GG$ is a generator for $\map \sigma {\GG}$.

Also, elements $G$ of $\GG$ may be called generators.

Also denoted as

Variations of the letter "$M$" can be seen for the $\sigma$-algebra generated by $\GG$:

$\map \MM \GG$
$\map {\mathscr M} \GG$

Also see