Subsets and Sigma Algebras: Proving the Equality of Generated Sigma Algebras 

Let $X$ a set and $Y$ a subset of $X$. Let $B$ a sigma algebra over $X$ and $F=\left\{ E\cap Y:\,E\in B\right\}$
a sigma algebra over $Y$.

If $B=\sigma(\mathcal{E}_{1})$ and $\mathcal{E}_{2}=\left\{ E\cap Y: \,E\in \mathcal{E}_{1}\right\}$, prove that $F=\sigma(\mathcal{E}_{2}).$

Prove that 

I) $F\subset \sigma(\mathcal{E}_{2}) $
II) $\sigma(\mathcal{E}_{2}) \subset F.$


Answers can only be viewed under the following conditions:
  1. The questioner was satisfied with and accepted the answer, or
  2. The answer was evaluated as being 100% correct by the judge.
View the answer
Erdos Erdos
The answer is accepted.
Join Matchmaticians Affiliate Marketing Program to earn up to a 50% commission on every question that your affiliated users ask or answer.