1885 字
9 分钟
微积分 01|实数、极限与连续

数学总导航 · 本课程目录 · ← 上一章 · 下一章 →

洗澡水调到 40 度,怎样才算“够接近”?#

你希望水温是 40°C,并且能接受上下 0.5°C 的误差。39.8°C 可以,40.3°C 也可以;39°C 就不行。如果你换成更挑剔的要求,只接受上下 0.01°C,就得继续调。

假设第 nn 次调节后的水温是 Tn=40+2/nT_n=40+2/n。要求误差小于 0.5°C,就要 2/n<0.52/n<0.5,即 n>4n>4;要求小于 0.01°C,就要 n>200n>200。

“趋近 40”不要求某次读数恰好等于 40,而是说:你提出多小的正误差,我都能告诉你从哪次以后一直达标。下面极限定义中的 ε\varepsilon 就是你提出的误差,NN 就是达标次数。先记住这幅画面,再读符号。

从水温问题走到真正的精度保证#

刚才的例子是“调节次数越来越多”。现在换成一个输入可以连续改变的旋钮。假设在目标附近,用 f(x)=x2f(x)=x^2 描述输出,目标输入是 3,目标输出就是 9。

你要求输出误差不超过 0.1,该怎样限制输入?我们要解的是

∣x2−9∣=∣x−3∣∣x+3∣<0.1.|x^2-9|=|x-3||x+3|<0.1.

难点是右边除了输入误差 ∣x−3∣|x-3|,还挂着一个会变的 ∣x+3∣|x+3|。先规定旋钮只能在 ∣x−3∣<1|x-3|<1 内动,此时 2<x<42<x<4,所以 ∣x+3∣<7|x+3|<7。只要进一步让 ∣x−3∣<0.1/7|x-3|<0.1/7,输出就保证合格。

如果输出要求改成任意的 ε>0\varepsilon>0,同一套做法给出

δ=min⁡{1,ε/7}.\delta=\min\{1,\varepsilon/7\}.

先让对方提出输出要求,再由我们给出输入限制。这就是 ε\varepsilon—δ\delta 的顺序。符号并没有增加新谜题,它只是在把一份“精度承诺”写得不可误解。

输入范围与输出误差带

为什么不能先选一个固定输入精度#

如果你说“不管要求多高,我都让输入误差小于 0.01”,输出误差当然不可能自动小于任意正数。对方完全可以提出 10−1010^{-10} 的要求。这就是为什么定义允许 δ\delta 依赖 ε\varepsilon。

另一个常见混淆是:只找一个很接近 3 的输入,输出恰好合格。极限要求更强:这个小区间里每一个允许输入都合格,不能只挑最好看的那一个。它是一段范围的保证,不是一次碰巧成功的测量。

一个“越来越近”却没有共同终点的例子#

设 g(x)g(x) 在负半轴为 0,在非负半轴为 1。输入从左边逼近零,输出一直是 0;从右边逼近,输出一直是 1。把输入窗口缩得再窄,两边都还在,输出范围也还跨着这两个值。

假设极限为某个 LL。想把输出都放在以 LL 为中心、半径小于 1/21/2 的区间里,就不可能同时容纳 0 与 1。因此双侧极限不存在。关键不是“零点本身给了什么值”,而是附近的输出没法共同挤向同一个数。

把定义用在一道新题上#

对 f(x)=5x−2f(x)=5x-2,证明 x→4x\to4 时输出趋于 18。输出误差为 ∣5x−20∣=5∣x−4∣|5x-20|=5|x-4|。你若要求小于 ε\varepsilon,输入只需小于 ε/5\varepsilon/5。这题不需要额外控制因子,因为放大率恰好恒定。

再试 f(x)=1/xf(x)=1/x 在 2 附近。先限制 ∣x−2∣<1|x-2|<1,则 x>1x>1;于是 ∣1/x−1/2∣=∣x−2∣/(2∣x∣)≤∣x−2∣/2|1/x-1/2|=|x-2|/(2|x|)\le|x-2|/2,取 δ=min⁡{1,2ε}\delta=\min\{1,2\varepsilon\} 即可。这里的第一步是在避开分母为零的危险区域。带着这种“先找误差怎样传递”的想法,再读下面的一般定义。

带你做:手机电量显示越来越稳定,误差怎样保证#

设一个简化校准算法在第 nn 次给出 an=80+3/(n+2)a_n=80+3/(n+2)。你希望它与目标 80 的差小于 0.05。先别急着引用极限,直接解不等式:

3n+2<0.05⟺n+2>60⟺n>58.\frac3{n+2}<0.05\Longleftrightarrow n+2>60\Longleftrightarrow n>58.

所以第 59 次以后全部达标。若题目只要证明收敛,便把 0.05 换成任意 ε>0\varepsilon>0,例如选整数 N>3/εN>3/\varepsilon 即可;它不一定最省,却一定够用。

这里的“存在 NN”不是让你找一个世界通用的神奇数字。误差要求提高,NN 通常也要提高;证明只需给出一条能随要求调整的规则。

再检查一个错误说法:“这个算法第 100 次很准确,所以它收敛。”单次准确毫无保证,完全可能后面又跳走。极限要求某个时间以后的全部项都受控。这也是为什么你看到实验曲线趋于平稳时,应区分有限样本证据与对整个序列的数学证明。

回头整理:定义、工具与练习#

从近似进入极限#

0.9,0.99,0.999,…0.9,0.99,0.999,\ldots 的误差依次是 10−1,10−2,10−3,…10^{-1},10^{-2},10^{-3},\ldots。说它趋于 1,是说对任何指定误差,后面的项都能保持在误差范围内。

数列 ana_n 收敛到 aa 的定义是

∀ε>0, ∃N, ∀n≥N,∣an−a∣<ε.\forall\varepsilon>0,\ \exists N,\ \forall n\ge N,\quad |a_n-a|<\varepsilon.

NN 可以依赖 ε\varepsilon,但不能再依赖已经受约束的 nn。对 an=1/na_n=1/n,选整数 N>1/εN>1/\varepsilon 即可。定义要求所有足够靠后的项都接近,而不只是某个子序列接近。

实数为什么适合做极限#

实数的完备性可表述为:每个非空、有上界的实数集合都有最小上界。由此可证明单调有界数列收敛、实数中的 Cauchy 数列收敛。这里只记住它提供“极限不会掉进数轴的洞里”。

例如有理数中可以构造越来越接近 2\sqrt2 的序列,项与项越来越接近,但其极限不在 Q\mathbb Q。泛函分析会把这个问题推广到函数空间。

函数极限与连续#

lim⁡x→af(x)=L\lim_{x\to a}f(x)=L 意味着

∀ε>0, ∃δ>0,0<∣x−a∣<δ⟹∣f(x)−L∣<ε,\forall\varepsilon>0,\ \exists\delta>0,\quad 0<|x-a|<\delta\Longrightarrow |f(x)-L|<\varepsilon,

其中 xx 取在函数定义域内。去心条件解释了为什么函数可以在 aa 处未定义。连续则要求 aa 在定义域中,且极限等于 f(a)f(a)。

例:证明 x2x^2 在 aa 连续。先要求 ∣x−a∣<1|x-a|<1,便有 ∣x+a∣<2∣a∣+1|x+a|<2|a|+1,再选

δ=min⁡(1,ε2∣a∣+1).\delta=\min\left(1,\frac{\varepsilon}{2|a|+1}\right).

于是 ∣x2−a2∣=∣x−a∣∣x+a∣<ε|x^2-a^2|=|x-a||x+a|<\varepsilon。常用套路是:先控制额外因子,再控制主要误差。

三个计算工具#

极限存在时可做加、减、乘;做除法还需分母极限非零。夹逼定理用上下两个相同的极限夹住目标,例如 ∣xsin⁡(1/x)∣≤∣x∣|x\sin(1/x)|\le|x|。

在弧度制下,可由单位圆面积比较得 sin⁡x<x<tan⁡x\sin x<x<\tan x(0<x<π/20<x<\pi/2),从而 sin⁡x/x→1\sin x/x\to1。再由对称性扩展到双侧极限。它是三角函数求导的基础。

紧区间上的连续函数#

在闭区间 [a,b][a,b] 上连续的实函数有以下性质:有界、取得最大最小值、满足介值定理,而且一致连续。

一致连续意味着一个 δ\delta 可以对整个区间内所有基点通用。f(x)=1/xf(x)=1/x 在 (0,1)(0,1) 连续但不一致连续:取 xn=1/nx_n=1/n、yn=1/(n+1)y_n=1/(n+1),输入差趋零,输出差恒为 1。闭、有界以及定义域条件不能省略。

练习与解答#

  1. 用定义证明 an=(2n+1)/n→2a_n=(2n+1)/n\to2。
  2. 判断 sin⁡n\sin n 是否收敛;若暂时不会,先判断 (−1)n(-1)^n。
  3. f(x)=xsin⁡(1/x)f(x)=x\sin(1/x) 在零点应如何补定义?

解答:1. 误差为 1/n1/n,取 N>1/εN>1/\varepsilon。2. (−1)n(-1)^n 的奇偶子列分别趋于 −1-1 和 1,故不收敛;sin⁡n\sin n 也不收敛,一个不依赖等分布的证明是:若它收敛,由 sin⁡(n+2)+sin⁡n=2cos⁡1sin⁡(n+1)\sin(n+2)+\sin n=2\cos1\sin(n+1) 得极限只能为零;再由 sin⁡(n+1)=sin⁡ncos⁡1+cos⁡nsin⁡1\sin(n+1)=\sin n\cos1+\cos n\sin1 得 cos⁡n→0\cos n\to0,与平方和为 1 矛盾。3. 补 f(0)=0f(0)=0,由夹逼定理连续。

几何伴读#

3Blue1Brown:极限的精确定义。观察误差带与输入邻域怎样对应,再重读本章的量词。


数学总导航 · 本课程目录 · ← 上一章 · 下一章 →

微积分 01|实数、极限与连续
https://f1yingwhite.github.io/posts/数学/微积分/01-实数、极限与连续/
作者
F1yingWhite
发布于
2026-11-03
许可协议
CC BY-NC-SA 4.0