Satz 6.15 Satz von Weierstraß Sei und Dann gilt Ist in stetig und beschränkt und abgeschlossen, dann existieren Minimum und Maximum von in M (d.h., es gibt Elemente , so daß und ).
Beweis. Wir zeigen, daß in ein Maximum besitzt; für das Minimum erfolgt der Beweis analog. Nach Satz 6.14 ist beschränkt, folglich existiert g.z.z.: denn dann ist das Maximum von
Annahme:
Wegen
ist dann
für alle
Nach Definition des Supremums gilt: Für jedes
gibt es ein
, so daß
Also in jeder
-Umgebung
von liegt ein
Punkt und
somit ist
ein Häufungspunkt
von . Nach Satz 6.14 ist
abgeschlossen, folglich ist
!