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.

Given a collection of sets $\mathcal{C}$ and $E$ an element in the $\sigma$-algebra generated by $\mathcal{C}$, how do I show that $\exists$ a countable subcollection $\mathcal{C_0} \subset \mathcal{C}$ such that $E$ is an element of the $\sigma$-algebra, $\mathcal{A}$ generated by $\mathcal{C_0}$?

The hint says to let $H$ be the union of all $\sigma$-algebras generated by countable subsets of $\mathcal{C}$....although I don't know why.

share|improve this question

1 Answer 1

up vote 6 down vote accepted

A good strategy would be to prove that $H$ is equal to $\sigma(\mathcal C)$, the $\sigma$-algebra generated by $\mathcal C$. It should be clear that $H \subset \sigma(\mathcal C)$. For the reverse inclusion, it is enough to show that $H$ is, in fact, a $\sigma$-algebra. Check each of the axioms! At some point, you will have to use the fact that a countable union of countable sets is countable.

share|improve this answer
    
Ok..I can do that. Does it mean that $E$ plays no part in the proof? –  Joe Sep 3 '11 at 17:18
    
@Joe To be careful, you might want to show why $H = \sigma(C)$ proves the statement about this $E$. But I don't see how to write a proof that goes, "give me an $E$, and I'll find a $\mathcal C_0$ for you". –  Dylan Moreland Sep 3 '11 at 17:26
    
I was about to ask that..i.e...why it suffices to show that $H=\sigma(C)$ –  Nana Sep 3 '11 at 17:28
    
@Nana You two have me worried! Here is my reasoning: we will know that $E \in H$, and $H$ is just a union of $\sigma(\mathcal D)$ as $\mathcal D$ runs over the countable subsets of $\mathcal C$, so $E$ is in one of them. –  Dylan Moreland Sep 3 '11 at 17:48
    
@Dylan Oh ok...thanks –  Joe Sep 3 '11 at 17:56

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.