Satz, der besagt, dass eine stetige reellwertige Funktion auf einer kompakten Menge sowohl ein Maximum als auch ein Minimum annimmt (d. h. es gibt Punkte, an denen die Funktion ihr globales Supremum und Infimum erreicht).

Prinzip

Stetigkeit auf einem kompakten Gebiet verhindert, dass Werte „entweichen“ ohne ein Extremum zu erreichen; Kompaktheit zusammen mit Stetigkeit führt zur Existenz von Extrema.

Demonstration

Beispiel: f(x)=x(1-x) auf [0,1] ist stetig und nimmt sein Maximum 1/4 bei x=1/2 und sein Minimum 0 bei x=0 und x=1 an — ein konkretes Beispiel für die tatsächliche Erreichung globaler Extrema.

Fehlanwendung

Annahme, dass Extrema auf nichtkompakten Gebieten existieren (z. B. f(x)=x auf (0,1) hat kein Maximum, obwohl das Supremum existiert) oder für unstetige Funktionen; solche Fehler führen zu falschen Optimierungsschlüssen.

Konsequenz

Gewährleistet die Existenz von Lösungen für Optimierungsprobleme über kompakte Mengen und stützt Argumente, die globale Maxima oder Minima benötigen, etwa Existenzbeweise für Minimierer in Variationsproblemen.

Umkehrung

Die Umkehrung ist falsch: Dass eine Funktion Maxima und Minima auf einer Menge annimmt, impliziert nicht, dass die Menge kompakt oder die Funktion stetig ist; die Erreichung kann zufällig auf nichtkompakten Mengen oder bei bestimmten unstetigen Funktionen auftreten.

Abgrenzung

Gilt für reellwertige stetige Funktionen auf kompakten Teilmengen des euklidischen Raums (oder kompakten topologischen Räumen). Schließt nichtkompakte Gebiete, unstetige Abbildungen und Situationen aus, in denen nur lokale Extrema betrachtet werden.

Semantische Spannung

Spannung zwischen Supremum/Infimum und tatsächlicher Erreichung: Der Satz garantiert Erreichung (Maximum/Minimum), nicht bloß Existenz von Sup/Inf; Verwechslungen entstehen, wenn man kompaktheitsbedingte Erreichung mit bloßer Beschränktheit oder Supremumsexistenz verwechselt.

Synthese

Der Extremwertsatz verbindet topologische Kompaktheit mit Stetigkeit, um sicherzustellen, dass globale Extrema keine bloßen Grenzwerte sind, sondern an tatsächlichen Punkten des Definitionsbereichs realisiert werden; er ist ein grundlegendes Existenzresultat für globale Optimierung auf kompakten Mengen.