Let $L$ be the Volterra set made by removing the middle open interval of length $5^{-\nu}$ at each step. In the limit, this will yield a perfect compact set of positive Lebesgue measure, i.e. a "fat Cantor set" (per a previous homework). I'm the grader in a basic measure theory class, and I'm writing a solution set for a homework problem that says to show that the fat Cantor set $L$ has a nonmeasurable subset. I know that in general, it's the case that any subset of $\mathbb{R}$ with positive measure contains a nonmeasurable subset, and that this can be shown through Steinhaus's Theorem, or at least I've seen it called that.
My question in whether this could be done in this particular setting without reference to Steinhaus's Theorem, and without too much machinery. The text covers the "construction" of the Vitali set, but does nothing else with nonmeasurable sets until this problem. If there's a solution that doesn't stray too far from what the text has already covered, I wanna use that rather than the (in my opinion not at all intuitive) Steinhaus's Theorem. I have two thoughts for possible solutions.
One thought was to devise a measure space equivalence between $L$ (equipped with a normalized measure) and an interval in $\mathbb{R}$ by factoring through $\{ 0 , 1 \}^{\mathbb{N}}$, pulling a Vitali set back through this mapping to a nonmeasurable subset of $L$, and then trying to rephrase all of this without the language of measure space isomorphism. I know this would be possible, but I feel like it'd take a lot of writing and it might not really be clear what's happening.
Another thought I had was to just build a Vitali set contained entirely in $L$, but I know that's not possible, since it'd imply that $\bigcup_{q \in \mathbb{Q}} (K + q) = \mathbb{R}$, which I don't think should be possible if $K$ is nowhere-dense, since that'd mean $\mathbb{R}$ is a countable union of nowhere-dense sets.
It's also possible that there's some other way of showing $L$ contains a non-measurable subset that's much simpler or intuitive than what I've considered. If so, I don't know what it'd be. Is there a more intuitive solution that I haven't considered here?
Thanks in advance.
Best Answer
One method is show there exists a countable family $F$ with $\cup F=\Bbb R,$ such that for each $f\in F,$ the Lebesgue inner measure $l^i(f)$ is $0.$
Now if $S\subset \Bbb R$ is Lebesgue-measurable and not Lebesgue-null then $\{f\cap S: f\in F\}$ includes at least one non-measurable set.
Otherwise $f\cap S$ is measurable for every $f\in F,$ but then $l(S),$ the measure of $S,$ would satisfy $$l(S)=l(\cup_{f\in F}\,f\cap S)\le \sum_{f\in F}\,l(f\cap S)=\sum_{f\in F}\,l^i(f\cap S)\le \sum_{f\in F}\,l^i(f)=0.$$