Skip to content

连续性

Continuity · Continuous function

函数在输入微小变化时输出可被控制为任意小变化的性质。

条目类型
定义

形式陈述

(X,dX)(Y,dY)度量空间f:XY。称 faX 连续,若

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

f 在每一点连续,则称它为连续映射。取 X,YR 及通常距离,就得到绝对值形式;当 a 是定义域的聚点时,它等价于去心极限 limxaf(x)=f(a)。孤立点处的连续性自动成立,不应强行套用可能未定义或不唯一的去心极限。在度量空间中,连续还等价于保持序列收敛。到一般拓扑空间时,应改用开集逆像或邻域定义,序列刻画未必充分。

直觉

真正的控制关系是:输出误差预算先由观察者给定,随后才能选择足够小的输入尺度。这个量词次序排除了“每次碰巧找得到一条好路径”的伪连续,也允许所需尺度随考察点改变。连续性保留局部邻近结构,却不提供统一变化率;同一函数可以连续而在不同位置变得任意陡峭。

例子与边界

多项式在整个实数轴连续;阶跃函数在跳点不连续。连续不等于可导,f(x)=|x|0 连续但不可导。

函数

f(x)={xsin(1/x),x0,0,x=0

0 连续,因为 |f(x)||x|,尽管它在任意小邻域内不断振荡。相比之下,规定 f(0)=1 会破坏连续性。只验证沿若干条预先选定的序列或方向趋近通常不够;在度量空间可用所有序列刻画,而一般拓扑空间还需更完整的邻域语言。

推论与应用

连续性把极限与函数运算兼容起来,并通过介值定理和极值存在性把局部控制转成全局结论。要求同一个尺度在全域有效会得到一致连续;把距离语言完全拿掉则得到拓扑连续性。可微、积分参数依赖和数值迭代中的稳定性都以这些不同强度的连续控制为起点。

在数值求根中,连续性保证异号端点之间确有根可追踪,二分法据此维护包含根的异号区间;在紧可行域上的优化中,它又保证函数值不会只逼近最优值而始终取不到。连续被积函数也为数值求积的逼近提供基础,但具体误差阶仍取决于光滑性与节点规则。这些存在与逼近结论都不承诺问题条件良好:平坦根或高度振荡的被积函数仍可能对扰动敏感。

参考资料
  • Walter Rudin, Principles of Mathematical Analysis, 3rd ed., McGraw-Hill, 1976, Chapter 4.
  • Terence Tao, Analysis I, 3rd ed., Springer, 2016, Chapter 9.
关系图谱10 个相邻概念 · 1 类关系

拖动节点调整位置。

显示关系

显示:依赖

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