It is well known that the Vitali set is unmeasurable. When given a measure space $(\mathbb{R},\mathcal{M},\mu)$, can we say that the Vitali set as a subset of $\mathbb{R}$ is never measurable regardless of the choice of the measure $\mu$?
I know the Vitali set is not Lebesgue measurable, but is the Vitali set unmeasurable in every measure space?
Best Answer
The proof that a Vitali set is not Lebesgue measurable relies on the fact that Lebesgue measure is invariant under translation. Unless the measure space $(\mathbb R, \mathcal M, \mu)$ has the property:
then we cannot expect that argument to work.