“设 $a<b$,$f:[a,b]\to\mathbb R$ 在闭区间 $[a,b]$ 上连续、在开区间 $(a,b)$ 内可导。则存在 $c\in(a,b)$ 使”
形式陈述 ​
设
若
直觉
真正的控制关系是:输出误差预算先由观察者给定,随后才能选择足够小的输入尺度。这个量词次序排除了“每次碰巧找得到一条好路径”的伪连续,也允许所需尺度随考察点改变。连续性保留局部邻近结构,却不提供统一变化率;同一函数可以连续而在不同位置变得任意陡峭。
例子与边界
多项式在整个实数轴连续;阶跃函数在跳点不连续。连续不等于可导,
函数
在
推论与应用
连续性把极限与函数运算兼容起来,并通过介值定理和极值存在性把局部控制转成全局结论。要求同一个尺度在全域有效会得到一致连续;把距离语言完全拿掉则得到拓扑连续性。可微、积分参数依赖和数值迭代中的稳定性都以这些不同强度的连续控制为起点。
在数值求根中,连续性保证异号端点之间确有根可追踪,二分法据此维护包含根的异号区间;在紧可行域上的优化中,它又保证函数值不会只逼近最优值而始终取不到。连续被积函数也为数值求积的逼近提供基础,但具体误差阶仍取决于光滑性与节点规则。这些存在与逼近结论都不承诺问题条件良好:平坦根或高度振荡的被积函数仍可能对扰动敏感。
参考资料
- Walter Rudin, Principles of Mathematical Analysis, 3rd ed., McGraw-Hill, 1976, Chapter 4.
- Terence Tao, Analysis I, 3rd ed., Springer, 2016, Chapter 9.