Tell me more ×
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

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.