等度连续

定义

设 X 与 Y 为度量空间，F 是 X 到 Y 的一族函数，d 记相应的度量。若对任意 ε > 0，存在 δ > 0，使得当 d(x0, x) < δ 时，对一切 f ∈ F 都有 d(f(x0), f(x)) < ε，则称 F 在点 x0 等度连续；若 F 在 X 的每一点都等度连续，则称它为点态等度连续^[1]。若 δ 只依赖 ε，而与所考察的两点及族中函数都无关，即 d(x1, x2) < δ 时对一切 f ∈ F 有 d(f(x1), f(x2)) < ε，则称 F 是一致等度连续的^[3]。

几种说法的差别在于 δ 可以依赖哪些量：单个函数连续时，δ 可依赖 ε、函数与所在点；一致连续时只依赖 ε 与函数；点态等度连续依赖 ε 与所在点；一致等度连续则只依赖 ε^[1]。当定义域 X 紧时，点态等度连续与一致等度连续等价，因此不少文献直接以一致等度连续作为定义，并径称等度连续^[3][4]。

对函数列 {f_n} 而言，定义可写成：任给 ε > 0，存在 δ > 0，只要 $|x_1 - x_2| < \delta$，就有 $|f_n(x_1) - f_n(x_2)| \leq \varepsilon$ 对一切 n 成立^[5]。函数族等度连续时，族中每个函数都在定义域上一致连续；反之则未必成立，例如 x 的 n 次幂构成的序列在 [0,1] 上每个成员都一致连续，整个序列却不等度连续^[6]。此外，等度连续约束的是函数族的摆动幅度，与约束取值范围的一致有界彼此独立^[5]。

原理

等度连续之所以强于逐个函数连续，是因为它要求同一个 δ 对整个函数族同时有效。族中函数即使各自一致连续，相应的 δ 也可能随函数趋于零，无法统一选取^[1]。

一个常用的充分条件是导数一致有界。若族中每个函数在区间上可微，且存在常数 M 使 $|f'(x)| \leq M$ 对族内所有函数与所有点成立，则由中值定理得 $|f(x_1) - f(x_2)| \leq M|x_1 - x_2|$，取 $\delta = \varepsilon / M$ 即验证了等度连续^[6]。更一般地，族内函数若有共同的利普希茨连续常数，或满足同一阶数与常数的 Hölder 条件，则该族等度连续^[7]。

在紧集上，等度连续与一致有界合起来给出函数族的紧性判据：这样的族是相对紧的，其中任一序列都有在紧集上一致收敛的子列，且极限函数连续^[2][8]。这一结论即阿尔泽拉-阿斯科利定理。

flowchart LR

A[函数族 F] --> B[一致有界]

A --> C[等度连续]

B --> D[阿尔泽拉-阿斯科利定理]

C --> D

D --> E[F 在紧集上相对紧]

E --> F2[存在一致收敛子列]

若函数列还逐点收敛，等度连续可把逐点收敛提升为一致收敛：在紧集上逐点收敛的等度连续函数列必定一致收敛^[1][4]。相应地，函数族等度连续当且仅当其闭包等度连续^[8]。

发展历程

等度连续的概念分别出现在意大利数学家阿斯科利(G. Ascoli) 1883—1884 年的论文与阿尔泽拉(C. Arzelà) 1882—1883 年的论文中；阿尔泽拉在 1895 年的论文里首次给出相应定理的完整证明^[9]。

1906 年，法国数学家弗雷歇(M. Fréchet) 又将该定理作了推广^[9]。此后的工作把结论移植到更一般的空间：在紧度量空间乃至紧 Hausdorff 空间上的连续函数空间里，一个函数族相对紧的充要条件仍是等度连续加点态有界^[7]。

1927 年，巴拿赫(S. Banach) 与斯坦豪斯(H. Steinhaus) 提出一致有界性原理，指出巴拿赫空间上逐点有界的连续线性算子族必然一致有界，而这类算子族正是等度连续的^[10][11]。20 世纪后半叶，阿尔泽拉-阿斯科利型定理又被推广到取值于度量空间、巴拿赫空间以及更一般拓扑向量空间的情形^[7][12]。

应用

最直接的用途是判别函数族的相对紧性。在紧度量空间上，连续函数空间的一个子集相对紧，当且仅当它等度连续并且在每一点有界^[7]。该判据与有限维空间的 Heine-Borel 判据并列，是赋范空间中紧性理论的核心结果之一^[13]。

在常微分方程中，皮亚诺存在定理的经典证明依赖等度连续。用欧拉折线构造近似解时，可以验证这些近似解在足够小的区间上一致有界且等度连续，事实上它们有共同的利普希茨常数，于是由阿尔泽拉-阿斯科利定理抽出一致收敛子列，其极限即为局部解^[14][12]。

在泛函分析中，逐点有界的连续线性算子族是等度连续的，这构成共鸣定理的另一种表述，并可用来论证存在傅里叶级数发散的连续函数^[11][10]。

在复分析中，等度连续且逐点收敛的全纯函数序列，其极限仍然全纯；在广义函数理论中，各阶导数一致有界的无穷可微函数族可抽出子列，使其本身与各阶导数都一致收敛^[1][7]。

局限

等度连续只是取得一致收敛子列的条件之一。要得到紧性结论，还必须加上一致有界或点态相对紧；仅凭等度连续并不能保证子列收敛^[2][12]。

等度连续也不能由逐点收敛反推。若一个函数列的逐点极限不一致连续，则该列不可能等度连续，x 的 n 次幂在 [0,1] 上的序列即为此类^[6]。

点态等度连续与一致等度连续一般并不相同，二者只在定义域紧时等价；在非紧定义域上 δ 允许随点变化，讨论时必须加以区分^[3][4]。在未引入一致结构的拓扑空间中，等度连续本身也只能按点陈述，一致等度连续需借助一致空间才能定义^[15]。

阿尔泽拉-阿斯科利定理同样不能照搬到无限维巴拿赫空间。1950 年迪厄多内给出反例，说明连续向量场在无限维情形未必有局部解；要恢复皮亚诺型定理，需要把等度连续与取值集合的相对紧性条件一并推广^[12]。

参见

• 阿尔泽拉-阿斯科利定理 —— 以等度连续与一致有界为条件判定函数族相对紧性的定理。

• 一致连续 —— 单个函数上的相应性质，等度连续要求整族函数共用同一尺度。

• 一致有界 —— 常与等度连续并用、约束函数取值的另一类函数族条件。

• 一致有界性原理 —— 指出算子族逐点有界等价于等度连续的泛函分析定理。

• 皮亚诺存在定理 —— 借助等度连续与阿尔泽拉-阿斯科利定理证明解存在的常微分方程结果。

• 紧空间 —— 在此类定义域上，点态等度连续与一致等度连续等价。