Trying to prove $\{[−\infty, a)\}_{a\in\mathbb{R}}$ generates The borel sigma algebra of the extended reals. Any hints?

73 Views Asked by At

I have already proved several similar questions but for the Borel sigma algebra on the reals and I am now a bit stuck when working with the extended reals.

1

There are 1 best solutions below

1
On BEST ANSWER

Taking complements, we see each $[a,\infty]$ is obtained. Since $(a,\infty]=\cup [a+1/n,\infty],$ we obtain each $(a,\infty].$ Given reals $a<b,$ we obtain $(a,\infty]\cap [-\infty,b) =(a,b).$ That's a good start ...