第 3–4 章 · 连续与函数极限

从数列转向函数：$x\to x_0$ 时的极限与连续。这一章的重头戏是闭区间上连续函数的四大定理——它们是后面微分、积分所有"存在性"结论的供给站。

函数极限与连续的定义

注意 $0<|x-x_0|$：极限不管 $x_0$ 处的值，这是"可去间断点"的语言基础。连续 = 极限值等于函数值；间断点分类（可去、跳跃、第二类）按左右极限的存在性划分。单侧极限处理分段函数；复合函数极限（海涅定理）沟通数列与函数两个世界。

闭区间连续函数四大定理

设 $f$ 在 $[a,b]$ 上连续：

• 有界性定理：$f$ 有界（开区间失效：$\frac{1}{x}$ 在 $(0,1)$）；
• 最值定理：取得最大最小值；
• 介值定理：取遍 $[f(a),f(b)]$ 之间一切值；零点存在性是其特例——方程求根的存在性都从这里来；
• 一致连续定理（Cantor）：闭区间上连续 ⟹ 一致连续。

一致连续 vs 连续是本章最重要的辨析：连续是"每点各自有各自的 $\delta$"，一致连续是"一个 $\delta$ 通吃全区间的所有点"。$x^2$ 在 $\mathbb{R}$ 上连续但不一致连续；$\sin x$ 一致连续。判别利器：Lipschitz 函数必一致连续。

老师的提醒

• 反例储备：$(0,1)$ 上 $\frac{1}{x}$（有界性失效）、$\sin\frac{1}{x}$（第二类间断）、$x^2$ 在 $\mathbb{R}$（不一致连续）——三大反例吃透，本章辨析题通吃。
• 介值定理只保证根存在，不告诉你怎么找——找根是数值分析的事，两者别混淆。

自检

• 连续与一致连续的区别，各举一例。
• 用介值定理论证 $x^3+x-1=0$ 在 $(0,1)$ 有根。
• 为什么四大定理都需要"闭区间"？开区间各举一个反例。

更深一层：紧性——四大定理背后的那只手

闭区间上连续函数的四大定理（有界、最值、介值、一致连续）表面零散，实际共享同一个几何根源：闭区间是紧集。紧性提供了两件武器：任何开覆盖有有限子覆盖（把"无穷问题有限化"）与序列紧性（有界序列有收敛子列——把"逃逸"堵死）。四大定理的证明本质上都在消费这两件武器：有界性用反证（若无界则取 $|f|$ 递增点列，紧性逼出收敛子列，连续性给出矛盾）；一致连续用反证（构造 $\delta = 1/n$ 的坏点对，聚点定理提取收敛子列，连续性 + 距离非零导出矛盾）。把"紧性"当成一个可复用的零件，四大定理就从一个清单变成一个原理的四次调用。

这个视角立即回答"为什么必须闭区间"：$(0, 1)$ 不闭（缺端点）、无界集不紧——两个条件各堵一条逃逸路线。反例也成对出现：$f(x) = \frac1x$ 在 $(0,1)$ 无界（逃向开端点）、$f(x) = x$ 在 $\mathbb{R}$ 无界（逃向无穷）。

推导细读：一致连续判定的"两把快捷工具"

逐条用定义验证一致连续很费笔力，工程上常用两把工具加速。工具一（Lipschitz 充分条件）：若 $|f(x) - f(y)| \le L|x - y|$，则 $f$ 一致连续（取 $\delta = \varepsilon/L$）。凡导数有界的函数（$\sin x$、有界闭区间上的 $x^2$）一步过关。工具二（Cantor 定理）：闭区间上连续 ⟹ 一致连续——把"端点行为"外包给紧性。两把工具的组合使用：先看导数在区间上是否有界（有界 → 过关；无界 → 换定义或找反例），反例的标准制造机是"导数在区间内无界 + 函数值奔向无穷的斜坡"（如 $1/x$ 于 $(0,1)$）。

这个二元判别法直接接通后续课程：勒贝格理论里"几乎处处连续即可黎曼可积"、概率论里"一致连续 + 有界 = 可作特征函数"——一致连续是函数的"优质等级证书"。

在真实世界里：介值定理的两位工程亲戚

介值定理在工程界的投影比想象中大。二分法求根的收敛证明就是介值定理：端点异号 ⟹ 区间内有零点，区间减半无穷次后夹逼出根——数值分析最古老算法的合法性证书。控制系统的不灵敏区论证：温度从 20° 连续变化到 80°，必然经过每一个中间温度——传感器标定表、执行器行程规划都默认这一事实；更微妙的版本是"布尔变换不可连续化"的经典讨论（为什么开关电路不能平滑过渡——介值定理的反面应用）。拓扑学的中间桥梁：把地球视为连续温度场，任意大圆上必存在对径点温度相等——介值定理与 Borsuk-Ulam 定理的初等芽。

专题深入：一致连续的"判据工具箱"

一致连续的判定工具箱值得整理成可操作清单：充分条件一（Lipschitz：$|f(x)-f(y)| \le L|x-y|$ ⟹ 一致连续——导数有界的一切函数一步过关）；充分条件二（Cantor 定理：闭区间上连续 ⟹ 一致连续——把端点行为外包给紧性）；充分条件三（Hölder 连续：$|f(x)-f(y)| \le C|x-y|^\alpha$，$\alpha > 0$——$\sqrt{x}$ 在 $[0,\infty)$ 的救星）。判别流程：先看导数在区间上是否有界（有界 → Lipschitz → 过关；无界 → 换定义或找反例），反例的标准制造机是"导数无界 + 函数值奔向无穷的斜坡"（如 $1/x$ 于 $(0,1)$）。$x^2$ 在 $\mathbb{R}$ 上不一致连续（导数无界）与 $\sin x$ 一致连续（Lipschitz）的对比是这张工具箱的两张名片。

数学细节展开：闭区间四大定理的"紧性引擎"

闭区间上连续函数四大定理（有界、最值、介值、一致连续）共享同一个几何根源：闭区间是紧集。紧性提供的两件武器——任何开覆盖有有限子覆盖（把"无穷问题有限化"）与序列紧性（有界序列有收敛子列——把"逃逸"堵死）——是四大定理证明的共同引擎。把"紧性"当成一个可复用的零件，四大定理就从一个清单变成一个原理的四次调用。这个视角立即回答"为什么必须闭区间"：$(0,1)$ 不闭（缺端点）、无界集不紧——两个条件各堵一条逃逸路线。

工程案例细节：介值定理的两个工程亲戚

介值定理的工程投影值得标注：二分法求根的收敛证明就是介值定理（端点异号 ⟹ 区间内有零点，区间减半无穷次后夹逼出根——数值分析最古老算法的合法性证书）；控制系统的不灵敏区论证（温度从 20° 连续变化到 80°，必然经过每一个中间温度——传感器标定表、执行器行程规划都默认这一事实）。介值定理只保证根存在，不告诉你怎么找——找根是数值分析的事，两者别混淆。