Lipschitz / Hölder 连续与一致连续的关系

定义铺垫

设 $f:I\to \mathbb{R}$，$I\subseteq \mathbb{R}$ 区间。

• Lipschitz 连续：$\exists L>0$，$\forall x,y\in I:|f(x)-f(y)|\le L|x-y|$。
• $\alpha$-Hölder 连续（$\alpha \in (0,1]$）：$\exists C>0$，$\forall x,y\in I:|f(x)-f(y)|\le C|x-y{|}^{\alpha }$。

注意 Lipschitz = $1$-Hölder。

题目

证明或反驳下列命题；当反驳时给出反例：

1. 真命题候选：Lipschitz 连续 ⇒ 一致连续。
2. 真命题候选：$\alpha$-Hölder 连续（$\alpha \in (0,1]$）⇒ 一致连续。
3. 真命题候选：一致连续 ⇒ Lipschitz 连续。
4. 真命题候选：在闭区间 $[a,b]$ 上，可微 + $|f^{\prime }(x)|\le L\forall x$ ⇒ Lipschitz。
5. 真命题候选：在 $\mathbb{R}$ 上 Lipschitz ⇒ 在 $\mathbb{R}$ 上有界。
6. 真命题候选：$f,g$ 都 Lipschitz ⇒ $f\cdot g$ Lipschitz。

提示

点击展开提示

• 第 1、2 题：直接由定义推 ε-δ。
• 第 3 题：找反例——在闭区间上一致连续但非 Lipschitz 的函数。
• 第 4 题：中值定理 + 导数估计。
• 第 5 题：$f(x)=x$ 是 Lipschitz 但无界。
• 第 6 题：在无界域上反例——$f(x)=g(x)=x$ 都 Lipschitz，但 $f\cdot g=x^2$ 不是。

解答

点击展开完整解答

第 1 题：✅ Lipschitz ⇒ 一致连续

证明：设 $|f(x)-f(y)|\le L|x-y|$。任给 $\epsilon >0$，取 $\delta =\epsilon /L$。 $\forall x,y\in I:|x-y|<\delta ⟹|f(x)-f(y)|\le L\delta =\epsilon$。$■$

第 2 题：✅ Hölder ⇒ 一致连续

证明：设 $|f(x)-f(y)|\le C|x-y{|}^{\alpha }$。任给 $\epsilon >0$，取 $\delta =(\epsilon /C{)}^{1/\alpha }$。 $\forall x,y\in I:|x-y|<\delta ⟹|f(x)-f(y)|\le C{\delta }^{\alpha }=\epsilon$。$■$

第 3 题：❌ 一致连续 ⇏ Lipschitz

反例：$f(x)=\sqrt{x}$ 在 $[0,1]$ 上。

• 一致连续：闭区间 + 连续 ⇒ 由 ANL-THM-015 Cantor 一致连续。或直接用 $|\sqrt{a}-\sqrt{b}|\le \sqrt{|a-b|}$（即 $1/2$-Hölder）。
• 非 Lipschitz：若 $|\sqrt{x}-\sqrt{0}|\le L|x|$ 即 $\sqrt{x}\le Lx$ 即 $1/\sqrt{x}\le L$ 对所有 $x\in (0,1]$ 成立， 但 $1/\sqrt{x}\to \infty$ 当 $x\to 0^{+}$，无任何 $L$ 满足——故非 Lipschitz。$■$

这是 1/2-Hölder 但非 1-Hölder（= Lipschitz）的典型，对应导数 $f^{\prime }(x)=1/(2\sqrt{x})$ 在 $0$ 附近无界。

第 4 题：✅ 闭区间 + 导数有界 ⇒ Lipschitz

证明：对任意 $x,y\in [a,b]$，由中值定理，$\exists \xi$ 介于 $x,y$ 之间使

$$f(x)-f(y)=f^{\prime }(\xi )(x-y).$$

故 $|f(x)-f(y)|\le L|x-y|$ 对所有 $x,y$ 成立。$■$

推广：开区间 $(a,b)$ 上同样成立，但导数有界条件**对所有 $x\in (a,b)$**成立即可。

第 5 题：❌ Lipschitz 不蕴含有界

反例：$f(x)=x$ 在 $\mathbb{R}$ 上。

• Lipschitz：$|x-y|\le 1\cdot |x-y|$。
• 但 $f$ 无界（$x\to \pm \infty$ 时 $f\to \pm \infty$）。

Lipschitz 是斜率的全局有界，不等于函数值的全局有界。

第 6 题：❌ Lipschitz 函数的乘积不一定 Lipschitz

反例：$f(x)=g(x)=x$ 在 $\mathbb{R}$ 上都 Lipschitz（常数 $1$）。 但 $h(x)=f(x)g(x)=x^2$，$|h(x)-h(y)|=|x^2-y^2|=|x+y||x-y|$， 当 $|x+y|\to \infty$ 时不存在全局 Lipschitz 常数。

故 $h=x^2$ 不 Lipschitz。$■$

何时乘积仍 Lipschitz？需附加 $f,g$ 有界条件： $|fg(x)-fg(y)|\le |f(x)||g(x)-g(y)|+|g(y)||f(x)-f(y)|\le M_f{L}_g|x-y|+M_g{L}_f|x-y|$。 即在有界 Lipschitz 函数空间上，乘积封闭。

考察点

• 三个连续性级别（Lipschitz ⊂ Hölder ⊂ 一致连续 ⊂ 连续）的严格包含关系
• 中值定理与 Lipschitz 的等价（在可微情形下）
• 反例构造：用边界端点的导数发散打破 Lipschitz；用无界域打破乘积闭性

备注

连续性等级体系：

连续 ⊋ 一致连续 ⊋ α-Hölder 连续（α ∈ (0,1)）⊋ Lipschitz（= 1-Hölder）⊋ C¹（连续可微）⊋ C∞ ⊋ 解析

等级越高，函数越”光滑/规则”——但也越”严格/罕见”。

典型示例对照：

函数	域	连续	一致连续	Hölder（α<1）	Lipschitz
$x$	$\mathbb{R}$	✅	✅	✅	✅
$\sin x$	$\mathbb{R}$	✅	✅	✅	✅
$\sqrt{x}$	$[0,1]$	✅	✅	✅ (α=1/2)	❌
$\Vert x{\Vert }^{1/3}$	$[-1,1]$	✅	✅	✅ (α=1/3)	❌
$x^2$	$\mathbb{R}$	✅	❌	❌	❌
Dirichlet $1_{\mathbb{Q}}$	$\mathbb{R}$	❌	❌	❌	❌

跨专业应用

• 偏微分方程（PDE）：解的正则性常按 Lipschitz / Hölder 分级（如 Sobolev 嵌入定理：$W^{1,p}$ 在某条件下嵌入 $C^{0,\alpha }$）
• 概率论：Brownian 运动的样本路径几乎处处 $\alpha$-Hölder（$\alpha <1/2$）但几乎处处不可微——是非 Lipschitz 但 Hölder 连续的著名实例
• 机器学习：神经网络的 Lipschitz 常数控制对抗鲁棒性（小的输入扰动 $\Rightarrow$ 受控的输出扰动）