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.

In the text of Probability Essentials by J.Jacod & P.Protter, a theorem:

The Borel $ \sigma $- algebra of $R $ is generated by intervals of the form $(-\infty,a ]$, where $a \in Q$.

As far as I've known the Borel sigma algebra is generated by all open subsets of $R$, which surely contains sets like (x, y), here x is irrational. So my question is how can 'a', in theorem, a rational generate such set (x, y).

share|improve this question

1 Answer 1

$(x,y) = \displaystyle\bigcup_{\substack{a,b\in\mathbb{Q} \\ x<a<b<y}} (a,b)$.

share|improve this answer
    
could you please explain it a bit in detail? –  Dylan Zhu Oct 13 '13 at 18:34
    
@DylanZhu Filling in more details: $(a,b'] = (-\infty,b'] \cap (-\infty,a']^c$, and $(a,b) = \cup_{b'\in\mathbb{Q}, b'<b} (a,b']$. Let me know if you have any specific questions. –  Slade Oct 13 '13 at 19:04
    
yeah, i think i still dont know how can you make sure that b is close enough to y, that there wont be other irrationals between them... –  Dylan Zhu Oct 13 '13 at 19:43
    
The rationals are dense. For any $(x,x+\epsilon)$, pick $n > 1/\epsilon$, then some rational $t/n$ must land in there. –  Slade Oct 13 '13 at 20:09

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.