Die Aussage, dass eine stetige echtwertige Funktion auf einem abgeschlossenen Intervall [a,b] jeden Wert zwischen f(a) und f(b) annimmt: Für jeden Wert v zwischen f(a) und f(b) existiert c in [a,b] mit f(c)=v.

Prinzip

Stetigkeit auf einem zusammenhängenden Gebiet (einem Intervall) verhindert Sprünge über Zwischenwerte; das Bild einer zusammenhängenden Menge unter einer stetigen Abbildung ist zusammenhängend und damit ein Intervall, das alle Zwischenwerte enthält.

Demonstration

Ist f stetig auf [0,1] mit f(0)=-1 und f(1)=2, so gibt es c∈[0,1] mit f(c)=0; dies ist das Standardexistenzargument, das in Nullstellensuchverfahren wie der Bisektion verwendet wird.

Fehlanwendung

Den Satz auf diskontinuierliche Funktionen oder auf nicht zusammenhängende Domains anwenden; eine Funktion mit einem Sprung zwischen a und b muss nicht die Zwischenwerte annehmen.

Konsequenz

Gewährleistet Existenz von Nullstellen und Zwischenlösungen und begründet Nullstellensuchalgorithmen; stellt sicher, dass Bilder von Intervallen Intervalle sind, und stützt die Erhaltung der Zusammenhangseigenschaft durch stetige Abbildungen.

Umkehrung

Es gibt Funktionen mit der Zwischenwerteigenschaft, die nicht stetig sind (Darboux-Funktionen), daher ist die Umkehrung falsch; Diskontinuität kann dagegen die Zwischenwerteigenschaft zerstören.

Abgrenzung

Voraussetzung ist ein zusammenhängendes Gebiet (typischerweise ein Intervall) und Stetigkeit darauf; gilt nicht für Abbildungen in nichtgeordneten Räumen ohne geeignete Zwischenwert-Notion und schließt Probleme mit offenen oder nichtkompakten Domains aus, sofern keine Stetigkeitserweiterung vorliegt.

Semantische Spannung

Spannung mit der Darboux-Eigenschaft: Stetigkeit impliziert die Zwischenwerteigenschaft, doch letztere impliziert keine Stetigkeit; außerdem Spannung zur Monotonie, die Zwischenwerte über die Ordnungsstruktur sichert.

Synthese

Der Satz verbindet topologische Zusammenhangseigenschaft und Stetigkeit, um das Vorkommen von Zwischenwerten zu garantieren: Eine stetige Funktion auf einem Intervall kann keine Zwischenwerte auslassen, was die Existenz von Nullstellen ermöglicht und die Intervallstruktur im Bild bewahrt.