Eine nichtnegative reelle Zahl L für eine Abbildung zwischen metrischen Räumen, sodass der Abstand der Bilder niemals mehr als L-fach des Abstands der Eingaben ist: d(f(x),f(y)) ≤ L d(x,y) für alle x,y.

Prinzip

Die Lipschitz-Konstante liefert eine uniforme globale Schranke für die Streckung von Distanzen; Abbildungen mit endlichem L sind gleichmäßig stetig, und bei L<1 sind sie Kontraktionen mit starken Fixpunktsätzen.

Demonstration

Ein linearer Operator zwischen normierten Vektorräumen hat als Lipschitz-Konstante seine Operatornorm; f(x)=Cx hat L=|C|, und eine Kontraktion wie f(x)=0.5x auf R hat L=0.5.

Fehlanwendung

Lokale Lipschitz-Stetigkeit mit globaler Lipschitz-Konstante zu verwechseln oder aus Vorhandensein einer endlichen Lipschitz-Konstante Differenzierbarkeit abzuleiten, führt zu Fehlern; eine Lipschitz-Abbildung muss nicht überall differenzierbar sein.

Konsequenz

Eine gültige Lipschitz-Konstante liefert Kontrolle über Bilddurchmesser, Stabilität unter Störungen und — bei L<1 — einen eindeutigen Fixpunkt durch den Banachschen Fixpunktsatz mit expliziten Konvergenzraten.

Umkehrung

Die duale Idee ist eine bi-Lipschitz-Abbildung, die zusätzlich eine uniforme untere Schranke besitzt und damit Invertierbarkeit mit kontrollierter Verzerrung gewährleistet; fehlt ein endliches L, sind beliebig große lokale Streckungen möglich.

Abgrenzung

Definiert für Abbildungen zwischen metrischen Räumen; die Konstante ist nicht eindeutig (jeder größere Wert ist ebenfalls zulässig) und Lipschitz-Verhalten kann auf unbeschränkten metrischen Räumen oder bei nur lokaler Lipschitz-Stetigkeit versagen.

Semantische Spannung

Spannung zwischen Lipschitz-Konstante und Stetigkeitsmodul: Erstere entspricht einem linearen Modul (ω(t)=Lt), während allgemeinere Module unterlineare Kontrollen (Hölder) erlauben; außerdem stimmt die Operatornorm bei linearen Abbildungen mit der Lipschitz-Konstante überein, bei nichtlinearen jedoch nicht.

Synthese

Die Lipschitz-Konstante ist das einfachste quantitative Maß für Expansion einer Abbildung: ein einheitlicher Skalar L, der Bildabstände durch L-mal Eingangsabstände beschränkt und so gleichmäßige Stetigkeit sowie bei Kontraktionen starke Existenz- und Eindeutigkeitsaussagen liefert.