Sigma-Algebra Contains Generated Sigma-Algebra of Subset

Theorem

Let $\sigma_\FF$ be a be a $\sigma$-algebra on a set $\FF$.

Let $\sigma_\FF$ contain a set of sets $\EE$.

Let $\map \sigma \EE$ be the $\sigma$-algebra generated by $\EE$.


Then $\map \sigma \EE \subseteq \sigma_\FF$


Proof


This article needs to be linked to other articles.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{MissingLinks}} from the code.


$\sigma_\FF$ is a $\sigma$-algebra containing $\EE$.

$\map \sigma \EE$ is a subset of all $\sigma$-algebras containing $\EE$, by definition of a generated $\sigma$-algebra.

Therefore it contains $\map \sigma \EE$.

$\blacksquare$


Sources

  • 1984: Gerald B. Folland: Real Analysis: Modern Techniques and their Applications: $\S 1.2$
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.