探索数学分析中的核心基石：从 Cantor 定理 到 Heine-Borel 定理，深度解析函数一致性的本质规律。
在数学分析中，函数的连续性描述了函数在某一点附近的局部性质，而一致连续则是描述函数在整个定义域上的整体性质。许多初学者容易混淆这两个概念。简单来说，普通连续只要求对于定义域内的每一点，都能找到对应的邻域使函数值变化小于给定误差；而一致连续则要求这个邻域的大小（即 δ）在整个定义域内是统一的，不随点的移动而变化。
普通连续是局部的，δ 依赖于 x 和 ε；一致连续是整体的，δ 仅依赖于 ε。
图像上表现为，无论在哪一段，只要横坐标距离足够小，纵坐标距离也必然足够小。
闭区间上的连续函数必一致连续，这是最著名的判定定理之一。
在讨论一致连续的判定定理时，我们无法绕过两个名字：Georg Cantor 和 Edouard Heine。他们共同奠定了这一领域的理论基础。
这是关于一致连续最著名、最基础的判定定理：
定理内容： 若函数f在闭区间[a, b]上连续，则f在[a, b]上一致连续。
这个定理的重要性在于它将“连续性”这一局部性质自动提升到了“一致连续性”的全局性质。其背后的逻辑依赖于实数系的紧致性（Compactness）。
虽然详细的证明涉及反证法和有限覆盖定理，但我们可以直观理解：
f 在 [a, b] 上连续但不一致连续。ε₀ > 0，使得对于任意小的 δ，总能找到两点 x, y 满足 |x-y| < δ 但 |f(x)-f(y)| ≥ ε₀。{xₙ} 和 {yₙ}，使得它们之间的距离趋于 0，但函数值之差始终大于 ε₀。[a, b] 是闭区间，极限点仍在区间内。利用连续性导出矛盾。| 条件 | 定义域类型 | 函数性质 | 是否一致连续 |
|---|---|---|---|
| Cantor 定理 | 闭区间 [a, b] | 连续 | ✅ 必定一致连续 |
| 一般情况 | 开区间 (a, b) | 连续 | ❌ 不一定 |
| 无界区间 | (-∞, +∞) | 连续 | ❌ 不一定 |
当面对非闭区间（如开区间 (a, b) 或无界区间 (a, +∞)）时，Cantor 定理不再直接适用。此时，网民们最常关注的便是如何判定这些区间上的一致连续性。
这是处理开区间 (a, b) 最实用的判定定理变体。
定理： 函数 f 在开区间 (a, b) 上一致连续，当且仅当 f 可以连续延拓到闭区间 [a, b] 上。
具体操作如下：
L₁ = lim(x→a⁺) f(x)L₂ = lim(x→b⁻) f(x)L₁ 和 L₂ 都存在且为有限数，则 f 在 (a, b) 上一致连续。f 不一致连续。考察 f(x) = sin(1/x) 在 (0, 1) 上。
当 x → 0⁺ 时，1/x → +∞，sin(1/x) 在 [-1, 1] 之间无限震荡，极限不存在。因此，该函数在 (0, 1) 上不一致连续。
如果函数 f 在区间 I 上可导，且其导函数 f' 在 I 上有界，即存在常数 M 使得 |f'(x)| ≤ M 对所有 x ∈ I 成立，那么 f 在 I 上一致连续。
这是基于拉格朗日中值定理的直接推论：
|f(x) - f(y)| = |f'(ξ)| · |x - y| ≤ M · |x - y|
令 δ = ε / M，则当 |x - y| < δ 时，|f(x) - f(y)| < ε
注意： 此条件是充分的，但不是必要的。有些函数一致连续但导数无界（例如 f(x) = √x 在 (0, 1) 上，导数在 0 处趋于无穷，但它仍一致连续）。
这是从序列角度定义的一致连续判定方法，常用于理论证明。
定理： 函数 f 在区间 I 上一致连续，当且仅当对于任意两个满足 lim(xₙ - yₙ) = 0 的数列 {xₙ} 和 {yₙ}（其中 xₙ, yₙ ∈ I），都有 lim(f(xₙ) - f(yₙ)) = 0。
这个准则非常强大，因为它允许我们通过构造反例来否定一致连续性。如果能找到两个数列，它们的差趋于 0，但函数值的差不趋于 0，即可断定不一致连续。
很多网友在搜索一致连续时，会特别关注导数与一致连续的关系。这里需要澄清几个常见的误区。
导数有界 ⇒ 一致连续。这是最稳妥的判定路径。如果在整个区间上 |f'(x)| ≤ M，则函数 Lipschitz 连续，进而一致连续。
一致连续 ⇏ 导数有界。经典反例：f(x) = √x 在 [0, 1] 上。它是连续函数且在闭区间上，故一致连续。但其导数 f'(x) = 1/(2√x) 在 x→0 时无界。
在无界区间如 [0, +∞) 上，即使导数有界，也不能保证函数本身有界，但能保证一致连续。反之，若导数趋于无穷大（如 f(x) = x²），则一定不一致连续。
以下是根据搜索引擎数据整理的典型一致连续判定案例，涵盖闭区间、开区间及无界区间。
函数： f(x) = x²
区间： [0, 1]
判定： 闭区间 + 连续 ⇒ 一致连续 (Cantor 定理)。
区间： [0, +∞)
判定： 导数 2x 无界 ⇒ 不一致连续。
函数： f(x) = sin(x)
区间： R (全体实数)
判定： 导数 cos(x) 有界 (≤1) ⇒ 一致连续。
函数： f(x) = sin(1/x)
区间： (0, 1)
判定： 左端点极限不存在 ⇒ 不一致连续。
函数： f(x) = √x
区间： (0, 1)
判定： 虽然导数无界，但端点极限存在 (0 和 1) ⇒ 一致连续。
区间： (0, +∞)
判定： 右端点极限不存在 ⇒ 不一致连续。
函数： f(x) = ln(x)
区间： [1, +∞)
判定： 导数 1/x 在 [1, +∞) 上有界 (≤1) ⇒ 一致连续。
区间： (0, 1]
判定： 左端点极限 -∞ ⇒ 不一致连续。
A: 因为开区间或无界区间破坏了实数系的完备性带来的“紧致”特性。在开区间端点附近，函数可能“跑得太快”（斜率无穷大）或者“震荡太剧烈”，导致无法找到一个统一的 δ 来控制所有点的误差。闭区间通过包含端点，限制了这种极端行为的发生空间。
A: 不一定。这是一个常见的误区。例如 f(x) = √x 在 (0, 1) 上，导数在 0 附近趋于无穷大，但该函数仍然是一致连续的。关键在于函数值本身不能“跳跃”或“发散”。导数无界只是说明变化率可能在某处变大，但只要函数值的变化总量可控（即端点极限存在），仍可一致连续。
sin(1/x) 的性质？A: 看到 1/x 就要警惕。当 x → 0 时，1/x → ∞，正弦函数会在 -1 和 1 之间无限次震荡。这种震荡频率随着 x 趋近 0 而无限加快，导致任何微小的 Δx 都可能对应巨大的 Δy。因此，它在 (0, 1) 上不一致连续，甚至在 0 处无法定义连续延拓。
A: 在数值计算中，一致连续意味着算法的稳定性。如果一个函数是一致连续的，那么输入数据的微小扰动（误差）不会导致输出结果的巨大偏差，且这种偏差控制是全局适用的。如果函数只是一般连续但在某些点不一致连续（如 tan(x) 在 π/2 附近），计算机浮点数运算可能会因为精度问题导致结果完全错误。