Der folgende Satz von Bolzano und Cauchy formuliert eines der wichtigsten Prinzipien aus der Theorie der stetigen Funktionen. Besitzt eine auf einem Intervall gegebene stetige Funktion in zwei verschiedenen Punkten Funktionswerte mit verschiedenen Vorzeichen, so muss diese Funktion die -Achse zwischen diesen Punkten schneiden.
Theorem 2.12.20. Es sei in stetig, , sowie , und . Dann existiert ein Punkt aus dem Inneren des Intervalls , so dass .
Problem 2.12.21. Veranschaulichen Sie sich, dass diese Aussage ohne die Voraussetzung der Stetigkeit nicht gilt!
Lemma 2.12.22. Die Funktion sei stetig im Punkt und . Dann erhält diese Funktion in einer genügend kleinen Umgebung von ihr Vorzeichen, d.h.
Beweis. Wir betrachten mit . Nach der -Definition der Stetigkeit existiert ein , so dass für alle gilt . Ist positiv, so sind wegen die Funktionswerte ebenfalls positiv. Ist hingegen negativ, dann folgt und ist negativ. □
Wir wenden uns nun dem Beweis von Satz 2.12.20 zu.
Beweis. Wir betrachten o.B.d.A. den Fall . Es sei die Menge
Wegen ist dies eine beschränkte Menge. Weiterhin gilt und damit . Nach dem Satz vom Supremum existiert damit eine Zahl mit .
Die Zahl ist wegen offensichtlich eine obere Schranke von . Nach Lemma 2.12.22 gilt zudem für für ein geeignetes . Für als kleinste obere Schranke von folgt daraus . Umgekehrt folgt aus auch für und geeignetes . Damit ist . Als obere Schranke von erfüllt folglich und damit auch .
Schliesslich bleibt zu zeigen, dass . Da so existiert eine Folge von Elementen mit . Wegen und der Stetigkeit von folgt
Es sei nun . Dann ist nach Lemma 2.12.22 für und geeignetes , d.h. . Damit wäre aber keine obere Schranke von , was zum Widerspruch führt. Also gilt . □
Remark 2.12.23. Ist unter den Voraussetzungen von Satz 2.12.20 die Funktion zudem streng monoton, so ist der Punkt mit eindeutig gegeben. Mit anderen Worten: Die Gleichung besitzt dann immer genau eine Lösung .
Corollary 2.12.24. Die Funktion sei stetig in . Für zwei Punkte mit betrachte man die Werte
Dabei sei . Dann existiert für jedes mindestens ein Punkt mit der Eigenschaft . Ist die Funktion zudem streng monoton auf , so ist eindeutig bestimmt.
Beweis. Man wende Satz 2.12.20 auf die Funktion auf dem Intervall an. □