Generated Sigma-Algebra Preserves Subset

From ProofWiki
Jump to navigation Jump to search


Let $X$ be a set.

Let $\mathcal F, \mathcal G \subseteq \mathcal P \left({X}\right)$ be collections of subsets of $X$.

Suppose that $\mathcal F \subseteq \mathcal G$.

Then $\sigma \left({\mathcal F}\right) \subseteq \sigma \left({\mathcal G}\right)$, where $\sigma \left({\mathcal G}\right)$ denotes the $\sigma$-algebra generated by $\mathcal G$


By definition of $\sigma \left({\mathcal G}\right)$, $\mathcal G \subseteq \sigma \left({\mathcal G}\right)$.

It follows that also $\mathcal F \subseteq \sigma \left({\mathcal G}\right)$.

Hence, by definition of $\sigma \left({\mathcal F}\right)$, $\sigma \left({\mathcal F}\right) \subseteq \sigma \left({\mathcal G}\right)$.