4
$\begingroup$

Possible Duplicate:
Preimage of generated $\sigma$-algebra

I wish to prove the following:

"Let $X$ be a set and $\mathcal{A}$ a family of subsets of $X$, and $\Sigma_{\mathcal{A}}$ the $\sigma$-algebra of subsets of $X$ generated by $\mathcal{A}$. Suppose that $Y$ is another set and $f : Y \rightarrow X$ a function. Then $\left\{f^{-1} \left[E \right] : E \in \Sigma_{\mathcal{A}} \right\}$ is the $\sigma$-algebra of subsets of $Y$ generated by $\left\{ f^{-1} \left[A\right] : A \in \mathcal{A} \right\}$."

I understand that the $\sigma$-algebra of subsets of $Y$ generated by $\left\{ f^{-1} \left[A\right] : A \in \mathcal{A} \right\}$ is defined to be $$\bigcap \left\{ \Sigma : \Sigma \text{ is a } \sigma \text{-algebra of subsets of }Y, \left\{ f^{-1} \left[A\right] : A \in \mathcal{A} \right\} \subseteq \Sigma\right\}.$$

I'm not sure how this leads to the desired result, though. Any help much appreciated.

  • 2
    The answer to your question is here: http://math.stackexchange.com/questions/7881/preimage-of-generated-sigma-algebra2012-02-18

1 Answers 1