proof of Vitali’s Theorem
Consider the equivalence relation in given by
and let be the family of all equivalence classes of .Let be a of i.e. put in anelement for each equivalence class of (notice that we are using the axiomof choice
).
Given define
that is is obtained translating by a quantity to the right and then cutting the piece which goes beyond the point and putting it on the left, starting from .
Now notice that given there exists such that (because is a section of ) and hence there exists such that . So
Moreover all the are disjoint. In fact if then (modulus ) and are both in which is not possible since they differ by a rational quantity (or ).
Now if is Lebesgue measurable, clearly also are measurable and . Moreover by the countable additivity of we have
So if we had and if we had .
So the only possibility is that is not Lebesgue measurable.