en.wikipedia.org

Steinhaus theorem - Wikipedia

From Wikipedia, the free encyclopedia

In the mathematical field of real analysis, the Steinhaus theorem states that the difference set of a set of positive measure contains an open neighbourhood of zero. It was first proved by Hugo Steinhaus.^[1]

Let A be a Lebesgue-measurable set on the real line such that the Lebesgue measure of A is not zero. Then the difference set

$A-A=\{a-b\mid a,b\in A\}$

contains an open neighbourhood of the origin.

The general version of the theorem, first proved by André Weil,^[2] states that if G is a locally compact group, and A ⊂ G a subset of positive (left) Haar measure, then

$AA^{-1}=\{ab^{-1}\mid a,b\in A\}$

contains an open neighbourhood of unity.

The theorem can also be extended to nonmeagre sets with the Baire property. The proof of these extensions, sometimes also called Steinhaus theorem, is almost identical to the one below.

The following simple proof can be found in a collection of problems by late professor H.M. Martirosian from the Yerevan State University, Armenia (Russian).

For any $\varepsilon >0$ , there exists an open set $\,{\cal {U}}$ , so that $A\subset {\cal {U}}$ and $\mu ({\cal {U}})<\mu (A)+\varepsilon$ . Since $\,{\cal {U}}$ is a union of open intervals, for a given $\alpha \in (1/2,1)$ , we can find an interval $(a,b)$ such that $\mu (B)>\alpha (b-a)$ , where $B=(a,b)\cap A$ .

Let $\delta =(2\alpha -1)(b-a)$ . Suppose for contradiction that there exists $|x|<\delta$ such that $(x+A)\cap A=\varnothing$ . Then, $(x+B)\cap B=\varnothing$ , and thus

$\mu ((x+B)\cup B)=2\mu (B)$

But, we also have

$\mu ((x+B)\cup B)\leq \mu ((a,b+|x|))<b-a+\delta$ ,

so $2\mu (B)<b-a+\delta =2\alpha (b-a)$ , which contradicts $\mu (B)>\alpha (b-a)$ .

Hence, $(x+A)\cap A\neq \varnothing$ for all $|x|<\delta$ , and it follows immediately that $\{x:|x|<\delta \}\subset A-A$ , as desired.

A corollary of this theorem is that any measurable proper subgroup of $(\mathbb {R} ,+)$ is of measure zero.

Falconer's conjecture

^ Steinhaus (1920); Väth (2002)
^ Weil (1940) p. 50

Steinhaus, Hugo (1920). "Sur les distances des points dans les ensembles de mesure positive" (PDF). Fund. Math. (in French). 1: 93–104. doi:10.4064/fm-1-1-93-104..
Weil, André (1940). L'intégration dans les groupes topologiques et ses applications. Hermann.
Stromberg, K. (1972). "An Elementary Proof of Steinhaus's Theorem". Proceedings of the American Mathematical Society. 36 (1): 308. doi:10.2307/2039082. JSTOR 2039082.
Sadhukhan, Arpan (2020). "An Alternative Proof of Steinhaus's Theorem". American Mathematical Monthly. 127 (4): 330. arXiv:1903.07139. doi:10.1080/00029890.2020.1711693. S2CID 84845966.

Väth, Martin (2002). Integration theory: a second course. World Scientific. ISBN 981-238-115-5.