There exists a constant L≥0 such that for all x,y in the domain, d(f(x),f(y)) ≤ L·d(x,y). The smallest such L is called a Lipschitz constant. This provides a global linear bound on increments.

Principle

Linear (first-order) control of increments: output differences are bounded by a fixed multiple of input distances, yielding a uniform modulus with linear growth.

Demonstration

The linear map f(x)=kx on R is Lipschitz with constant L=|k|. The sine function is Lipschitz on R with L=1 since |sin x - sin y| ≤ |x-y|. In contrast, f(x)=√x on [0,1] is not Lipschitz at 0.

Misapplication

Assuming differentiability follows from Lipschitz continuity; while a bounded derivative implies Lipschitzness, a Lipschitz function need not be differentiable everywhere (it is differentiable almost everywhere in finite-dimensional settings but can fail at many points).

Consequence

Lipschitz continuity implies uniform continuity; it yields stability results such as uniqueness and continuous dependence in ODE initial-value problems (Picard–Lindelöf). It also bounds oscillation and controls modulus of continuity linearly.

Reversal

A function that is uniformly continuous but not Lipschitz may have increments that grow faster than linearly at small scales, e.g. Hölder but with exponent α<1; reversing the inequality shows failure to control increments by a single linear constant.

Boundary

Formulated in metric or normed spaces; for vector-valued maps one uses operator norms. Lipschitzness is a global condition — local Lipschitzness is weaker and relevant in manifold and differential-equation contexts.

Semantic Tension

Tension with differentiability (bounded derivative ⇒ Lipschitz, but not conversely) and with Hölder continuity (Lipschitz is the α=1 Hölder case): the three are related but strictly ordered in strength.

Synthesis

Lipschitz continuity imposes a uniform linear bound on output variation in terms of input distance; it sits between smoothness and mere continuity and is a convenient hypothesis for stability and uniqueness results.