Satz vom Minimum und Maximum

Eine auf [a,b] definierte stetige Funktion, die ihr Maximum und Minimum annimmt

Der Satz vom Minimum und Maximum ist ein mathematischer Lehrsatz aus dem Gebiet der Analysis, der dem deutschen Mathematiker Karl Weierstraß zugerechnet wird. Der Satz besagt, dass jede auf einem kompakten reellen Intervall definierte, reellwertige und stetige Funktion beschränkt ist und im Definitionsbereich ihr Maximum sowie Minimum annimmt. Er ist einer der Hauptsätze der Analysis und stellt ein wichtiges Instrument zum Beweis der Existenz von Extremwerten solcher Funktionen dar.

Satz vom Minimum und Maximum

Der Satz lässt sich in mehreren Fassungen formulieren:

(Ia) Jede auf einem kompakten Intervall {\displaystyle [a,b]\subset \mathbb {R} \;(a\leq b)} definierte stetige Funktion ist dort beschränkt und nimmt dort ein Maximum und ein Minimum an.

Oder ausführlich:

(Ib) Ist {\displaystyle f\colon [a,b]\to \mathbb {R} } eine stetige Funktion, so gibt es stets Argumente {\displaystyle {\tilde {x}},{\hat {x}}\in [a,b]} derart, dass für jedes andere Argument x\in[a,b] die Ungleichung {\displaystyle f({\hat {x}})\leq f(x)\leq f({\tilde {x}})} erfüllt ist.

Oder kurz und unter Einbeziehung des Zwischenwertsatzes:

(II) Für jede stetige Funktion {\displaystyle f\colon [a,b]\to \mathbb {R} } existieren Argumente {\displaystyle {\tilde {x}},{\hat {x}}\in [a,b]} mit {\displaystyle f([a,b])=[f({\hat {x}}),f({\tilde {x}})]} .

Beweis

Voraussetzung: Sei {\displaystyle f\colon [a,b]\to \mathbb {R} } eine stetige Funktion mit a,b\in\R und a\leq b.

{\displaystyle M=f([a,b])} sei die Menge aller Funktionswerte, die f annimmt.

Die Folgen {\displaystyle (y_{n}),y_{n}\in M} und {\displaystyle (x_{n}),x_{n}\in [a,b]} mit jeweils n\in \mathbb {N} heißen zugehörig, wenn für je ein Folgenglied gilt: {\displaystyle f(x_{n})=y_{n}}.

(x_{k}) bzw. {\displaystyle (y_{k})} sei eine durch geeignete Auswahl aus (x_{n}) bzw. {\displaystyle (y_{n})} entstehende Teilfolge, wobei {\displaystyle k\in K\subset \mathbb {N} }.


A. Behauptung: Jede Folge {\displaystyle (y_{n})} hat eine Teilfolge {\displaystyle (y_{k})}, die gegen ein {\displaystyle y_{l}\in M} konvergiert.

Beweis: Die {\displaystyle (y_{n})} zugehörige Folge (x_{n}) ist wegen {\displaystyle x_{n}\in [a,b]} beschränkt. Mit dem Satz von Bolzano-Weierstraß lässt sich aus (x_{n}) eine konvergente Teilfolge (x_{k}) auswählen. Da [a,b] kompakt ist, konvergiert (x_{k}) gegen ein {\displaystyle x_{l}\in [a,b]}. Da f in [a,b] stetig ist, konvergiert die zugehörige Folge {\displaystyle (y_{k})} nach dem Folgenkriterium der Stetigkeit gegen {\displaystyle y_{l}=f(x_{l})\in M}.


B. Behauptung: f ist in [a,b] nach oben beschränkt.

Der Beweis wird indirekt geführt. - Annahme: f ist nicht nach oben beschränkt.

Dann gibt es eine streng monoton steigende und (bestimmt) divergente Folge {\displaystyle (y_{n})}.[1] Jede Teilfolge {\displaystyle (y_{k})} von {\displaystyle (y_{n})} ist ebenfalls divergent. Das ist widersprüchlich, denn mit A. lässt sich aus {\displaystyle (y_{n})} eine konvergente Teilfolge {\displaystyle (y_{k})} auswählen.

Also ist f nach oben beschränkt, und M hat ein Supremum s\in \mathbb {R} .


C. Behauptung: f nimmt in [a,b] ein Maximum an.

Aus geeignet gewählten Elementen von M lässt sich eine Folge {\displaystyle (y_{n})} erstellen, die gegen das Supremum s von M konvergiert.[2] Jede Teilfolge {\displaystyle (y_{k})} von {\displaystyle (y_{n})} konvergiert ebenfalls gegen s. Mit A. gibt es eine Teilfolge {\displaystyle (y_{k})} von {\displaystyle (y_{n})}, die gegen {\displaystyle y_{l}=f(x_{l})\in M} konvergiert. Wegen der Eindeutigkeit des Grenzwerts ist {\displaystyle s=y_{l}} das Maximum der Behauptung.


D. Behauptung: f ist in [a,b] nach unten beschränkt und nimmt dort ein Minimum an.

Zum Beweis ist in B. und C. "oben" durch "unten", "steigend" durch "fallend", "Supremum" durch "Infimum" und "Maximum" durch "Minimum" zu ersetzen.[3]

Bemerkungen

Verallgemeinerung

Der gleiche Satz - gemäß den Fassungen (Ia) oder (Ib) - gilt auch noch, wenn anstelle eines kompakten reellen Intervalls ein beliebiger quasikompakter topologischer Raum zugrundegelegt wird: Stetige Bilder von quasikompakten topologischen Räumen unter reellwertigen Funktionen sind innerhalb der reellen Zahlen stets abgeschlossen und beschränkt. [4]

Die Fassung (II) lässt sich daran anschließend dahingehend verallgemeinern, dass stetige Bilder von zusammenhängenden quasikompakten topologischen Räumen unter reellwertigen Funktionen innerhalb der reellen Zahlen stets kompakte Intervalle sind.

Anmerkungen

  1. Ein Beispiel ist die rekursiv definierte Folge {\displaystyle (y_{n})}: y_{0} beliebig, {\displaystyle y_{n}+1\leq y_{n+1}} beliebig.
  2. Ein Beispiel ist die rekursiv definierte Folge {\displaystyle (y_{n})}: y_{0} beliebig, {\displaystyle s\geq y_{n+1}\geq (s+y_{n})/2}.
  3. Im Beweis der Existenz des Minimums sind Beispiele für rekursiv definierte Folgen des Beweisgangs: in B. {\displaystyle (y_{n})}: y_{0} beliebig, {\displaystyle y_{n}-1\geq y'_{n+1}} beliebig, bzw. in C. {\displaystyle (y_{n})}: y_{0} beliebig, {\displaystyle s\leq y_{n+1}\leq (s+y_{n})/2} beliebig.>
  4. Der Satz vom Minimum und Maximum lässt sich sogar auf den Fall der halbstetigen Funktionen ausdehnen.
Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung:  Jena, den: 17.12. 2020