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 ${\displaystyle n}$-dimensionalen reellen Koordinatenraums ${\displaystyle \mathbb {R} ^{n}}$.

Formulierung des Satzes

Der Satz von Steinhaus besagt:

Bildet man für eine Lebesgue-messbare Teilmenge ${\displaystyle A\subseteq \mathbb {R} ^{n}\;(n=1,2,3,\ldots )}$ mit Lebesgue-Maß ${\displaystyle \lambda ^{n}(A)>0}$ die Menge aller aus zwei Elementen von ${\displaystyle A}$ bildbaren Differenzen, so ist die dadurch gegebene Menge ${\displaystyle A-A=\{a_{1}-a_{2}\;\colon \;a_{1}\in A\;,\;a_{2}\in A\}}$ stets eine Umgebung der ${\displaystyle \mathbf {0} }$.

Mit anderen Worten:

Unter den genannten Bedingungen gibt es immer eine offene Vollkugel ${\displaystyle 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 ${\displaystyle \mathbb {R} }$ als Vektorraum über dem Körper der rationalen Zahlen ${\displaystyle \mathbb {Q} }$ zurückgeführt werden. Sie lassen sich angeben wie folgt:

Gegeben sei eine Hamel-Basis ${\displaystyle B}$ des ${\displaystyle \mathbb {Q} }$-Vektorraums ${\displaystyle \mathbb {R} }$.

Dann gilt:

(1) Ist ${\displaystyle B}$ Lebesgue-messbar in ${\displaystyle \mathbb {R} }$, so ist ${\displaystyle B}$ eine lebesguesche Nullmenge, also vom Lebesgue-Maß ${\displaystyle \lambda ^{1}(B)=0}$ .

(2) Ist ${\displaystyle A}$ eine nichtleere und höchstens abzählbare Teilmenge von ${\displaystyle B}$ und ist ${\displaystyle M_{A}:={\operatorname {span} }_{\mathbb {Q} }(B\setminus A)}$ die ${\displaystyle \mathbb {Q} }$-lineare Hülle von ${\displaystyle B\setminus A}$ , so ist ${\displaystyle M_{A}}$ eine nicht Lebesgue-messbare Teilmenge von ${\displaystyle \mathbb {R} }$.

Anmerkungen

• Laut Jürgen Elstrodt bekräftigt der Satz die intuitive Vorstellung, jede Lebesgue-messbare Teilmenge des ${\displaystyle \mathbb {R} ^{n}}$ sei näherungsweise einer offenen Menge gleich. Hier gilt sogar, dass die Lebesgue-messbaren Teilmengen ${\displaystyle A}$ des ${\displaystyle \mathbb {R} ^{n}}$ die folgende charakteristische Eigenschaft aufweisen:

Zu einer vorgegebenen Schranke ${\displaystyle \delta >0}$ gibt es im ${\displaystyle \mathbb {R} ^{n}}$ stets eine offene Menge ${\displaystyle U}$ sowie eine abgeschlossene Menge ${\displaystyle F}$ mit

${\displaystyle F\subseteq A\subseteq U}$ und ${\displaystyle \lambda ^{n}(U\setminus F)<\delta }$.

• Wie man der von Karl Stromberg in den Proceedings of the American Mathematical Society von 1972 gelieferten Note entnimmt, gibt es zu dem Satz eine Verallgemeinerung auf lokalkompakte Gruppen mit haarschem Maß, welche ebenfalls Satz von Steinhaus (englisch Steinhaus Theorem) genannt wird und deren Formulierung auf den französischen Mathematiker André Weil zurückgeht.
• Zu den Hamel-Basen von ${\displaystyle \mathbb {R} }$ über ${\displaystyle \mathbb {Q} }$ ist noch weit mehr bekannt. So lässt sich etwa zeigen, dass eine solche Hamel-Basis ${\displaystyle B}$ niemals eine Borel-Menge von ${\displaystyle \mathbb {R} }$ sein kann.

Quellen

• Jürgen Elstrodt: Maß- und Integrationstheorie (= Springer-Lehrbuch - Grundwissen Mathematik). 7., korrigierte und aktualisierte Auflage. Springer-Verlag, Heidelberg (u.   a.) 2011, ISBN 978-3-642-17904-4. 
• Hugo Steinhaus: Sur les distances des points dans les ensembles de mesure positive. In: Fundamenta Mathematicae. Band 1, 1920, S. 93–104 (Online [PDF]). 
• Karl Stromberg: An Elementary Proof of Steinhaus's Theorem. In: Proceedings of the American Mathematical Society. Band 36, 1972, S. 308, JSTOR:2039082 (MR0308368). 

Einzelnachweise

1. 1 2 3 Jürgen Elstrodt: Maß- und Integrationstheorie. 2011, S. 67–68
2. 1 2 3 Jürgen Elstrodt: Maß- und Integrationstheorie. 2011, S. 99–100