Skip to content

一致连续

Uniform continuity

同一 δ 对定义域中所有点同时控制给定 ε。

条目类型
定义

形式陈述

(X,dX),(Y,dY) 为度量空间。函数 f:XY 一致连续,若

ε>0 δ>0 x,xX,dX(x,x)<δdY(f(x),f(x))<ε.

与逐点连续相比,δ 只能依赖于 ε,不能依赖于基点 x

直觉

普通连续允许每个点使用自己的局部尺度;一致连续要求一把尺度同时适用于所有位置,因此能控制成对靠近的任意点,而不必先固定基点。它关注的是函数对全域微小扰动的最坏响应。定义域无界、靠近缺失边界或函数斜率无限增大,都是普通连续升级失败的常见原因。

例子与边界

f(x)=x2R 上连续但不一致连续,因为在远处相同的小输入差可产生任意大的输出差;它在每个有界闭区间上一致连续。f(x)=1/x(0,1) 上不一致连续。Lipschitz 连续蕴含一致连续,但逆命题不成立,例如 x[0,1] 上一致连续却不是 Lipschitz。绝对连续性控制有限组区间的总振幅,严格强于一致连续;Cantor 函数给出一致连续但非绝对连续的边界。

函数 f(x)=sin(x2)R 连续但不一致连续:取

xn=2πn+π/2,yn=2πn+3π/2,

|xnyn|0,而函数值相差 2。相比之下,sinx 的导数有界,故为 Lipschitz,从而一致连续。闭区间上的连续函数不需显式导数界,也由紧致性得到一致连续。

推论与应用

连续性是逐点条件,紧空间上的连续函数由 Heine–Cantor 自动成为一致连续。它把Cauchy 序列送到 Cauchy 序列,并在目标完备时允许从稠密子集唯一延拓。与度量空间的完备化配合后,许多先在简单对象上定义的函数可安全扩张到极限对象。

全区间误差界需要同一控制同时覆盖所有采样点,紧区间上的一致连续性因此为求积和式多项式插值的全区间论证提供统一尺度。它保证输入足够接近时函数值能被统一控制,却不提供显式模量或代数收敛阶,也不保证任意节点上的多项式插值收敛;更精细的结论仍要额外正则性与节点条件。

参考资料
  • Stephen Abbott, Understanding Analysis, 2nd ed., Springer, 2015,Ch. 4。
  • Walter Rudin, Principles of Mathematical Analysis, 3rd ed., McGraw-Hill, 1976,Ch. 4。
关系图谱5 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
分类位置

上位 / 更一般

暂未标注直接上位概念。

下位 / 直接特例