Ein Satz, der besagt, dass eine Selbstabbildung T auf einem vollständigen metrischen Raum (X,d), die für alle x,y in X die Ungleichung d(Tx,Ty) ≤ c d(x,y) mit einem konstanten 0 ≤ c < 1 erfüllt, einen eindeutigen Fixpunkt besitzt und dass iterative Anwendung von T gegen diesen Fixpunkt konvergiert.

Prinzip

Gleichmäßige Kontraktion: eine globale multiplikative Verringerung der Abstände um einen Faktor <1 erzwingt in vollständigen metrischen Räumen die Existenz und Eindeutigkeit eines Fixpunkts sowie Konvergenz der Iterationen.

Demonstration

Auf C([0,1]) mit Supremumsnorm definiert man etwa T(u)(t)=u0(t)+∫0^t K(t,s)φ(u(s)) ds mit beschränktem K und φ Lipschitz-stetig; ist die kombinierte Konstante klein genug, ist T kontrahierend und die Picard-Iterationen u_{n+1}=T(u_n) konvergieren geometrisch zur eindeutigen Lösung der Integralgleichung.

Fehlanwendung

Das Prinzip auf einem nicht vollständigen Raum anzuwenden oder eine nur lokal kontrahierende Abbildung bzw. eine mit c≥1 zu behandeln, führt zu falschen Schlüssen über Existenz oder Eindeutigkeit von Fixpunkten.

Konsequenz

Unter den Voraussetzungen erhält man Existenz und Eindeutigkeit des Fixpunkts sowie explizite geometrische Konvergenzraten für iterative Verfahren und quantitative Stabilität gegenüber Störungen der Abbildung.

Umkehrung

Bei expandierenden Abbildungen (c>1) oder nur nichtexpansiven Fällen (c=1) gilt die Schlussfolgerung nicht; es können keine oder mehrere Fixpunkte existieren und Iterationen müssen nicht konvergieren.

Abgrenzung

Setzt einen vollständigen metrischen Raum und eine globale Kontraktionskonstante voraus; deckt keine kompaktitätsbasierten Fixpunktergebnisse oder rein lokale Umkehrbarkeitsbedingungen ohne globale Kontraktion ab.

Semantische Spannung

Kontrastiert mit Schauder- oder Brouwer-Fixpunktsätzen, die auf Kompaktheit beruhen statt auf Kontraktion; diese garantieren Existenz, aber in der Regel nicht Eindeutigkeit oder iterative Konvergenzraten.

Synthese

Der Banachsche Kontraktionssatz verbindet eine einfache metrische Ungleichung (gleichmäßiges Schrumpfen) mit einer robusten algorithmischen und qualitativen Folgerung: einem eindeutigen Fixpunkt und beweisbarer geometrischer Konvergenz der Iterationen bei vollständigem Raum.