查看“︁极限”︁的源代码

'''极限'''（limit）描述变量接近某个位置时，函数值是否稳定地接近一个确定的数。这里的“接近”可以用误差衡量：只要输入控制得足够好，输出误差就能小于任何预先给定的正数。

== 平方函数的输出能控制得多准 ==
取 <math>f(x)=x^2</math>。输入为2时输出为4；输入略有变化，例如 <math>x=2.01</math>，输出变成4.0401。现在倒过来提问：要让输出与4相差不到0.01，输入应当离2多近？

把输出误差分解：
<math display="block">|x^2-4|=|x-2|\,|x+2|.</math>
第一个因子是输入误差，第二个因子随输入变化。先限制 <math>|x-2|<1</math>，这样 <math>1<x<3</math>，于是 <math>|x+2|<5</math>。再要求 <math>|x-2|<0.002</math>，就有 <math>|x^2-4|<5\times0.002=0.01</math>。

图中的横向范围表示输入的允许变化，纵向带表示输出的允许误差。要缩窄纵向带，就可以继续缩窄横向范围。

[[File:Gezhi-limit-band-theme.svg|frame|center|alt=平方函数在输入二附近的图像，缩小输入区间使输出落进以四为中心的误差带|横向范围选得合适，其中整段曲线就会留在输出误差带内。]]

把0.01换成任意正数 <math>\varepsilon</math>，同一思路仍成立：选
<math display="block">\delta=\min\{1,\varepsilon/5\}.</math>
符号 <math>\min</math> 表示取两数中较小的一个。若 <math>0<|x-2|<\delta</math>，前面的两个限制同时成立，因而
<math display="block">|x^2-4|<5|x-2|<\varepsilon.</math>
这条规则适用于每一种精度，就是 <math>\lim_{x\to2}x^2=4</math> 的证明。我们只需找到一个有效的范围，无须找出最大的允许范围。

== 把误差规则写成定义 ==
设实函数 <math>f</math> 的定义域为 <math>D</math>，并且 <math>a</math> 附近任意小的范围内都有不同于 <math>a</math> 的定义域点；后一个条件称 <math>a</math> 是定义域的'''聚点'''。称 <math>f(x)</math> 在 <math>x</math> 趋于 <math>a</math> 时以 <math>L</math> 为极限，是指：

对每个 <math>\varepsilon>0</math>，都能选出 <math>\delta>0</math>，使所有属于 <math>D</math> 的 <math>x</math> 满足
<math display="block">0<|x-a|<\delta\quad\Longrightarrow\quad|f(x)-L|<\varepsilon.</math>
记作 <math>\lim_{x\to a}f(x)=L</math>。<math>\varepsilon</math>（epsilon）表示输出误差，<math>\delta</math>（delta）表示输入半径。先给误差，再选半径，最后检查范围内的'''所有点'''，这个顺序构成定义的要点。[https://openstax.org/books/calculus-volume-1/pages/2-5-the-precise-definition-of-a-limit OpenStax §2.5]采用同样的误差表述。

在线性例子 <math>f(x)=3x-2</math> 中，输入靠近4，输出靠近10。因为 <math>|f(x)-10|=3|x-4|</math>，直接选 <math>\delta=\varepsilon/3</math> 即可。平方函数多了一步给 <math>|x+2|</math> 找上界，正是非线性关系带来的区别。

条件 <math>0<|x-a|</math> 排除了目标点。例如 <math>(x^2-9)/(x-3)</math> 在3处没有定义，但只要 <math>x\ne3</math>，它就等于 <math>x+3</math>，与6的误差为 <math>|x-3|</math>。取 <math>\delta=\varepsilon</math>，便得到极限6。若将缺失点补成6，函数在3连续；补成100，极限仍是6，只是不再连续。'''连续'''要求附近的极限恰好等于那个点的函数值。

== 极限为什么只有一个 ==
假设同一函数在同一点既趋于 <math>L</math> 又趋于不同的 <math>M</math>。令两数距离 <math>d=|L-M|>0</math>，给两边都提出误差 <math>d/3</math>。分别找到两个输入范围，再取较小半径，就应同时有 <math>|f(x)-L|<d/3</math> 和 <math>|f(x)-M|<d/3</math>。

聚点条件保证范围内存在待检查的点；但三角不等式又给出
<math display="block">d=|L-M|\le|L-f(x)|+|f(x)-M|<2d/3,</math>
矛盾。故极限一旦存在，就是唯一的。若定义域中的某点孤立，附近没有其他点，误差要求就没有检查对象，这也解释了定义为何需要聚点条件。

== 从已知极限算出新极限 ==
若 <math>f(x)\to L</math>、<math>g(x)\to M</math>，则和、差、积的极限分别为 <math>L+M</math>、<math>L-M</math>、<math>LM</math>。证明和法则时，给两个函数各分配 <math>\varepsilon/2</math> 的误差，再取共同的输入范围：
<math display="block">|(f+g)-(L+M)|\le|f-L|+|g-M|<\varepsilon.</math>
乘法多了一个会变化的因子。写成 <math>fg-LM=f(g-M)+M(f-L)</math>，先由 <math>f\to L</math> 缩小范围使 <math>|f|\le|L|+1</math>。随后分别要求
<math display="block">|g-M|<\frac{\varepsilon}{2(|L|+1)},\qquad |f-L|<\frac{\varepsilon}{2(|M|+1)},</math>
两项绝对值之和便小于 <math>\varepsilon</math>。这与开头平方函数先控制因子、再控制误差，是同一种方法。

商法则另需 <math>M\ne0</math>。此时先令 <math>|g-M|<|M|/2</math>，就有 <math>|g|>|M|/2</math>，分母不会任意靠近零。若分子、分母都趋零，单凭这个信息无法求商：当 <math>x\to0</math>，<math>x/x\to1</math>，<math>x^2/x\to0</math>，而 <math>x/x^2</math> 没有有限双侧极限。“0/0未定式”所说的正是这种信息不足。

== 误差带怎样容纳振荡 ==
若附近有 <math>g(x)\le f(x)\le h(x)</math>，而两端都趋于 <math>L</math>，那么 <math>f</math> 也趋于 <math>L</math>。给两端同一个误差要求，在共同范围内就有 <math>L-\varepsilon<g(x)\le f(x)\le h(x)<L+\varepsilon</math>，这就是'''夹逼定理'''的证明。

例如 <math>|x^2\sin(1/x)|\le x^2</math>。即使正弦项不断摆动，振幅仍缩小到零，整个表达式因而趋于零；取 <math>\delta=\sqrt\varepsilon</math> 就直接满足误差定义。

另一个重要例子是 <math>\sin x/x</math>。以弧度计，对 <math>0<x<\pi/2</math>，单位圆上的内接三角形、扇形和外接三角形面积依次增大，得到 <math>\sin x<x<\tan x</math>。除以正数并整理：
<math display="block">\cos x<\frac{\sin x}{x}<1.</math>
由同一几何不等式还有 <math>0\le1-\cos x=2\sin^2(x/2)\le x^2/2</math>，所以余弦趋于1，两端趋于1；这个商又是偶函数，左侧结果相同。因此 <math>\lim_{x\to0}\sin x/x=1</math>。这条几何证明可用于建立正弦导数，不需要先借用导数公式。

极限保留非严格不等式，但严格差距可能消失：每个 <math>1/n>0</math>，极限仍为0。若原来还有一个固定的差距，例如 <math>f(x)\ge g(x)+c</math> 且 <math>c>0</math>，那么有限极限之间才保证至少相差 <math>c</math>。

== 用两条趋近路线证明极限不存在 ==
对于 <math>\sin(1/x)</math>，取
<math display="block">x_n=\frac1{2\pi n+\pi/2},\qquad y_n=\frac1{2\pi n+3\pi/2}.</math>
两列输入都趋于0，输出却分别恒为1和−1，不可能进入同一个任意窄的误差带。因此函数在0没有极限。<math>|x|/x</math> 也有类似情况：左边恒为−1，右边恒为1，左右极限不同。

一般的'''序列判别'''是：<math>f(x)\to L</math>，当且仅当每一个由定义域中非 <math>a</math> 的点组成、并趋于 <math>a</math> 的数列 <math>x_n</math>，都有 <math>f(x_n)\to L</math>。正向由定义得出：输入数列最终进入给定范围，输出便满足精度要求。反向若失败，就有某个固定误差 <math>\varepsilon_0>0</math>，无论范围多小都能找到坏点。依次在半径 <math>1/n</math> 内选这样的点，便构造出 <math>x_n\to a</math>，但始终 <math>|f(x_n)-L|\ge\varepsilon_0</math>，与序列条件矛盾。

因此一条好序列不足以证明极限，两个给出不同结果的序列却足以否定它。有限数值表也有同样限制：前一百项与 <math>1/n</math> 相同的数列，以后既可以继续趋零，也可以改成恒为5；结论还要依据数列的完整定义。

== 数列与无穷远的极限 ==
数列 <math>a_n\to L</math> 的输入控制改成“项数足够大”：对每个 <math>\varepsilon>0</math>，存在整数 <math>N</math>，使所有 <math>n\ge N</math> 都有 <math>|a_n-L|<\varepsilon</math>。例如 <math>a_n=2+3/n</math>，取整数 <math>N>3/\varepsilon</math> 即可。每一项都未取到2，仍可以以2为极限。

函数在正无穷处的极限用 <math>x>R</math> 控制输入。例如
<math display="block">\frac{2x+1}{x+3}-2=-\frac5{x+3},</math>
取足够大的 <math>R</math> 就能让右侧绝对值小于给定误差，故原式趋于2。相反，<math>1/x^2</math> 在 <math>x\to0</math> 时超过任何预先给定的正阈值，记作趋于 <math>+\infty</math>；这是无界增长的陈述，而不是有限实数极限。

极限存在与收敛快慢是两件事。<math>1/n</math> 的误差小于千分之一需要 <math>n>1000</math>，<math>1/\sqrt n</math> 则需 <math>n>1000000</math>。多个过程同时变化还要保留次序：在 <math>[0,1]</math> 上，<math>f_n(x)=x^n</math> 对每个固定 <math>x<1</math> 趋于0，故先令 <math>n\to\infty</math> 再令 <math>x\to1^-</math> 得0；先令 <math>x\to1^-</math>，每个 <math>x^n</math> 的极限都是1，再令 <math>n</math> 增大仍得1。

== 历史 ==
柯西在1821年的《分析教程》中系统组织了极限、连续与收敛问题；魏尔斯特拉斯的研究和教学进一步推进了用不等式处理分析基础的传统。今天的误差—邻域定义是在这一发展脉络中形成的标准表述。相关著作与教学经历见[https://mathshistory.st-andrews.ac.uk/Biographies/Cauchy/ MacTutor：Cauchy]及[https://mathshistory.st-andrews.ac.uk/Biographies/Weierstrass/ Weierstrass]。

== 来源与继续阅读 ==
* [https://openstax.org/books/calculus-volume-1/pages/2-5-the-precise-definition-of-a-limit OpenStax，《Calculus Volume 1》§2.5]：精确定义及量词说明。
* [https://mathshistory.st-andrews.ac.uk/Biographies/Cauchy/ J. J. O'Connor、E. F. Robertson，MacTutor：Augustin-Louis Cauchy]：十九世纪分析史。
* [https://mathshistory.st-andrews.ac.uk/Biographies/Weierstrass/ MacTutor：Karl Weierstrass]：分析严格化背景。
* 先修：[[函数]]、[[逻辑]]；后续：[[导数]]、[[积分]]、[[微积分]]。
[[分类:分析]]