第 4 章　连续性

4.1连续：笔不离开纸

先建立直觉。下面两条曲线，左边一条从头到尾一气呵成，右边一条在中间「断」了一下：

什么叫「笔不离开纸」？说白了就是：你沿着曲线走，走到某一点附近时，函数值不会突然「跳」到一个意想不到的地方。这一点，用上一章的极限，就能说得清清楚楚。

连续为什么值得单独一章

你可能会想：「不断开的曲线」这个直觉谁都知道，为什么要专门用一章来讲？因为连续不只是画图时的手感，它是一张「通行证」：拿到它，函数才被允许做后面几乎所有的操作——求导、积分、解方程、数值计算，全都建立在连续性之上。不连续的函数像布满裂缝的路面，任何重型机械（微积分工具）开上去都可能翻车。往后你会不断看到：每一条重要定理的开头，几乎都写着同一句假设——「设 f(x) 在……上连续」。

再从工程视角看一眼。飞机结构在载荷增大时发生变形，弹性范围内的载荷-变形曲线是一条连续曲线：载荷增加一点点，变形也只增加一点点，不会「跳变」。这条曲线若在某处突然断开，意味着同一载荷下结构可能「突然坍塌」或「突然弹出」——那是要立即停飞排查的重大隐患。同样，温度传感器的电压-温度曲线、驾驶舱油门位置与发动机推力的关系曲线，正常状态下都是连续的。工程信号一旦出现「跳变」，往往不是数学问题，而是故障警报：导线断线、接头接触不良、传感器饱和，都会在曲线记录上留下一个陡然的台阶。老练的工程师看曲线，第一眼就是在找「断点」。

反过来，工程里也有「故意制造不连续」的地方：继电器的吸合与释放、限位开关的通断、超温报警的触发阈值，都是典型的跳跃式切换——系统状态在两个挡位之间瞬间切换，中间不经过渡。控制工程师必须清楚「哪里允许不连续、哪里绝不允许不连续」。要把这条界线画准，就得先学会精确地描述「连续」本身——这正是本章接下来要做的事。

连续性还是上一章所有极限工作的「兑现窗口」：我们费力建立极限的语言、运算法则、两个重要极限，很大程度上就是为了给「连续」下一个不再含糊的定义，并算清楚连续函数的极限。从本章起，「设函数连续」将成为大多数定理的标准开场白——极限是工具箱，连续是入场券。

最后留一个悬念：「不断」不等于「不折」。一条曲线可以全程不断开，却在某处拐出一个尖角——它连续，但尖角处「变化率」出了问题。连续性只负责验收「有没有断」，至于「弯得顺不顺、变得快不快」，要等下一章的「导数」登场。连续是底线，光滑是更高的要求。

再给你一个手绘的检验小技巧：拿到任何函数图像，先用眼睛沿曲线从左「预演」到右——连续，意味着笔尖始终贴纸、走向可预测；哪里要抬笔（洞）、哪里要换高度（台阶）、哪里贴不上竖线（冲天）、哪里抖成一团（振荡），一眼就有数。先「看图诊断」，再动笔算左右极限，事半功倍。

4.2连续的精确定义

函数 f(x) 在点 a 处连续，需要同时满足三个条件：

对比一下上一章那个「有洞」的函数 f(x) = (x²−1)/(x−1)：它在 x=1 处极限是 2，但 f(1) 没定义，所以第一条就不满足——它在 x=1 不连续。看，极限存在 ≠ 连续，还差「函数值也等于极限」这一步。

用更精炼的话：

把连续的三个条件，用 ε-δ 的话重新表述一遍，就是：对任意 ε > 0，存在 δ > 0，当 |x − a| < δ 时（这次不需要挖掉 a 点，因为 x=a 也有意义），都有 |f(x) − f(a)| < ε。注意和极限定义相比，少了「0 <」这个去心条件——因为连续要求 a 点自己也在场。

把两个定义并排放好看：极限定义要求「0 ＜ |x−a| ＜ δ 时 |f(x)−A| ＜ ε」——x 挖掉 a 点，极限值 A 与 f(a) 无关；连续定义去掉「0 ＜」，并要求 A = f(a)——a 点必须在场且必须吻合。一字之差，天壤之别：极限谈的是「邻居们的共识」，连续谈的是「共识是否恰好等于本人」。这也解释了为什么「极限存在」远弱于「连续」。

换个姿势看连续：增量语言

「极限值等于函数值」还可以翻译成一套更贴近工程测量的语言。把自变量的移动量记作增量 Δx（从 a 变到 a + Δx），函数值随之产生的改变量记作 Δy = f(a + Δx) − f(a)。连续等价于：

Δx → 0 时，Δy → 0（即 lim_Δx→0 [f(a+Δx) − f(a)] = 0）

这套「增量」语言说的是：自变量的扰动足够小时，函数值的响应也足够小。传感器标定看的就是这个——被测温度抖动千分之一度，输出电压只能抖动千分之一伏的量级，而不是突然蹿高一大截；控制系统稳定性分析里「小扰动不发散」的要求，本质也是某种连续性。反过来，连续性差的函数，输入端的一点误差可能被放大成输出端的剧烈变化，这类函数在数值计算中格外危险。

单侧连续与「在区间上连续」

和单侧极限对应，也有左连续（lim_x→a⁻ f(x) = f(a)）和右连续（lim_x→a⁺ f(x) = f(a)）。显然：连续 ⟺ 既左连续又右连续。这给分段函数的拼接点提供了标准检查法——左右两支各查一遍，两边都过关才算过关。

说「f 在闭区间 [a, b] 上连续」，含义是：在区间内部每一点都连续，并且在左端点 a 处右连续、在右端点 b 处左连续。端点只要求「朝区间内」的那一侧，因为在端点外侧函数根本没有定义，谈不上那一侧的极限。这个细节在后面三大性质中反复出现，值得现在就弄清。

拿符号函数（x≠0 时 f(x)=|x|/x）验证一下流程：在拼接点 0 处，左极限是 −1，右极限是 1，无论把 f(0) 定义成多少，左右两条「对上号」的检验至多通过一条——所以它在 0 处左右连续双双不达标，是跳跃间断点。左右两把尺子各自量一遍，结论干净利落。

连续函数的运算：一张「放心操作清单」

直接套用上一章极限的四则运算法则，可以推出连续函数的运算规律：设 f、g 都在点 a 连续，则 f+g、f−g、f·g 都在 a 连续；商 f/g 在分母 g(a) ≠ 0 的点也连续（分母为零处函数本来就无定义，谈不上连续与否）。证明思路一句话：极限能拆、能提，极限值又都等于函数值，所以和、差、积、商的极限同样「对得上号」。

以「和」为例看看推理怎么走：f、g 都在 a 连续，即 lim f(x) = f(a)、lim g(x) = g(a)。由极限加法法则，lim [f(x)+g(x)] = f(a)+g(a)，恰好就是 (f+g)(a)——极限值等于函数值，按定义 f+g 在 a 连续。乘法、除法同理，只是除法要额外盯住分母不为零。上一章辛苦建立的极限运算法则，在这里「变现」成了连续性的运算法则。

更重要的是复合函数：若 g 在 a 连续、f 在 g(a) 连续，那么 f(g(x)) 在 a 连续——「连续套连续，还是连续」。直观想：内层函数的输出抖得越小，外层函数的响应也抖得越小（外层自己连续），两层「小进小出」串联起来，整体依然小进小出。此外，单调连续函数的反函数（若存在）也连续——连续且单调的曲线翻转坐标轴看，还是一条不断开的曲线。

把这套运算规律叠在基本初等函数（幂函数、指数、对数、三角、反三角）身上，得到一个极有分量的结论：

这个定理最直接的收益是：求极限的「代入法」从此合法。遇到初等函数在定义域内的点取极限，直接把 x 代进去就行——lim_x→3 √(x+1) = √4 = 2，不必再费劲分析。代入法看似天经地义，背后其实是这条定理在撑腰。往后遇到的不能直接代入的情形（0/0、∞/∞ 等未定式），恰恰都是「代入这一步出了问题」，需要先变形——约分、有理化——再取极限。判断「能不能代入」，就是判断「在不在定义区间内」。

这张表怎么用？拿到一个函数，先找定义域，再对照检查：定义域内部全是「放心区」，求极限直接代入；定义域的边界与断点，则是需要动用极限工具的「警戒区」。往后的求导、积分，第一步永远是这张「哪里连续」的地图。

一个处处不连续的怪函数：狄利克雷函数

连续性是「好函数」的勋章，但数学家也造出了「坏到极致」的例子。狄利克雷函数（Dirichlet function）定义如下：

D(x) = 1（x 为有理数）；　D(x) = 0（x 为无理数）

它在每一个点都不连续：任何一点的任何小邻域里，都同时挤满了有理数（函数值 1）和无理数（函数值 0），函数值在 0 和 1 之间疯狂切换，任何「趋势」都形成不了，极限处处不存在——整条数轴上每一点都是第二类间断点。这个例子警示我们：连续性绝不是「是个函数就自动拥有」的廉价属性；初等函数的连续性定理之所以好用，正因为常见函数恰好都「规矩」。工程信号里的理想白噪声是它的远亲——取值随时间完全不可预测，任何时刻都谈不成「趋势」，只能改用统计量（均值、方差）来描述。

最后把连续的三种等价说法打包带走：极限式（lim f(x) = f(a)）、ε-δ 式（对任意 ε 存在 δ 使 |x−a|＜δ 时 |f(x)−f(a)|＜ε）、增量式（Δx→0 ⟹ Δy→0）。三种说法一个意思：做证明用 ε-δ，谈工程用增量，日常计算用「极限值＝函数值」——按场合挑最顺手的兵器。

4.3间断点：四类「断法」

不连续的点，叫间断点。根据「怎么断的」，间断点分成四大类。理解了它们，你就能一眼诊断任何曲线的「毛病」。

诊断间断点有一套固定流程：第一步圈出「嫌疑点」——函数无定义的点、分段函数的拼接点；第二步分别算出该点的左极限与右极限；第三步对照分类表定类型。整个流程画成图，就是下面的「诊断树」。

1. 可去间断点（「补个洞就修好」）

极限存在，但要么函数没定义、要么函数值不等于极限。比如上一章的 f(x)=(x²−1)/(x−1) 在 x=1：极限是 2，但 f(1) 无定义。只要重新定义 f(1)=2，这个「洞」就被填上了，函数就连续了——所以叫「可去」。

为什么「可去」？因为这一点的「坏」只坏在函数值缺席或错位，而周围的趋势本身是好的（极限存在）。改动仅仅一个点的定义，不影响其他任何点，就能让整条曲线缝合——修补成本最低。从计算角度看，这类间断点几乎全是「约分惹的祸」：表达式写出来带着一个会变零的因子，令该点无定义，而化简后的表达式在该点其实良态。下一章起讲导数时你会反复遇到这类函数（差商在 Δx=0 处正是「0/0 的洞」），所以务必把可去间断点的修补手法练熟。

写程序时这类「洞」也常见：表达式 (x²−1)/(x−1) 直接跑，x=1 会触发除零错误；工程代码的惯例是「先判分母、再算分式」，或在分支逻辑里给该点单写一行——这正是数学上「补充定义」的程序化版本。可见修补可去间断点不纯是数学游戏，它就嵌在每一个计算模块的防御性编程里。

2. 跳跃间断点（「左右各奔一方」）

左极限和右极限都存在但不相等，曲线在这里「跳」了一下。比如符号函数 |x|/x 在 x=0：左极限 −1、右极限 1，跳了一个「台阶」。

跳跃间断点是「改一个点」救不回来的：极限本身就不存在，无论把 f(a) 定义成多少，左右两支趋势都不可能同时对上。台阶是函数结构自带的，不是定义缺席造成的。工程系统里，开关的通/断、继电器的吸/放、状态机的挡位切换，其数学模型都是跳跃型不连续——输入越过阈值，输出瞬间换挡。分析这类系统时不能指望「导数」存在，必须改用差分或不等式工具。

顺带说说工程里怎么「对待」间断。数字系统处理的模拟量（温度、压力、角度）来自连续的物理世界，传感、放大、滤波各环节都追求「保持连续」；而开关量（通/断、是/否）天生就是跳跃函数，工程上反而要给跳变沿做「消抖」处理——机械触点闭合时的抖动会在几毫秒内产生一串假跳变，必须滤掉。同一类间断，在模拟域要消灭、在数字域要防伪，处理思路完全相反，但前提都一样：先把间断点认出来。

3. 无穷间断点（「冲上天」）

函数值在这一点附近趋于无穷大。比如 f(x)=1/x 在 x=0：越靠近 0，函数值越大，曲线「竖直地」冲向无穷。

无穷间断点在图像上对应一条竖直渐近线（如 x=0 之于 1/x，x=π/2+kπ 之于 tan x）：曲线无限贴近这条竖线却永远贴不上。工程信号里，频率响应函数在共振频率附近的「尖峰冲高」、模型中理想化的集中载荷与点源，都会出现这种「趋于无穷」的数学行为；真实物理量当然不会真的无穷大，但「模型在这里发散」本身就是最重要的警报信息——共振点必须避开，理想化模型在该点附近必须修正。

4. 振荡间断点（「不停抖动」）

函数在这一点附近无限振荡，极限不存在。比如 f(x)=sin(1/x) 在 x=0：越靠近 0 抖得越快，停不下来。

教材中还按「左右极限是否存在」把间断点归为两大家族：左右极限都存在的叫第一类间断点（可去与跳跃）；其余——至少一侧极限不存在（趋于无穷或振荡不停）——叫第二类间断点。这样分类的好处是：不必死记四种病的名字，只要算出左右极限，「第一类还是第二类」立刻见分晓。

顺带解释一下命名的味道：第一类是「趋势尚存、只是函数值缺席或错位」，病得轻；第二类是「趋势本身不存在」，函数在该点附近彻底失控。做数值计算时这个区分很关键：可去间断点补一个值就能瞒过算法，通常毫无察觉；第二类间断点若落在计算区间内，几乎会让任何算法当场翻车。

振荡间断点：为什么「停不下来」

四类间断点里，振荡型最反直觉，值得多看一眼。f(x) = sin(1/x) 在 x = 0 附近：自变量每靠近 0 一点，1/x 就飞快增大，正弦的振荡周期被压缩得越来越密。取两串特殊的点逼近 0：
第一串 xₙ = 1/(nπ)（n = 1, 2, 3, …），此时 1/xₙ = nπ，sin(nπ) = 0，函数值恒为 0；
第二串 xₙ = 1/(nπ + π/2)，此时 1/xₙ = nπ + π/2，函数值为 +1 与 −1 交替出现。
两串点都无限逼近 0，函数值却一路在 0 和 ±1 之间轮流跳——「趋势」根本定不下来，极限不存在。这就从代数上严格说明了图 4-2 里那团「越靠越密」的毛线，不是画图工具的锯齿，而是函数真实的行为。

工程信号里的颤振、振荡失稳、传感器自激，在时间曲线上呈现的就是这种越来越密的抖动。见到它，第一反应不该是「滤波把它抹平」，而应追查振源——数学上它叫振荡间断点，物理上它常常是共振或失稳的警报。

4.4闭区间上连续函数的三大性质

如果函数在整个闭区间 [a, b] 上连续（两端点也算），它会表现出三个极其重要、又极其「保险」的性质。这三个性质背后都藏着深刻的直觉：一条连续的曲线，不能「凭空消失」或「凭空跳过」中间的值。

性质一：最值定理

闭区间上的连续函数，一定能取到最大值和最小值。这很好理解：一段封闭连续的曲线，总有最高点和最低点（可能出现在端点，也可能在中间）。

「闭区间」三个字不是白写的，两个反例就能看清它的分量。反例一：f(x) = x 在开区间 (0, 1) 上——函数值可以无限接近 1，却永远取不到 1，最大值「差一口气」，不存在。反例二：f(x) = 1/x 在 (0, 1) 上——x 越靠近 0 函数值越大，一路冲向无穷，连「上界」都没有，最大值更无从谈起。两个反例分别破坏了「闭」与「有界」（1/x 在 (0,1) 连续但不有界，因为区间虽有限，函数在端点附近可以逃逸）。闭区间的「闭」，保证端点在场、边界锁死：连续曲线被关进一个有界的封闭笼子里，最高点必然被「摸到」。

工程含义也很实在：结构静力试验中，只要载荷从 0 连续加载到最大值 P（闭区间），结构的响应曲线（应变、挠度关于载荷）就一定取得确定的峰值——峰值响应必存在且可测，不会出现「响应无限增长」或「峰值悬空取不到」的幽灵状态。当然，峰值是否超出安全裕度，那是强度问题；连续性只负责保证「峰值存在」。

举个具体算例感受「闭」的分量：f(x) = x² 在闭区间 [0, 1] 上，最大值 f(1) = 1、最小值 f(0) = 0，都实实在在取得到；换成开区间 (0, 1)，最大值 1 就「悬空」了——x 可以无限接近 1，函数值可以无限接近 1，但 x = 1 不在场上。一个端点的缺席，就能让一条定理失效，这就是为什么数学表述宁可啰嗦也要写全「闭区间」三个字。

性质二：介值定理

闭区间上的连续函数，一定能取到最大值和最小值之间的每一个值。也就是说，函数值从 m 涨到 M 的过程中，中间每一个数都必然被「路过」。因为曲线连续，没有跳跃，不可能跳过某个中间值。

介值定理在工程上的化身是「目标值必可达」：液压作动器把舵面从 0° 连续推到 30°，由于角度关于时间连续变化，途中每个中间角度（比如 17.5°）都必然被经过——既不会跳过目标位置，也意味着如果中途某位置存在机械干涉，绝无可能「绕过」它，只能更改运动路径。同样，温控系统从 20 °C 连续升温到 80 °C，任何中间温度都会经过，恒温点的控制目标因此总有机会被「精确命中」。

「介值」的意思是「介于中间的值」。用反证的口味理解它：假如某个中间值 μ（m ＜ μ ＜ M）没被取到，连续曲线就必须在冲向更高处的途中「瞬移」越过高度 μ——而「瞬移」恰恰是连续性禁止的。所以介值定理其实是连续性定义的镜像：定义禁止跳变，定理就保证不漏值。

性质三：零点定理（介值定理的推论）

如果 f(a) 和 f(b) 一正一负（异号），那么在 (a, b) 内至少存在一点 c，使得 f(c) = 0。因为函数值从正变到负（或反过来），连续曲线必然穿过 x 轴（高度为 0 的地方）至少一次。

使用零点定理要养成「三连问」：函数在这段上真的处处连续吗？两端点函数值真的严格异号吗（若某端恰为零，零点就是端点本身，另当别论）？两个端点都在定义域内吗？三问全过，结论才可靠。这三问也解释了为什么定理声明里要啰嗦地写满「闭区间、连续、异号」——每一项都是可乘之隙。

零点定理特别有用：它是「方程有解」的证明工具。你想证明方程 f(x)=0 在某个区间里有解，只要找到两个点让 f 一正一负，再加上 f 连续，就「铁证如山」了。注意三大性质是一条逻辑链：最值定理先保证「有最大值 M 和最小值 m」，介值定理才能谈论「m 与 M 之间的每个值都被取到」，零点定理则把「异号」翻译成「0 是被路过的中间值」。它们合起来刻画了连续曲线「完整、不缺口、不跳变」的图像品格。

二分法是最朴素的「区间套」数值方法：每迭代一次，含根区间长度减半，n 次后误差不超过初始区间长的 1/2ⁿ。它可能慢——初始区间长 1、想要 0.001 的精度需要迭代 10 次（2¹⁰ = 1024 ＞ 1000）——但绝对稳：只要零点定理条件满足，它必然收敛，不怕函数调皮。工程求解器里那些更快的算法（如牛顿法）遇到坏脾气函数可能失灵，二分法永远是压舱底的可靠方案。这也是「存在性定理」的工程价值：定理不仅告诉你根在哪，还直接附赠了一套能落地的计算流程。

延伸辨析：连续还有「一致」的说法

「f 在 [a, b] 上连续」说的是每个点各自连续——每一点的 δ 可以不同，且随位置而变。更强的要求叫「一致连续」：给定 ε，能找到一个统一的 δ，让区间内任何两点只要距离小于 δ，函数值之差就小于 ε——δ 只依赖 ε、不挑地方。两者的差别就这一点，但它是更深分析课程的分水岭。好消息是：闭区间上两者自动划等号（康托定理：闭区间上的连续函数必一致连续），所以初学阶段不必刻意区分，读到更深教材时不被这两个词吓到即可。

三大性质还有一处常被忽视的工程价值：最值定理给「包线」提供了存在性保证。飞行包线（速度-高度边界）、结构载荷谱的极值、温度循环的上下限——凡是「连续变化的量 + 封闭的边界」，其峰值必然被实际达到，据此确定的强度校核点与疲劳试验载荷才有的放矢。若一个量在边界内取不到峰值（比如只在开区间上定义），所有「按峰值设计」的下游工作都会悬空——这就是「闭区间」三个字的工程分量。

把例题 5、例题 6 放在一起看，能读出三大性质的「分工」：零点定理与介值定理负责存在性——保证目标存在、根存在、中间值存在；至于「具体在哪」，交给数值方法（二分法）或线性近似（内插）。定理给底气，算法给精度，工程上这一对搭档缺一不可。