Benutzer:Schojoha/Spielwiese/Sicherungen

Über den weierstraßschen Satz vom Maximum und Minimum

Dieser klassische Satz für stetige reellwertige Funktionen auf Kompakta wird in Topologie und Analysis auf die Tatsache zurückgeführt - vgl. etwa Schubert, S. 62, und Forster, S. 32 - dass das stetige Bild eines Kompaktums stets eine kompakte Teilmenge der reellen Zahlen nach dem Satz von Heine-Borel-Lebesgue immer abgeschlossen und beschränkt innerhalb $\mathbb {R}$ ist und dass damit die Bildmenge einer stetigen reellwertigen Funktion zwingend ihr Supremum und genauso ihr Infimum enthalten muss.

Diese Argumentation stellt die Hausdorffeigenschaft, also die Separiertheit von $\mathbb {R}$ in Rechnung, denn aus dieser folgt, dass kompakte Teilmengen von $\mathbb {R}$ notwendig abgeschlossen sind.

Der weierstraßschen Satz lässt sich jedoch unabhängig von allen Separiertheitsbetrachtungen mit Hilfe eines einfachen Widerspruchsbeweises beweisen, wobei sich zeigt, dass dabei die Hausdorffeigenschaft von $\mathbb {R}$ ohne Belang ist und dass auch die meisten der anderen charakteristischen Eigenschaften von $\mathbb {R}$ (wie etwa die Vollständigkeit) zum Beweis nicht benötigt werden.

Vielmehr zeigt es sich, dass der weierstraßschen Satz aus ordnungstheoretischen und logischen Gründen gilt, nämlich im Wesentlichen aufgrund der Tatsache, dass in einer endlichen teilweise geordneten Menge stets ein maximales und ein minimales Element existiert. Dies ergibt sich sich mit der folgenden allgemeinen Proposition (Proposition über Maximalstellen), welche sogar allgemeiner oberhalbstetige Abbildung einbezieht.

Proposition über Maximalstellen

Sie lässt sich formulieren wie folgt:

Gegeben seien nichtleere topologische Räume $(X,{\mathcal {O}}_{X})$ und $(Y,{\mathcal {O}}_{Y})$ mit Topologien ${\mathcal {O}}_{X}$ bzw. ${\mathcal {O}}_{Y}$.

$(X,{\mathcal {O}}_{X})$ sei quasikompakt.

Zudem sei $(Y,<)$ eine strikt geordnete Menge und die Ordnungsrelation $<$ sei mit der Topologie ${\mathcal {O}}_{Y}$ verträglich - in dem Sinne, dass alle Ordnungsideale der Gestalt $]\;,y_{0}[=\{y\in Y|y<y_{0}\}$   $(y_{0}\in Y)$ offen in $(Y,{\mathcal {O}}_{Y})$ sein sollen.

Weiter sei $f\colon (X,{\mathcal {O}}_{X})\to (Y,{\mathcal {O}}_{Y},<)$ eine oberhalbstetige Abbildung.

Dann gilt:

(B) Die Bildmenge $f(X)$ hat in der Relativordnung $<_{{\upharpoonright }{f(X)}}$ stets ein maximales Element.

Duale Proposition über Minimalstellen

In dualer Weise gilt:

Gegeben seien nichtleere topologische Räume $(X,{\mathcal {O}}_{X})$ und $(Y,{\mathcal {O}}_{Y})$ mit Topologien ${\mathcal {O}}_{X}$ bzw. ${\mathcal {O}}_{Y}$.

$(X,{\mathcal {O}}_{X})$ sei quasikompakt.

Zudem sei $(Y,<)$ eine strikt geordnete Menge und die Ordnungsrelation $<$ sei mit der Topologie ${\mathcal {O}}_{Y}$ im dualen Sinne verträglich, also so , dass alle Ordnungsfilter der Gestalt $]y_{0}\;,[=\{y\in Y|y>y_{0}\}$   $(y_{0}\in Y)$ offen in $(Y,{\mathcal {O}}_{Y})$ sein sollen.

Weiter sei $f\colon (X,{\mathcal {O}}_{X})\to (Y,{\mathcal {O}}_{Y},<)$ eine unterhalbstetige Abbildung.

Dann gilt:

(B) Die Bildmenge $f(X)$ hat in der Relativordnung $<_{{\upharpoonright }{f(X)}}$ stets ein minimales Element.

Beweis der Propositionen

Es ist aus Dualitätsgründen ausreichend, von den beiden Propositionen die erstere für den Fall der Maximalstellen von oberhalbstetigen Abbildungen zu beweisen.

Dazu wird die folgendes Annahme (A) zum Widerspruch geführt:

(A) Die Bildmenge $f(X)$ hat bezüglich $<_{{\upharpoonright }{f(X)}}$ kein maximales Element .

Aus (A) ergibt sich dann die folgende Identität :

(I) $X=\bigcup _{x\in X}{f^{-1}(]\;,f(x)[)}$   .

Denn (A) ist gleichbedeutend damit, dass für ein beliebiges $x_{0}\in X$ stets ein $x_{1}\in X$ derart existiert, dass $f(x_{0})<f(x_{1})$ erfüllt ist und damit auch $f(x_{0})\in \;]\;,f(x_{1})[$ und schließlich $x_{0}\in \;f^{-1}(]\;,f(x_{1})[)$   .

Nun ist weiter zu berücksichtigen, dass die vorausgesetzte Oberhalbstetigkeit von $f$ bedeutet, dass die Mengen in der Vereinigungsmenge auf der rechten Seite von (I) durchweg offen in $(X,{\mathcal {O}}_{X})$ sind.

In Verbindung mit der Quasikompaktheit von $(X,{\mathcal {O}}_{X})$ ergibt sich dann mit der Borel-Lebesgueschen Überdeckungseigenschaft, dass sogar schon für eine nichtleere endliche Teilmenge $A\subseteq X$

(II) $X=\bigcup _{a\in A}{f^{-1}(]\;,f(a)[)}$

gültig ist.

Da nun $(f(A),<_{{\upharpoonright }{f(A)}})$ eine endliche geordnete Menge und ebenfalls nichtleer ist, muss darin ein maximales Element, etwa

$f(a_{max})$ für ein $a_{max}\in A$

existieren.

Wegen (II) gibt es jedoch ein $a_{0}\in A$ mit

$a_{max}\in \;{f^{-1}(]\;,f(a_{0})[)}$  .

Das aber bedeutet

$f(a_{max})\in \;]\;,f(a_{0})[$

und daher

$f(a_{max})<f(a_{0})$  .

Letztere Ungleichung ist jedoch mit der Maximalität von $f(a_{max})$ in $(f(A),<_{{\upharpoonright }{f(A)}})$ unvereinbar.

Folglich kann (A) nicht gelten und statt dessen muss (B) wahr sein.

Korollar: Der Satz vom Maximum und Minimum

Dieser Satz folgt aus den obigen Propositionen aufgrund dessen, dass einerseits eine stetige reelle Funktion immer gleichzeitig oberhalb- und unterhalbstetig ist und dass andererseits $\mathbb {R}$ linear geordnet ist.

Es gilt demnach:

Für jeden quasikompakten topologischen Raum $(X,{\mathcal {O}}_{X})$und jede stetige reelle Funktion $f\colon (X,{\mathcal {O}}_{X})\to \mathbb {R}$ werden auf der Bildmenge $f(X)$ in der von den reellen Zahlen induzierten Relativordnung $<_{{\upharpoonright }{f(X)}}$ stets Maximum und Minimum angenommen.

Historie und Gewichtung des Resultats

Gemäß einem Papier von S. P. Franklin aus dem Jahre 1965 treten die beiden obigen Propositionen auch schon in der 1948er Ausgabe der Lattice Theory des amerikanischen Mathematikers Garrett Birkhoff auf. Franklin spricht hier vom theorem of Birkhoff. Wie Franklin zeigt, können die Aussagen beider Propositionen als charakteristisch für quasikompakte Räume betrachtet werden.

Zum Hintergrund: Ein allgemeiner Satz

Oben implizit mitbeweisen wurde der folgende allgemeine Satz:

Gegeben seien nichtleere Mengen $T$, $X$ und $Y$.

Weiter sei $T\subseteq X$ und zudem sei $(Y,\leq )$ eine teilweise geordnete Menge und dazu gegeben sei eine Abbildung $f\colon X\to Y$.

Dann gilt:

Hat $X$ die Darstellung

$X=\bigcup _{t\in T}{f^{-1}(]\;,f(t)[)}$

so ist $T$ – und damit auch $X$! – unendlich.

Folgerung: Ein Kriterium für unendliche Mengen

Gegeben sei eine nichtleere Menge $X$.

Dann gilt:

$X$ ist unendlich dann und nur dann, wenn es eine Teilmenge $T\subseteq X$ gibt sowie eine teilweise geordnete Menge $(Y,\leq )$ und weiter eine Abbildung $f\colon X\to Y$ derart, dass $X$ die Darstellung

$X=\bigcup _{t\in T}{f^{-1}(]\;,f(t)[)}$

hat.

Beweis des Kriteriums

Es ist wegen des letzten Satzes nur noch zu zeigen, dass es im Falle, dass $X$ eine unendliche Menge ist, eine Darstellung der genannten Art gibt.

Dazu kann man als gegeben annehmen, dass es in $X$ eine injektive unendliche Folge $\left(x_{i}\right)_{i=0,1,2,\ldots }$ gibt.

Nun setzt man

$S:=\{x_{i}:i=0,1,2,\ldots \}$

und

$T:=S\setminus \{x_{0}\}$

und

$Y:=\mathbb {N} _{0}$ .

Die Abbildung

$f\colon X\to Y$

wird definiert wie folgt:

Für $x\in X$ sei

$f(x):={\begin{cases}\ &0&&\mathrm {\;\;f{\ddot {u}}r\;\;} x\in X\setminus S,\\\ &n&&\mathrm {\;\;f{\ddot {u}}r\;\;} x\in S\mathrm {\;\;mit\;\;} x=x_{n}\,(n\in \mathbb {N} _{0}).\\\end{cases}}$ .

Damit ergibt sich

$f(S)=\mathbb {N} _{0}$

und

$f(T)=\mathbb {N}$

und

$f^{-1}(\{0\})=X\setminus S\cup \{x_{0}\}$

und damit

$X=\bigcup _{m\in \mathbb {N} _{0}}{f^{-1}(\{m\})}=\bigcup _{n\in \mathbb {N} }{f^{-1}(\{0,1,2,\ldots ,n-1\})}=\bigcup _{t\in T}{f^{-1}(]\;,f(t)[)}$

und damit die Behauptung.

Hintergrundliteratur

• Otto Forster: Analysis 2 (= Grundkurs Mathematik). 8., aktualisierte Auflage. Vieweg+Teubner, Wiesbaden 2008, ISBN 978-3-8348-9541-7. 
• Bernhard Ganter: Diskrete Mathematik: Geordnete Mengen (= Springer-Lehrbuch). Springer Spektrum, Berlin - Heidelberg 2013, ISBN 978-3-642-37499-9. 
• Egbert Harzheim: Ordered Sets (= Advances in Mathematics. Band 7). Springer Verlag, New York, NY 2005, ISBN 0-387-24219-8 (MR2127991). 
• Horst Schubert: Topologie. Eine Einführung (= Mathematische Leitfäden). 4. Auflage. B. G. Teubner Verlag, Stuttgart 1975, ISBN 3-519-12200-6. 
• S. P. Franklin: Compactness and semi-continuity. In: Israel Journal of Mathematics. Band 3, 1965, S. 13–14 ([1]).