Bedingung an eine Funktion f : ℝⁿ⁺¹ → ℝⁿ.

Es sei G ⊂ ℝⁿ⁺¹ eine offene Menge und f : G → ℝⁿ. Mit y ≔ (y₁,…,y_n) seien (x, y) = (x, y₁,…,y_n) die Elemente von G. Dann sagt man, f genügt in G bezüglich y einer Lipschitz-Bedingung genau dann, wenn eine Lipschitz-Konstante L > 0 existiert so, daß für alle (x, y₁), (x, y₂) ∈ G gilt: \begin{eqnarray}\begin{array}{cc}\Vert f(x,{{\bf{\text{y}}}}_{1})-f(x,{{\bf{\text{y}}}}_{2})\Vert \le L\Vert {{\bf{\text{y}}}}_{1}-{{\bf{\text{y}}}}_{2}\Vert.\end{array}\end{eqnarray}

Weiterhin genügt f lokal einer Lipschitz-Bedingung bezüglich y, wenn zu jedem Punkt (x₀, y₀) ∈ G eine Umgebung U ⊂ G existiert, so daß f in U bezüglich y der Lipschitz-Bedingung genügt.

Man nennt eine solche Funktion f auch eine dehnungsbeschränkte Funktion.

Eine Anwendung findet die Lipschitz-Bedingung in den Existenz- und Eindeutigkeitssätzen zu gewöhnlichen Differentialgleichungen, etwa im Satz von Picard-Lindelöf.

Zu beachten ist, daß die Größe der Lipschitz-Konstanten L zwar abhängig sein kann von der gewählten Norm ∥ · ∥ im ℝⁿ, die Tatsache jedoch, ob f einer Lipschitz-Bedingung (1) genügt, ist unabhängig von der gewählten Norm.

Aus der Lipschitz-Bedingung (1) folgt direkt lediglich die Stetigkeit von f auf den Hyperebenen x = konst., jedoch nicht die Stetigkeit von f in G. Hinreichend dafür, daß f in G lokal einer Lipschitz-Bedingung genügt ist die stetige partielle Differenzierbarkeit von f nach den Variablen y₁,…,y_n in ganz G.