Measurability of Unions of Certain Dense Sets

Abstract

In this paper we study measurability properties of sets of the form Et = {t + mal + na2lm, n E Z} (t E R) where al, a2 are given real numbers with a1/a2 irrational. Sets such as these have played an important role to establish certain fundamental results in measure theory. However, the question of measurability of unions of these sets seems not to have been solved. In an initial guess, no sets C and T seem apparent for which 0 < mA < mT, where m denotes the Lebesgue measure in R and A = UEC E, n T. In fact, we prove that if T is any Lebesgue measurable subset of R, then no such sets can exist: no matter which C we choose, if A is measurable then mA equals 0 or mT. Moreover, if A is a nonmeasurable set, the same applies to its Lebesgue outer measure. However, if we remove the condition on T of being measurable, we provide an example of (nonmeasurable) sets C and T for which the outer measure of A lies in between 0 and the outer measure of T.