连续与间断：一笔画出的函数
本文基于模型知识整理（生成时未联网核对），定理条件建议对照 Stewart §2.5 复核。
一句话定义
函数在某点连续 = 极限存在且等于函数值（$\lim_{x\to a}f(x)=f(a)$）——"笔不离纸"的数学化；闭区间上的连续函数享受两条强定理：介值定理（取遍中间每个值）与最值定理（必有最大最小）。
为什么重要
连续性是微积分可用性的入场券：中值定理（kp-009）、基本定理（kp-013）、隐函数存在性都要求连续或可微。工程与物理里的量几乎都连续（温度、位移、价格），因此"默认连续"是合理建模假设；而间断点本身也是重要信号（开关、相变、故障）。
前置知识
kp-002（极限）。
核心概念
- 连续三连：f(a) 有定义、$\lim_{x\to a}f(x)$ 存在、两者相等——缺一即间断。
- 间断分类：
- 可去间断：极限存在但≠函数值（或无定义）——"补一个点就能修好"； - 跳跃间断：左右极限都存在但不相等——阶跃信号； - 无穷/振荡间断：极限为∞或不存在——渐近线、sin(1/x)。
- 介值定理（IVT）：闭区间连续函数取到 f(a) 与 f(b) 之间的一切值——"从 0 度到 1 度必经过 0.5 度"。
- 最值定理（EVT）：闭区间连续函数必有最大与最小值。
- 连续函数的运算封闭性：和差积商（分母非零）、复合仍连续；初等函数在其定义域内连续。
原理与机制
为什么"闭区间"+"连续"缺一不可：开区间上 $f(x)=1/x$（0 附近）可无界；不连续的 $1/x$ 型可以在 (0,1) 无最值。定理的条件是"几何事实"（一笔画+两端封口）的精确化——理解条件来源比背条件更重要。
介值定理的实际用法是"存在性保证"：$f(x)=x-\cos x$ 在 [0,1] 上 f(0)=-1<0、f(1)=1-cos1>0 ⇒ 存在根——二分法求根的理论基础（每次砍半仍在变号区间，kp-017 的数值方法同源）。它给存在性不给位置/个数（单调时才唯一）。
连续性与可微性的层级：可微 ⇒ 连续；连续 ⇏ 可微（绝对值函数在 0 处连续但不可微，尖角）。层级链"可微 ⊂ 连续 ⊂ 有极限 ⊂ 有定义"是分析学的基本地图。
图示
连续三连: f(a) 有定义 ∧ lim 存在 ∧ 相等
间断: 可去(补点修复) | 跳跃(左右不等) | 无穷/振荡
IVT: f 在 [a,b] 连续 ⇒ 走遍 [f(a), f(b)] 所有值
EVT: 闭区间连续 ⇒ 有最大与最小
层级: 可微 ⊂ 连续 ⊂ 极限存在直观类比
连续函数是"不抬笔写出的曲线"；跳跃间断=换行重起笔；可去间断=笔画了个圈但没落点（补一点修复）。介值定理=不抬笔从楼下走到楼上，必然经过每个楼层。
实例或案例
- 求根：$x^3-x-1=0$ 在 (1,2) 有根（IVT 变号）；二分法数值求解的理论靠山。
- 温度曲线/价格曲线：实际系统默认连续，突变=事件发生（交易、开关）。
- 税率函数：分段但连续（多一分钱收入不会税额跳元）——政策设计的连续性要求。
常见误区
- 误区一："图像一笔画出就是连续"。这是结果不是定义；判断必须走"三连"（尤其分段点）。
- 误区二："介值定理说明根唯一"。它只保证存在；唯一性需要单调（或再加导数分析 kp-010）。
- 误区三："连续函数必然可微"。绝对值函数是标准反例；"光滑"（可微）比"连续"强一档。
与其他知识点的关系
自测题
- 判断 $f(x)=\frac{x^2-1}{x-1}$ 在 x=1 处的间断类型。
答：可去间断——极限为 2 存在但函数无定义；补定义 f(1)=2 即连续。
- 证明 $x=e^x-2$ 在 (0,2) 有解。
答：令 g(x)=x−e^x+2，g 连续，g(0)=1>0，g(2)=4−e²<0 ⇒ 由 IVT 存在根。
- 可微与连续的关系链？
答：可微 ⇒ 连续；反向不成立（|x| 在 0 连续不可微）——"光滑"强于"不断"。
延伸阅读
- 3Blue1Brown《Essence of Calculus》第 2 集后半。
- Stewart《Calculus》§2.5。
- Spivak《Calculus》第 5–6 章（IVT/EVT 的严格证明）。