Grundlagen: Stetige Bijektion von kompakt nach Hausdorff · Top hat Limites · Produkt von Hausdorffräumen · Limes von Hausdorffräumen · Limes von kompakten Hausdorffräumen

Satz von Tychonoff · Über den weierstraßschen Satz vom Maximum und Minimum · Kompaktheit und Zusammenhang reeller Intervalle · Analogon zum Satz von Baire für endlich viele abgeschlossene Teilmengen · Der Satz von Poincaré-Bohl impliziert den Satz von Poincaré-Brouwer.

In Topologie und reeller Analysis ist die Tatsache, dass abgeschlossene reelle Intervalle die Eigenschaften der Kompaktheit und des Zusammenhangs haben, von weitreichender Konsequenz. Im Folgenden wird durch einen einfachen Beweis gezeigt, dass hier Kompaktheit schon direkt Zusammenhang impliziert. Es gilt auch das Umgekehrte und mehr noch, dass beide Eigenschaften Ausdruck der Vollständigkeit des Körpers der reellen Zahlen sind.

Proposition: Kompaktheit impliziert Zusammenhang.

Im Einzelnen gilt:

Aus der Tatsche, dass ein Intervalls $[a,b]\subset \mathbb {R}$ in der von $\mathbb {R}$ induzierten Unterraumtopologie ein kompakter Raum ist, folgt, dass $[a,b]$ auch ein zusammenhängender Raum ist.

Beweis

Angenommen es gebe nichtleere , in $[a,b]$ offene Teilmengen $A$ und $B$ , welche das Intervall disjunkt zerlegen, also offene Teilmengen $A\neq \emptyset \neq B$ mit $A\cap B=\emptyset$ und $A\cup B=[a,b]$ .

Beide Teilmengen sind dann auch abgeschlossen in $[a,b]$ und damit kompakt. Folglich ist $A\times B$ ebenfalls kompakt und nichtleer.

Nun ist die auf $A\times B$ eingeschränkte Abstandsfunktion

d\colon \,A\times B\to \mathbb {R} ^{\geq 0}\,,\,(x,y)\mapsto d(x,y)=|x-y|

stetig auf $A\times B$ .

Nach dem weierstraßschen Satz vom Maximum und Minimum muss sie dann auch ihr absolutes Minimum $\min(d)$ annehmen, und zwar in zwei Elementen $x_{0}\in A$ und $y_{0}\in B$ , welche

\min(d)=|x_{0}-y_{0}|

erfüllen.

Dabei muss wegen der Disjunktheit der beiden Teilmengen $A$ und $B$ $\min(d)=|x_{0}-y_{0}|>0$ und damit $x_{0}\neq y_{0}$ gelten.

Nun ist der Mittelpunkt $z_{0}={\frac {x_{0}+y_{0}}{2}}$ des nichtleeren Teilintervalls $[x_{0},y_{0}]\subseteq [a,b]$ notwendig in einer der beiden Teilmengen $A$ bzw. $B$ enthalten.

Andererseits gilt aber auch $|z_{0}-x_{0}|=|z_{0}-y_{0}|={\frac {\min(d)}{2}}<\min(d)$ ,

was aber in jedem Falle die Minimalität von $|x_{0}-y_{0}|$ verletzt.

Folglich liegt ein Widerspruch vor, womit gezeigt ist, dass es eine disjunkte Zerlegung von $[a,b]$ in nichtleere offene Teilmengen $A$ und $B$ nicht geben kann.

Das aber bedeutet, dass $[a,b]$ in der von $\mathbb {R}$ induzierten Unterraumtopologie ein zusammenhängender Raum ist.

Hintergrundliteratur

Horst Schubert: Topologie. Eine Einführung. 4. Auflage. B. G. Teubner Verlag, Stuttgart 1975, ISBN 3-519-12200-6. MR0423277
Lutz Führer: Allgemeine Topologie mit Anwendungen. Vieweg Verlag, Braunschweig 1977, ISBN 3-528-03059-3.