Existence of measure zero generating sets of additive real numbers. Just getting around to posting thoughts I had regarding this question about the additive structure of the real numbers. I was interested in which sets generate $(\mathbb{R},+)$. First, is the following argument correct? Given any set $A$ of positive Lebesgue measure, the Steinhaus theorem says that $A-A$ contains an open neighborhood of the origin. As per Arturo Magidin's answer to the original question, any such interval generates $\mathbb{R}$. Noting that $A-A$ is contained in the subgroup of $\mathbb{R}$ generated by $A$, we see that $A$ in fact generates $\mathbb{R}$.
Second, are there sets of measure zero which generate $\mathbb{R}$? I looked around a bit, but am not really sure what tools to use to approach this question.

You could just take $\{1,-1\}$ and numbers from [0,1] whose representation in decimal system contains only zeros and ones. The measure of this set is $$1-\sum\frac{9^n}{10^{n+1}} = 1 - \frac{1}{10}\frac{1}{1-\frac{9}{10}} = 0.$$ To prove that this generates $\mathbb{R}$, let $x$ be the real number from [0,1] to be represented (the integer part is trivial to generate). Set $x_i$ to be the number which has ones on the places where $x$ has digit $i$ and then $x = 1x_1 + 2x_2 + \ldots + 9x_9$.
Edit: in fact this is the same as martini's comment (my set is a version of set of Cantor).
