A function f between metric spaces is Lipschitz continuous if there exists a constant L≥0 such that for all x,y the distance between f(x) and f(y) is at most L times the distance between x and y.

Principle

Bounded rate of change: a global Lipschitz constant bounds how fast the function can change with respect to the input metric, yielding uniform control over differences in outputs.

Demonstration

A linear map represented by a matrix with operator norm L is Lipschitz with constant L on Euclidean space: ||Ax−Ay|| ≤ ||A||·||x−y|| for all x,y.

Misapplication

Assuming Lipschitz continuity from differentiability alone without a uniform bound on the derivative, or confusing local Lipschitzness with global Lipschitzness on an unbounded domain.

Consequence

Lipschitz maps are uniformly continuous and preserve Cauchy sequences; in ODE theory a local Lipschitz condition on the vector field ensures uniqueness of solutions via Picard iteration.

Reversal

A merely continuous function that has arbitrarily steep slopes (e.g., continuous but nowhere differentiable with unbounded local oscillation) — it lacks a uniform bound on rate of change.

Boundary

Differentiates global versus local: a function may be locally Lipschitz but not Lipschitz on an unbounded domain; the property depends on the chosen metric spaces and does not require differentiability.

Semantic Tension

Hölder continuity versus Lipschitz continuity: Hölder with exponent α∈(0,1) weakens the linear bound to a power law, so Lipschitz corresponds to Hölder with exponent 1 and is strictly stronger.

Synthesis

Lipschitz continuity is a uniform bound on a function's rate of change in a metric space: there exists a constant L such that output distances never exceed L times input distances, yielding strong regularity and stability properties.