I was just doing thinking about some things we recently did in measure and integration and stumbled upon a question I could not answer.
The scenario is in the reals with standard topology and we take the normal Lebesgue measure.
If I have a perfect set with positive measure, e.g. a fat Cantor set, and take an open interval such that the intersection of the two sets is not empty, is it true then that the intersection also has positive measure?
Intuitively the answer seems yes, but neither could I prove it nor find a counterexample. In addition, if the answer is no, is there a reasonable condition that once added would guarantee that the intersection still has positive measure?