Satz von Steinhaus
# Satz von Steinhaus

Der Satz von Steinhaus ist ein Lehrsatz des mathematischen Teilgebiets der Maßtheorie, der auf eine Arbeit des polnischen Mathematikers Hugo Steinhaus im ersten Band der Fundamenta Mathematicae (1920) zurückgeht. Er behandelt eine grundlegende topologische Eigenschaft der Lebesgue-messbaren Teilmengen des $n$-dimensionalen reellen Koordinatenraums $\mathbb {R} ^{n}$.

## Formulierung des Satzes

Der Satz von Steinhaus besagt:
    Bildet man für eine Lebesgue-messbare Teilmenge $A\subseteq \mathbb {R} ^{n}\;(n=1,2,3,\ldots )$ mit Lebesgue-Maß $\lambda ^{n}(A)>0$ die Menge aller aus zwei Elementen von $A$ bildbaren Differenzen, so ist die dadurch gegebene Menge $A-A=\{a_{1}-a_{2}\;\colon \;a_{1}\in A\;,\;a_{2}\in A\}$ stets eine Umgebung der $\mathbf {0}$.
    Mit anderen Worten:
    Unter den genannten Bedingungen gibt es immer eine offene Vollkugel $U_{\delta }(\mathbf {0} )\subseteq A-A\;(\delta >0)$.

## Folgerungen: Zwei Sätze von Sierpiński

Auf den Satz von Steinhaus können zwei Sätze des polnischen Mathematikers Wacław Sierpiński über Hamel-Basen von $\mathbb {R}$ als Vektorraum über dem Körper der rationalen Zahlen $\mathbb {Q}$ zurückgeführt werden. Sie lassen sich angeben wie folgt:
    Gegeben sei eine Hamel-Basis $B$ des $\mathbb {Q}$-Vektorraums $\mathbb {R}$.
    Dann gilt:
    (1) Ist $B$ Lebesgue-messbar in $\mathbb {R}$, so ist $B$ eine lebesguesche Nullmenge, also vom Lebesgue-Maß $\lambda ^{1}(B)=0$ .
    (2) Ist $A$ eine nichtleere und höchstens abzählbare Teilmenge von $B$ und ist $M_{A}:={\operatorname {span} }_{\mathbb {Q} }(B\setminus A)$ die $\mathbb {Q}$-lineare Hülle von $B\setminus A$ , so ist $M_{A}$ eine nicht Lebesgue-messbare Teilmenge von $\mathbb {R}$.

### Zum Beweis der beiden Folgerungen

An Jürgen Elstrodt anschließend lässt sich ein Beweis für (1) wie folgt führen:
    Sofern eine solche Hamel-Basis $B$ als Lebesgue-messbar mit Lebesgue-Maß $\lambda ^{1}(B)>0$ vorausgesetzt wird, ergibt sich ein Widerspruch.
    Da nämlich eine solche Hamel-Basis $B$ nicht die leere Menge ist, lässt sich ein $a\in B$ auswählen und damit die reelle Nullfolge $\left({\tfrac {a}{\nu }}\right)_{\nu \in \mathbb {N} }$ bilden.
    Nun kommt zum Tragen, dass dann jedoch nach dem Satz von Steinhaus $B-B$ eine Nullumgebung sein muss, weswegen fast alle Glieder der Nullfolge darin enthalten sein müssen.
    Also gibt es auch eine natürliche Zahl $n$ und dazu zwei verschiedene $b,c\in B$, für die
       ${\frac {1}{n}}\cdot a=b-c$
    gilt.
    Das aber bedeutet, dass auch
       $0={\frac {1}{n}}\cdot a+(-1)\cdot b+1\cdot c$
    gilt.
    Damit hat man eine nichttriviale Darstellung der $0\in \mathbb {R}$ als Linearkombination von Elementen aus $B$ mit Koeffizienten aus $\mathbb {Q}$, was unvereinbar mit der Voraussetzung ist, dass $B$ eine Hamel-Basis von $\mathbb {R}$ über $\mathbb {Q}$ sein soll.
    Daher kann eine solche Lebesgue-messbare Hamel-Basis $B$ einzig und allein eine lebesguesche Nullmenge sein.
Der Beweis von (2) geht ähnlich und beruht auf der Translationsinvarianz des Lebesgue-Maßes und der Tatsache, dass stets $M_{A}-M_{A}=M_{A}$ gilt.