极限与连续性：用邻域刻画逼近

引言：研究靠近一点时发生什么

函数在某一点的取值只回答一个孤立问题，极限研究的是自变量靠近该点时整片邻域中的行为。数列 $1,1/2,1/3,\ldots$ 从不等于零，却能任意接近零；函数 $f(x)=(x^2-1)/(x-1)$ 在 $x=1$ 处原式没有定义，但附近取值稳定接近 $2$。这两种现象共享同一结构：给定任意精度要求，总能把输入限制得足够靠近，从而保证输出落入指定误差范围。

极限把图像上的“趋近”变成可验证的量词命题。连续性再把极限值与函数在该点的实际取值接合起来。导数、定积分、无穷级数和微分方程的基本定义都以这套语言为基础。

学习目标与先修知识

阅读前应熟悉函数、定义域、复合函数、绝对值和不等式。数列极限会作为直觉入口，但所有核心结论都用函数语言表述。完成各节后，应能独立写出 ε-δ 定义，识别证明中的量词依赖，判断可去、跳跃和振荡间断，并说明连续函数为何能在区间上取得中间值。

绝对值不等式承担“距离”的角色。表达式 $|x-a|<\delta$ 表示 $x$ 落在以 $a$ 为中心、半径为 $\delta$ 的邻域内；加上 $x\ne a$ 后得到穿孔邻域。极限只检查穿孔邻域，连续性才会检查中心点本身。

逼近的直觉：精度要求决定输入范围

考虑 $f(x)=3x-1$ 在 $x=2$ 附近的行为。若希望函数值与 $5$ 的误差小于 $0.01$，只需令

$$|f(x)-5|=|3x-6|=3|x-2|<0.01,$$

也就是要求 $|x-2|<0.01/3$。若输出精度改为任意正数 $\varepsilon$，相应地选择 $\delta=\varepsilon/3$ 即可。

这里的逻辑顺序十分重要：对方先给出输出误差 $\varepsilon$，证明者随后构造输入范围 $\delta$；同一个 $\delta$ 必须控制该邻域中的所有 $x$。数值表或图像只能展示有限精度和有限采样，ε-δ 论证覆盖任意精度以及邻域中的全部点。

函数极限的 ε-δ 定义

有限函数极限

设函数 $f$ 在点 $a$ 的某个穿孔邻域内有定义。若对每个 $\varepsilon>0$，都存在 $\delta>0$，使得只要

$$0<|x-a|<\delta,$$

就有

$$|f(x)-L|<\varepsilon,$$

则称 $x$ 趋于 $a$ 时 $f(x)$ 的极限为 $L$，记作 $\lim_{x\to a}f(x)=L$。

条件中的 $0<|x-a|$ 排除了中心点，因此改变 $f(a)$ 不会改变极限。定义也不要求 $f(a)$ 存在。相反，删去上界 $|x-a|<\delta$ 会失去“局部”约束；把量词顺序换成“存在一个 ε 对所有 δ”也无法表达任意精度。

单侧极限把邻域限制在一边。左极限要求 $a-\delta\lt x\lt a$，右极限要求 $a\lt x\lt a+\delta$。双侧极限存在当且仅当左右极限都存在且相等。这个判据特别适合处理分段函数和跳跃间断。

极限唯一性的证明

极限唯一性

若 $\lim_{x\to a}f(x)$ 存在，则极限值唯一。

证明

假设同一函数在同一点同时以 $L$ 和 $M$ 为极限，并且 $L\ne M$。取 $\varepsilon=|L-M|/3$。由两次极限定义，分别存在 $\delta_L$ 与 $\delta_M$，使函数值在相应邻域内距离 $L$、$M$ 都小于 ε。令 $\delta=\min(\delta_L,\delta_M)$，在穿孔邻域内任选一个 $x$，三角不等式给出

$$|L-M|\le |L-f(x)|+|f(x)-M|<2\varepsilon=\frac23|L-M|,$$

产生矛盾。因此 $L=M$。证明的关键是取两个邻域半径的较小者，让同一个 $x$ 同时满足两组估计。

极限运算与夹逼方法

若 $\lim f(x)=A$、$\lim g(x)=B$，则在极限点相同的前提下，和、差与积满足

$$\lim(f+g)=A+B, \qquad \lim(fg)=AB.$$

当 $B\ne0$ 且分母在充分小邻域内不为零时，还有

$$\lim\frac{f}{g}=\frac AB.$$

这些规则都可由 ε-δ 定义证明。乘积证明先写 $fg-AB=f(g-B)+B(f-A)$，再利用 $f$ 在极限点附近有界，把两个误差分别控制。所谓“代入计算”实际依赖这些定理以及分母、根式等表达式的适用条件。

夹逼定理处理难以直接变形的极限。若邻域内 $g(x)\le f(x)\le h(x)$，并且 $g,h$ 都趋于同一个 $L$，则 $f$ 也趋于 $L$。例如 $-|x|\le x\sin(1/x)\le |x|$，两边在 $x\to0$ 时都趋于零，所以中间函数也趋于零；振荡因子无需单独取得极限。

数列判据：用所有趋近序列检验极限

函数极限还可用数列表述。若 $f$ 在 $a$ 的穿孔邻域有定义，则 $\lim_{x\to a}f(x)=L$ 当且仅当：对每个满足 $x_n\ne a$ 且 $x_n\to a$ 的数列，都有 $f(x_n)\to L$。

从函数极限推出数列结论很直接。给定输出误差，ε-δ 定义提供邻域半径；数列收敛保证从某一项起全部落入该邻域，所以函数值从同一项起满足误差要求。反方向可用反证法：若函数极限不成立，就存在某个固定精度，使任意小邻域内都能找到一个坏点。依次在半径 $1,1/2,1/3,\ldots$ 的邻域选取坏点，便构造出趋于 $a$、但函数值不趋于 $L$ 的数列。

数列判据特别适合否定极限。找到两条趋近序列，使函数值趋向不同结果，即可证明极限不存在。证明极限存在时，检查有限几条序列远远不够，因为定义要求覆盖所有可能的趋近方式；此时仍需统一估计、夹逼或极限定理。

在多变量情形，序列可以从任意曲线和任意方向靠近同一点。沿坐标轴结果相同只排除了少数路径，无法替代对整个邻域的控制。这个差别将在多变量可微性与梯度章节再次出现。

连续性的定义与局部运算

点连续

函数 $f$ 在点 $a$ 连续，要求以下三项同时成立：$f(a)$ 有定义， $\lim_{x\to a}f(x)$ 存在，并且

$$\lim_{x\to a}f(x)=f(a).$$

把极限定义中的 $L$ 换成 $f(a)$，可得到连续性的 ε-δ 表述：输入足够接近 $a$ 时，输出必定接近 $f(a)$。多项式处处连续；有理函数在分母非零处连续；连续函数的和、积与复合仍连续。复合函数的连续性说明，只要内层函数把输入送到外层函数的连续点，极限就能逐层传递。

闭区间上的连续函数还具有一致连续性：给定输出精度后，可以选取一个对区间内所有中心点都有效的输入半径。普通点连续允许半径随中心点改变，一致连续则提供全区间统一控制。这个差别在数值离散中很重要；统一网格要同时控制每个小区间内的函数振幅，黎曼积分存在性的常见证明正使用这一性质。

间断可按局部形态分类。左右极限存在且相等、但函数缺值或取错值时是可去间断；左右极限存在但不相等时是跳跃间断；函数值在任意小邻域内持续振荡而没有共同趋向时是振荡间断。分类的依据是极限结构，而非图像是否“画断了”。

区间上的连续性与介值定理

介值定理

若 $f$ 在闭区间 $[a,b]$ 上连续，且数 $N$ 位于 $f(a)$ 与 $f(b)$ 之间，则存在 $c\in[a,b]$ 使 $f(c)=N$。

介值定理保证存在性，不提供唯一性，也不直接给出求解公式。取 $N=0$ 可得常用的零点判据：若连续函数在区间两端异号，则区间内至少有一个零点。二分法正是反复保留异号子区间，把存在性定理转化为可计算过程。

定理中的连续性不可省略。阶跃函数可以从负值直接跳到正值而不经过零；端点异号本身只描述两个取值，无法约束中间行为。

例题一：修补可去间断

例 1：为函数补上连续取值

设

$$f(x)=\frac{x^2-1}{x-1},\qquad x\ne1.$$

因式分解后，在 $x\ne1$ 时有 $f(x)=x+1$，所以 $\lim_{x\to1}f(x)=2$。若希望扩展函数在 $x=1$ 连续，唯一选择是定义 $f(1)=2$。定义成其他数不会改变极限，却会让极限值与函数值不相等。

用 ε-δ 语言验证时， $|f(x)-2|=|x-1|$，对任意 ε 取 $\delta=\varepsilon$ 即可。代数消去提供候选极限，ε-δ 估计完成严格核对。

例题二：用介值定理定位根

例 2：证明三次方程存在实根

考虑 $p(x)=x^3+x-1$。多项式在实数上连续，并且

$$p(0)=-1, \qquad p(1)=1.$$

介值定理保证存在 $c\in(0,1)$ 使 $p(c)=0$。进一步求导可得 $p'(x)=3x^2+1>0$；结合导数知识还可证明该根唯一。仅使用介值定理时，结论应停留在“至少一个”。

执行一次二分：$p(1/2)=-3/8<0$，根位于 $(1/2,1)$；再算 $p(3/4)=11/64>0$，根位于 $(1/2,3/4)$。每一步都保留连续函数端点异号的条件。

反例与常见误区

沿某个数列趋近不足以证明极限

设

$$f(x)=\sin\frac1x,\qquad x\ne0.$$

取 $x_n=1/(2\pi n+\pi/2)$，有 $f(x_n)=1$；取 $y_n=1/(2\pi n+3\pi/2)$，有 $f(y_n)=-1$。两列自变量都趋于零，函数值却趋向不同结果，所以 $\lim_{x\to0}f(x)$ 不存在。找到一条取值收敛的路径只能提供局部证据，证明极限需要控制所有趋近方式。

函数值等于极限值就必然连续

等式 $f(a)=L$ 只有在极限确实存在且等于 $L$ 时才支持连续性。孤立地设置中心点取值无法消除跳跃或振荡间断。

练习

练习标记完成

使用 ε-δ 定义证明 $\lim_{x\to3}(2x+1)=7$，给出 δ 关于 ε 的明确选择。

查看解答

$|(2x+1)-7|=2|x-3|$。对任意 $\varepsilon>0$，取 $\delta=\varepsilon/2$；当 $0<|x-3|<\delta$ 时，输出误差小于 ε。

练习标记完成

设 $f(x)=x+2$ 当 $x<1$，$f(x)=ax$ 当 $x\ge1$。求参数 $a$，使函数在 $x=1$ 连续。

查看解答

左极限为 $3$，右极限和函数值均为 $a$。连续性要求两侧极限与函数值相等，因此 $a=3$。

练习标记完成

说明方程 $\cos x=x$ 在区间 $(0,1)$ 内至少有一个解，并写出适用定理的全部条件。

查看解答

令 $g(x)=\cos x-x$。余弦函数和线性函数连续，所以 $g$ 在 $[0,1]$ 上连续；$g(0)=1>0$，$g(1)=\cos1-1<0$。介值定理保证存在 $c\in(0,1)$ 使 $g(c)=0$。

知识连接

• 函数与函数图像 提供定义域、复合和图像语言。
• 导数与微分 把差商极限解释为瞬时变化率。
• 积分与累积 用分割加细时的和的极限定义总累积。
• 数列极限与函数极限可通过序列判据联系：函数极限存在时，任意趋向极限点的合法数列都会产生同一函数值极限。

推荐资源

book · 2016

Calculus Volume 1

Gilbert Strang, Edwin Herman

用于核对基础微积分定义、定理条件、分步例题与练习。

打开官方来源

第 2 章系统讨论极限、极限定律、精确定义与连续性，适合核对术语和基础证明。

lecture · 2010

MIT 18.01SC Single Variable Calculus

David Jerison

课程材料连接严格定义、计算技巧与应用，可作为完整学习序列。

打开官方来源

微分部分含讲义、例题、习题与解答，可用于训练极限论证和连续性应用。

下一步

接着学习 导数与微分。差商先固定一个非零增量，再让增量趋于零；极限存在时，函数在该点获得线性近似。积分章节则从有限分割出发，让网格宽度趋于零，从另一方向使用同一套极限语言。