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

Definition
Let $X$ be a set.

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

The $\sigma$-algebra generated by $\mathcal G$, $\map \sigma {\mathcal G}$, is the smallest $\sigma$-algebra on $X$ that contains $\mathcal G$.

That is, $\map \sigma {\mathcal G}$ is subject to:


 * $(1): \quad \mathcal G \subseteq \map \sigma {\mathcal G}$
 * $(2): \quad \mathcal G \subseteq \Sigma \implies \map \sigma {\mathcal G} \subseteq \Sigma$ for any $\sigma$-algebra $\Sigma$ on $X$

Also denoted as
Variations of the letter "$M$" can be seen for the $\sigma$-algebra generated by $\mathcal G$:


 * $\map {\mathcal M} {\mathcal G}$
 * $\map {\mathscr M} {\mathcal G}$

Also see

 * Equivalence of Definitions of Sigma-Algebra Generated by Collection of Subsets


 * Existence and Uniqueness of Sigma-Algebra Generated by Collection of Subsets, where it is shown that $\map \sigma {\mathcal G}$ always exists, and is unique