Lipschitz 连续

连续性只说输入足够接近时输出也接近，却不提供统一速度。Lipschitz 条件给出一只覆盖整个指定区域的锥：输入距离缩小多少，输出距离最多按固定倍数变化。这个定量约束可以直接进入误差传播、稳定性与唯一性估计。

局部 Lipschitz 允许常数随区域改变。比如 $f(x)=x^2$ 在 $[-R,R]$ 上可取常数 $2R$，观察范围越大，所需常数越大。

对微分方程，结合向量场连续性等初值问题假设，局部 Lipschitz 控制可给出附近的唯一性；轨道能否延续到任意时间还与增长速度有关。$x^{\prime }=x^2$、$x(0)=1$ 的解 $x(t)=1/(1-t)$ 就在 $t\uparrow 1$ 时趋向无穷。

$f(x)=|x|$ 在 $\mathbb{R}$ 上满足

所以是 $1$-Lipschitz，却在 $0$ 不可微。这个例子允许图像出现尖角，同时仍以统一常数控制所有点对的距离。

$f(x)=\sqrt{x}$ 在 $[0,1]$ 上连续甚至一致连续，却不在 $0$ 附近 Lipschitz，因为 $|\sqrt{x}-0|/|x-0|=1/\sqrt{x}$ 无界。

定义域的形状也影响导数估计：在 $A=(-1,0)\cup (0,1)$ 上令 $g$ 在左半段恒为 $0$、右半段恒为 $1$，则每点导数都为零，但 $|g(t)-g(-t)|/|t-(-t)|=1/(2t)$ 在 $t\downarrow 0$ 时无界。凸域中的线段把两点连在定义域内，正好排除了这种跨缺口的跳变。

Banach 不动点定理理路Banach 不动点定理Banach fixed-point theorem · Contraction mapping theorem完备空间中的统一压缩给出唯一不动点；用几何尾和证明收敛，并把后验误差与残差转成停止证书。使用 $L<1$ 把迭代误差变成几何级数。Picard–Lindelöf 定理理路Picard–Lindelöf 存在唯一性定理Picard-Lindelof theorem · Cauchy-Lipschitz theorem连续且对状态变量局部一致 Lipschitz 的向量场给出常微分方程初值问题的唯一局部解。要求向量场对状态变量局部一致 Lipschitz，以保证初值问题的局部唯一性；Grönwall 不等式理路Grönwall 不等式Gronwall inequality · Grönwall lemma将受自身积分控制的非负函数封闭为显式指数上界。则把 Lipschitz 常数转化为解对初值的指数稳定界。

优化中的梯度 Lipschitz 条件写作 $\Vert \mathrm{\nabla }f(x)-\mathrm{\nabla }f(y)\Vert \le L\Vert x-y\Vert$，控制的是梯度变化。对二次函数 $f(x)=x^2/2$，梯度是 $x$，Lipschitz 常数为 $1$，但函数本身在整条实线上没有有限的 Lipschitz 常数，因为 $|f(x)-f(0)|/|x|=|x|/2$。

对于开凸域上的二阶可微函数，Hessian 的范数上界控制梯度的 Lipschitz 常数；强凸性则对应 Hessian 的正下界，两种条件分别限制弯曲程度的上端和下端。

在函数族中，关键还在于常数能否对全部成员共同选取。共同 $L$ 给出等度连续性理路等度连续函数族Equicontinuous family · Uniform equicontinuity · 共同连续模用独立于函数成员的距离阈值控制变化，并在紧定义域上把局部控制统一为共同尺度。；每项各有某个有限常数则不够，例如 $x^n$ 在 $[0,1]$ 上的最小Lipschitz常数为 $n$。在 $C[0,1]$ 的一致范数中，若一族还有共同绝对值界且为闭集，Arzelà–Ascoli 判据理路Arzelà–Ascoli 定理Arzela-Ascoli theorem · Ascoli theorem · 阿尔泽拉–阿斯科利定理刻画紧度量空间上标量连续函数族在一致范数中的相对紧性，并说明闭性、值域与端点条件各自的作用。便证明它紧。