0
$\begingroup$

I have a question regarding the relationship between measurable Borel sets and the generator of the Borel $\sigma$-algebra. I know that $\sigma$-algebras are stable under countable unions by definition and the set of intervals $\mathcal{E}=\{\, ]r,s]\subset \mathbb{R}: r\leq s\}$ generates $\mathcal{B}(\mathbb{R})$.

So every countable union of elements of $\mathcal{E}$ is measurable. But what about the converse? Is every set $M\in\mathcal{B}(\mathbb{R})$ representable by a countable union of elements of $\mathcal{E}$?

$\endgroup$

1 Answer 1

1
$\begingroup$

No. Consider the irrational numbers. Since they are totally disconnected, the only way to write them as a union of intervals is $\bigcup_{x \in \mathbb{R} - \mathbb{Q}} [x,x]$. This is clearly an uncountable union. Further they are clearly measurable as they are the complement on the rationals, which are a countable set, hence a countable union of length-0 closed intervals (AKA points).

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .