If i have a measurable set with positive measure, how do I prove that there are 2 elements who's difference is in Q~{0} (aka a rational number that isn't 0.
Let M is measurable such that there are no two elements who's differences are in [itex]\mathbb{Q}\setminus \{0\}[/itex]. Let [itex]M_n=M\cap[n,n+1][/itex].