Zwischenwertsatz/Intervall/Textabschnitt

Wir interessieren uns dafür, was unter einer stetigen Abbildung mit einem Intervall passiert. Der Zwischenwertsatz besagt, dass das Bild wieder ein Intervall ist.



Satz  

Es seien reelle Zahlen und sei eine stetige Funktion. Es sei eine reelle Zahl zwischen und .

Dann gibt es ein mit .

Beweis  

Wir beschränken uns auf die Situation und zeigen die Existenz von einem solchen mit Hilfe einer Intervallhalbierung. Dazu setzt man und , betrachtet die Intervallmitte und berechnet

Bei setzt man

und bei setzt man

In jedem Fall hat das neue Intervall die halbe Länge des Ausgangsintervalls und liegt in diesem. Da es wieder die Voraussetzung erfüllt, können wir darauf das gleiche Verfahren anwenden und gelangen so rekursiv zu einer Intervallschachtelung. Sei die durch diese Intervallschachtelung gemäß Fakt definierte reelle Zahl. Für die unteren Intervallgrenzen gilt und das überträgt sich wegen der Stetigkeit nach dem Folgenkriterium auf den Grenzwert , also . Für die oberen Intervallgrenzen gilt und das überträgt sich ebenfalls auf , also .  Also ist .


Die in diesem Beweis beschriebene Methode ist konstruktiv und kann zu einem expliziten Verfahren ausgebaut werden.



Korollar  

Es seien reelle Zahlen und sei eine stetige Funktion mit und .

Dann gibt es ein mit und mit ,

d.h. besitzt eine Nullstelle zwischen und .

Beweis  

Dies folgt direkt aus Fakt.



Beispiel  

Ein regelmäßiger quadratischer Tisch mit vier Beinen steht auf einem unebenen, aber stufenfreien Untergrund. Im Moment steht er auf den Beinen und das Bein ragt in die Höhe (wenn man in ihrer Position belässt und auf den Boden drückt, würde versinken). Wir behaupten, dass man den Tisch durch eine (maximal Viertel)-Drehung um die eigene Achse (sagen wir gegen den Uhrzeigersinn) in eine Position bringen kann, wo er auf allen vier Beinen steht (wobei der Tisch nicht unbedingt genau horizontal stehen muss). Dazu betrachten wir die Funktion, die einem Drehwinkel (zwischen und Grad) die Höhe des Beines über dem Grund zuordnet, wenn die drei übrigen Beine auf dem Boden stehen (würden). Dabei kann diese Höhe auch negativ werden (was sich bei einem sandigen Untergrund praktisch realisieren lässt; sonst denke man sich dies „virtuell“). Bei Grad ist die Höhe positiv. Bei Grad erhält man eine Situation, die symmetrisch zur Ausgangssposition ist, wobei aber nach wie vor die Beine auf dem Boden sein sollen. Wegen der in der Klammer formulierten Beobachtung muss die Höhe von negativ sein. Die Funktion hat also auf dem Intervall sowohl positive als auch negative Werte. Da sie wegen der Stufenfreiheit stetig ist, besitzt sie nach dem Zwischenwertsatz auch eine Nullstelle.



Beispiel  

Die Abbildung

ist stetig, sie genügt aber nicht dem Zwischenwertsatz. Für ist und für ist , es gibt aber kein mit , da dafür sein muss, wofür es in keine Lösung gibt. Der Zwischenwertsatz funktioniert also nur für reelle Zahlen.


Mit der im Beweis des Zwischenwertsatzes verwendeten Intervallhalbierungsmethode kann man insbesondere auch Quadratwurzeln „ausrechnen“, also Folgen angeben, die gegen die Quadratwurzel konvergieren. Die Konvergenzgeschwindigkeit beim babylonischen Wurzelziehen ist aber deutlich höher.



Korollar  

Es sei ein reelles Intervall und eine stetige Funktion.

Dann ist auch das Bild ein Intervall.

Beweis  

Sei . Aus dem Zwischenwertsatz folgt sofort, dass wenn sind und mit gegeben ist, auch sein muss. Nach Aufgabe ist ein Intervall.