Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

This question has come up while playing around with the Steinhaus theorem:

Let $F-F$ denote the algebraic difference $\{f-g \mod 1 | f,g \in F\}$. Suppose that $F\subset[0,1]$ with $\mu F>0$ , where $\mu$ is the usual Lebesgue measure. If we know that $F-F = [0,1]$, may we conclude that $\mu F = 1$?

Thanks for your input!

share|cite|improve this question
So you are looking for a converse to Steinhaus? No, not true, try $F=$ Cantor set. – Lubin Nov 12 '12 at 5:12
@Lubin, OP asks for example with positive Lebesgue measure. Of course, your example is easily modified. – Gerry Myerson Nov 12 '12 at 5:27

1 Answer 1

up vote 1 down vote accepted

Here is a simple counter-example: $F=[0,\frac{1}{2}]$.

share|cite|improve this answer
Thanks richard! Should've seen something so straightforward. – Mathemantissa Nov 12 '12 at 5:28

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.