Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $f : \Omega_{1} \rightarrow \Omega_{2}$ be a map from a measurable space $\Omega_{1}$ to another measurable spacce $(\Omega_{2},\mathcal{B})$, where $\mathcal{B}$ is the generated $\sigma$-algebra of some $\textbf{countable}$ collection of subsets of $\Omega_{2}$:

$$\mathcal{B}=\sigma(\mathcal{C}),$$ where $\mathcal{C}$ is countable.

Do we have that the pull-back $\sigma$-algebra on $\Omega_{1}$, $f^{-1}(\mathcal{B})$, also a generated-$\sigma$ algebra? I think that the answer should be yes and $f^{-1}(\mathcal{B})$ is generated by $f^{-1}(\mathcal{C})$ but I don't know how to prove this. Could anyone help on this? Thank you so much!

share|improve this question
1  
Yes, and you don't need to assume that $\mathcal{C}$ is countable. Show that pullback preserves every operation. –  Qiaochu Yuan Oct 12 '12 at 1:40
    
@QiaochuYuan Can you be more specific? I don't know how to show $f^{-1}(\mathcal{B}$ is the smallest $\sigma$-algebra that contains $f^{-1}(\mathcal{C})$ –  user7762 Oct 12 '12 at 2:17
add comment

1 Answer

up vote 2 down vote accepted

Yes (might be already explicitly answered somewhere else on the Stack, but I couldn't find it, or maybe embedded in answers to related questions).

For any (not necessarily countable) collection ${\cal C}$ of subsets of $\Omega_2$ and any function $f:\Omega_1 \rightarrow \Omega_2$, we have: $$ f^{-1}(\sigma({\cal C})) =\sigma(f^{-1}({\cal C})).$$

The "$\supseteq$" is clear as $f^{-1}({\cal C})\subseteq f^{-1}(\sigma({\cal C}))$ and $f^{-1}(\sigma({\cal C}))$ is a $\sigma$-algebra, hence including $\sigma(f^{-1}({\cal C}))$ (the minimal $\sigma$-algebra including collection $f^{-1}({\cal C})$).

The "$\subseteq$" is not immediately obvious. Let us denote by ${\cal G}$ the collection of all sets $G\subseteq \Omega_2$ such that $f^{-1}(G) \in \sigma(f^{-1}({\cal C}))$. We note that ${\cal G}$ is a $\sigma$-algebra and that ${\cal C}\subseteq {\cal G}$, so $\sigma({\cal C})\subseteq {\cal G}$ (again by minimality of generated $\sigma$-algebra). This means $f^{-1}(\sigma({\cal C})) \subseteq \sigma(f^{-1}({\cal C}))$.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.