Is there a measurable subset E ⊆ R such that whenever a < b are real numbers we have both $m(E ∩ (a, b)) > 0$ and $m((a, b) -E) > 0$ ? This is an extra question on my real analysis class, but it is not graded, just for fun.
I was thinking about the "fat Cantor set"(https://en.wikipedia.org/wiki/Smith%E2%80%93Volterra%E2%80%93Cantor_set), and play with it a little bit, but somehow I can still find "gaps" between real numbers. Can anyone give me some hint so I can carry on ? Thanks !!!
As a slight rephrasing of the problem, let's try to construct a pair of disjoint measurable sets $A, B\subset\mathbb{R}$ such that both $A\cap(a,b)$ and $B\cap(a,b)$ have positive measure for any interval $(a,b)$. Here's the idea behind one possible solution: it suffices to consider intervals $(a,b)$ where $a$ and $b$ are both rational. Let $A$ and $B$ take turns picking fat Cantor sets they want to contain (that are disjoint from all the fat Cantor sets chosen so far). Since there are only countably many rational intervals, both $A$ and $B$ can make sure that they eventually choose a fat Cantor set contained in each rational interval.
