real analysis - Does every non null lebesgue measurable set contain a non-measurable subset?

We know that the Lebesgue measure obtained via the usual Caratheodory extension is complete. As such, the subset of every null set is null.

Is it possible to prove that every non-null measurable subset $A\subseteq \mathbb R$ contains a non-measurable subset $B\subseteq A$?

I suppose it must be true, if it has non-empty interior then it must be true (just use an isometry to take a "copy" of a vitali set inside the interval).

Answer

You can just imitate the usual construction - let $ A $ be a measurable subset of $ \mathbb R $, and choose a bounded interval $ I $ such that $ A \cap I = X $ has nonzero measure. By translating and scaling, we may wlog assume $ I = [0, 1] $. Let $ V $ be a set of representatives in $ I $ for the cosets of $ \mathbb R / \mathbb Q $ intersecting $ X $ (obviously $ V $ may be chosen to be a subset of $ X $, and thus of $ A $), and note that choosing an enumeration $ q_k $ of the rationals in $ [-1, 1] $ and defining $ V_k = V + q_k $ gives that

$$ \mu(X) \leq \sum_{k=1}^{\infty} \mu(V_k) = \sum_{k=1}^{\infty} \mu(V) \leq 3 $$

which is a contradiction, since $ \mu(X) \neq 0 $.