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

'''极限'''（limit）是在变量趋近某个位置、或数列的项数不断增大时，对输出能否稳定接近一个确定值的精确描述。实数中的有限极限以距离和误差为基础：无论要求多小的输出误差，都能给出足够严格的输入范围，使范围内的所有输出满足要求。它并不意味着变量真的走完“无穷多步”，也不要求函数在目标点有定义。[[导数]]、[[积分]]、连续性及级数收敛都使用这一思想。

== 从误差要求理解趋近 ==
设一段测量关系由 <math>f(x)=3x-2</math> 描述。当输入接近 4 时，输出应接近 10。这不只是观察数值表所得的猜想，因为输出误差与输入误差有精确关系：
<math display="block">|f(x)-10|=3|x-4|.</math>
要求输出误差小于 0.03，只需输入误差小于 0.01；要求输出误差小于百万分之一，就把允许的输入误差缩小到三百万分之一。这里重要的是同一条控制规则能够应付'''任意'''正误差，而不是某一次计算出现了很多相同的小数位。

非线性函数也有类似控制，但比例可能随位置变化。例如平方函数在 2 附近的输入误差与输出误差并不是永远按 4 倍变化；需要先限制输入范围，再寻找一个足够的误差上界。极限定义允许这个上界不够精确，只要求它确实有效。证明中找出的邻域通常不是最大的邻域，极限也不要求每一步都单调靠近目标。

[[File:Gezhi-limit-band.svg|frame|center|alt=平方函数在输入二附近的图像，缩小输入区间使输出落进以四为中心的误差带|横轴范围控制输入误差，纵轴误差带控制输出误差。图只展示一次选择，极限定义要求每一种正的输出误差都能得到控制。]]

== 定义中的范围与量词 ==
设 <math>D\subseteq\mathbb R</math>，函数 <math>f:D\to\mathbb R</math>，且 <math>a</math> 是 <math>D</math> 的聚点，即任意小的 <math>a</math> 邻域都包含不同于 <math>a</math> 的定义域点。称
<math display="block">\lim_{x\to a}f(x)=L</math>
当且仅当对每个 <math>\varepsilon>0</math>，都存在 <math>\delta>0</math>，使得对所有 <math>x\in D</math>，
<math display="block">0<|x-a|<\delta\quad\Longrightarrow\quad|f(x)-L|<\varepsilon.</math>
这里的 <math>\varepsilon</math> 是输出误差容限，<math>\delta</math> 是能够保证该容限的输入半径。定义的本科教材表述可参见 [https://openstax.org/books/calculus-volume-1/pages/2-5-the-precise-definition-of-a-limit OpenStax §2.5]。

量词的先后有实际作用：先给任意误差，再选一个邻域，最后要求这个邻域内的所有定义域点同时合格。<math>\delta</math> 可以依赖误差、函数和目标位置，但不能随着最后检查的那个 <math>x</math> 临时变化。若只要求“邻域里至少存在一个合格点”，振荡函数也容易满足，便无法表达稳定趋近。

条件 <math>0<|x-a|</math> 排除了目标点自身，因此改变一个函数在 <math>a</math> 的取值不影响极限。聚点条件则排除另一种空洞情况：如果附近根本没有可检查的点，逻辑蕴含会自动成立，从而每个数都能被误称为极限。对于只有右侧定义的函数，应在定义域内讨论趋近；通常教材所说的“双侧极限”，还默认目标点两边都有可趋近的点。

=== 完整证明一：平方函数的误差控制 ===
证明 <math>\lim_{x\to2}x^2=4</math>。目标误差可以分解为
<math display="block">|x^2-4|=|x-2|\,|x+2|.</math>
第二个因子并不是常数，不能直接令 <math>\delta=\varepsilon/|x+2|</math>，因为这会让已经选定的邻域依赖待检查的点。先要求 <math>|x-2|<1</math>，便有 <math>1<x<3</math>，从而 <math>|x+2|<5</math>。给定任意 <math>\varepsilon>0</math>，选择
<math display="block">\delta=\min\{1,\varepsilon/5\}.</math>
若 <math>0<|x-2|<\delta</math>，前述两个限制同时满足，于是 <math>|x^2-4|<5|x-2|<\varepsilon</math>，证明完成。这里先“圈定范围”，再“控制误差”，比猜最优的邻域更便于推广。

=== 完整证明二：去掉分母为零的表象 ===
求 <math>\lim_{x\to3}(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。

这个证明没有给 <math>0/0</math> 赋值，也没有宣称原函数在 3 处等于 6。若补定义为 6，得到连续延拓；若补定义为 100，极限仍为 6，但函数在该点不连续。“附近的行为”与“那个点的值”是两个信息。

== 极限为何唯一，何时可以运算 ==
有限极限的唯一性可以直接由定义证明。假设同一函数在同一点有两个不同的极限 <math>L,M</math>，令 <math>\varepsilon=|L-M|/3</math>。分别找到保证接近两者的邻域，再取两邻域半径的较小值。聚点条件保证其中存在一个去心定义域点；在这个点，三角不等式给出
<math display="block">|L-M|\le |L-f(x)|+|f(x)-M|<\frac23|L-M|,</math>
产生矛盾。因此只要有限极限存在，就不能同时是两个不同的数。

若 <math>f(x)\to L</math>、<math>g(x)\to M</math> 都是有限极限，和、差、积的极限分别为相应的和、差、积。商法则另需 <math>M\ne0</math>，这样分母在足够小的邻域中才会离零有一段距离。证明和法则时，把总误差预算平分给两个函数，再取能同时满足要求的邻域；证明乘法则时，还需要利用收敛函数在局部有界。这些规则不是对符号“无穷小”进行任意代数运算。

<math>0/0</math> 被称为未定式，原因是它没有决定增长速度的比较。例如在 <math>x\to0</math> 时，<math>x/x\to1</math>，<math>x^2/x\to0</math>，而 <math>x/x^2</math> 没有有限双侧极限。同样，“无穷大减无穷大”也不确定：<math>(x+1)-x</math> 恒为 1，<math>2x-x</math> 在 <math>x\to+\infty</math> 时却无界增大。

== 夹逼、振荡与不存在的证明 ==
夹逼定理说：若目标点附近有 <math>g(x)\le f(x)\le h(x)</math>，且两端都趋于同一个有限值 <math>L</math>，则中间也趋于 <math>L</math>。证明只需分别保证 <math>L-\varepsilon<g(x)</math> 和 <math>h(x)<L+\varepsilon</math>；取共同邻域以后，中间项自动落在同一误差带内。

例如 <math>x\ne0</math> 时有 <math>|x^2\sin(1/x)|\le x^2</math>，所以其极限为 0。甚至可以直接给出 <math>\delta=\sqrt{\varepsilon}</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。若函数有同一个极限，沿这两条序列也必须得到同一个值，这与唯一性冲突。

左右极限给出另一种失败情形。<math>|x|/x</math> 在 0 左边恒为 −1、右边恒为 1，因此双侧极限不存在。并不是“左右各有答案，随便选一个”；双侧定义要求同一误差控制同时覆盖两边。至于 <math>1/x^2</math> 在 0 附近，函数趋于正无穷，说明它没有有限实数极限，但在扩充实数的约定下可以写极限为 <math>+\infty</math>，不宜笼统说“完全没有极限”。

== 数列、无穷远与连续性 ==
数列 <math>(a_n)</math> 收敛于 <math>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>|x-a|<\delta</math>。例如
<math display="block">\frac{2x+1}{x+3}-2=-\frac5{x+3}</math>
在足够大的正 <math>x</math> 上可以任意接近零，所以原式趋于 2。函数趋于正无穷则使用任意阈值 <math>M>0</math>：最终函数值大于它；无穷符号在这里记录无界增长，不能当成一个普通实数代入四则运算。

连续性把极限与函数值接起来：在定义域的聚点 <math>a</math> 处，若 <math>f(a)</math> 存在且极限等于 <math>f(a)</math>，函数就在该点连续。导数进一步要求差商存在有限极限。因此“有极限”“连续”“可导”是一条逐渐增加条件的关系，而不是同义词。有关复杂极限的洛必达法则，需要函数在去心区间可导、分母导数不为零、满足指定未定式并且导数商存在相应极限；不能看到分式就上下分别求导，也不能用它循环证明尚未建立的导数公式。

== 序列判别：把所有趋近路径放到同一标准下 ==
实函数在定义域聚点 <math>a</math> 的极限为 <math>L</math>，等价于：每一个由定义域中非 <math>a</math> 点组成、并趋于 <math>a</math> 的序列 <math>x_n</math>，都满足 <math>f(x_n)\to L</math>。这里必须是“每一个序列”；随意挑出一条表现良好的序列，只能提供证据，不能证明函数极限。

正向证明从误差邻域开始：给定输出误差，由函数极限找到相应的输入半径；由于序列趋于 <math>a</math>，最终所有项都进入这个邻域，因此其输出满足误差要求。反向可以用反证法。如果函数不趋于 <math>L</math>，那么存在某个固定误差 <math>\varepsilon_0>0</math>，使无论邻域取得多小，其中总能找到输出误差至少为 <math>\varepsilon_0</math> 的点。对每个正整数 <math>n</math>，在半径 <math>1/n</math> 内选这样一个点 <math>x_n</math>；所选输入趋于 <math>a</math>，输出却始终不进入目标误差带，与假定的所有序列都收敛矛盾。

这个证明也给出了“极限不成立”的精确否定形式。否定并不是说每一个附近点都离目标很远，而是说至少有一种误差要求，无论把输入控制得多紧，总有反例溜出来。因此，函数可以在大部分采样点看起来很平稳，仍被一条稀疏但持续出现的坏序列破坏极限。

== 收敛速度、数值表与可交换的极限 ==
两个数列可以收敛到同一个数，却有截然不同的速度。<math>1/n</math> 与 <math>1/\sqrt n</math> 都趋于零，但要让误差小于千分之一，前者需要项数大于一千，后者需要大于一百万。极限定义告诉是否最终能够达到任意精度，并没有自动提供一个高效算法；给出明确的误差界，才把存在性变成可计算的精度控制。

有限样本也不能唯一决定极限。假设观察到前一百项均为 <math>1/n</math>，后续可以继续按这个规律趋零，也可以从第一百零一项起恒为 5，还可以交替正负而不收敛。知道具体生成公式或能够证明的性质，才有资格把有限数据外推到无限过程。对于实际测量，模型误差和数学上由公式推出的极限应分别表述。

涉及两个变化过程时，先后顺序同样需要保留。令 <math>f_n(x)=x^n</math>，定义在 <math>[0,1]</math>。对每个固定 <math>x<1</math>，随 <math>n\to\infty</math> 趋于零，而在 <math>x=1</math> 始终等于 1。因此先取点态极限再令 <math>x\to1^-</math>，得到 0；先固定 <math>n</math> 令 <math>x\to1^-</math>，每次都得到 1，再令 <math>n</math> 增大仍为 1。两者不相同，说明交换极限次序需要一致性等额外条件。

== 一个不依赖洛必达法则的三角极限 ==
采用弧度制时，对 <math>0<x<\pi/2</math>，单位圆的内接三角形、扇形和外接三角形面积比较给出 <math>\sin x<x<\tan x</math>。因为此时正弦与余弦为正，可以整理为 <math>\cos x<\sin x/x<1</math>。当 <math>x\to0^+</math>，两端都趋于 1；又因 <math>\sin(-x)/(-x)=\sin x/x</math>，左侧极限相同，于是双侧极限为 1。

这里扇形面积等于角度的一半，正是弧度制进入结论的地方。该极限常被用于建立正弦的导数；如果尚未独立证明三角函数导数，就不应再用洛必达法则反过来证明它，否则会形成循环论证。某些教程先从幂级数定义三角函数，那可以沿另一套逻辑建立结论；重要的是在同一条证明路线中清楚记录哪些事实已经可用。

极限还保持一种带条件的顺序关系。若目标点附近始终有 <math>f(x)\le g(x)</math>，且两者都有有限极限，那么极限满足 <math>L\le M</math>。若反而假设 <math>L>M</math>，可以把两端误差都压到差值的三分之一以内，就会迫使附近 <math>f(x)>g(x)</math>，产生矛盾。这个证明再次使用了共同邻域，而不是把不等号形式地抄到极限符号外。

不过严格不等号未必保留。<math>1/n>0</math> 对每项成立，两个极限却都等于零。因此从“每次比较都大一点”不能推出“极限也一定大一点”。若需要在极限后仍有正差距，必须提供统一的正下界。例如始终有 <math>f(x)\ge g(x)+c</math> 且固定 <math>c>0</math>，才可推出极限差至少为 <math>c</math>。这种区分在估计误差、证明解不退化时经常出现。

== 历史：从计算方法到严格基础 ==
极限观念不是某一年由一个人一次完成的。十七世纪的牛顿、莱布尼茨发展了微积分方法；十九世纪柯西的《分析教程》（1821）推动了极限、连续和收敛在分析中的系统化。魏尔斯特拉斯的教学与研究进一步强化了以不等式表述分析的传统。这里应区分早期原文与今天教材中的量词化重述，不能把现代完整定义逐字归给一个历史人物。[https://mathshistory.st-andrews.ac.uk/Biographies/Cauchy/ MacTutor：柯西传]；[https://mathshistory.st-andrews.ac.uk/Biographies/Weierstrass/ MacTutor：魏尔斯特拉斯传]。

严格化处理的是哪些推理在何种条件下成立，并不意味着早期数学只有错误，或后世一劳永逸地解决了所有基础问题。实数的完备性、函数概念和一致收敛等问题，也共同构成十九世纪分析的发展背景。

== English overview ==
<div lang="en" class="math-english-summary">
A limit describes stable behavior under an arbitrarily demanding error requirement. For a real function, saying that its limit at a point is L means that every positive output tolerance can be met by restricting the input to a sufficiently small punctured neighborhood. The input must remain in the domain, and the target point must be an accumulation point of that domain. The value at the target point, if it exists, does not determine the limit.

The order of the quantifiers matters. One neighborhood must work for all eligible inputs after the tolerance has been chosen. This requirement explains both uniqueness and the distinction between a genuine limit and a numerical guess. Factoring a removable expression, bounding a nonlinear factor, and applying the squeeze theorem are different ways to establish the required control. Two sequences approaching the same point with incompatible output limits provide a way to disprove convergence.

Sequence limits use an eventual index instead of a neighborhood radius. Infinite limits describe unbounded behavior rather than convergence to a real number. Continuity adds agreement with the function value; differentiation asks for the convergence of a difference quotient. Each statement therefore carries assumptions beyond the informal word “approach.”
</div>

== 编者评注（AI 辅助） ==
本站认为，极限入门最应掌握的是“误差要求如何转成输入限制”，而不是先收集大量计算技巧。这是教学编排的判断，不是极限理论中的定理。本文保留完整的邻域选择、唯一性证明和不存在的例子，目的在于让公式的适用条件可以逐项检查。计算器与图像适合形成猜想，但无法检查任意小尺度；遇到振荡、奇点或分母趋零时，尤其应回到定义或已证明的定理。

== 来源与继续阅读 ==
* [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]：分析严格化背景。
* 先修：[[函数]]、[[逻辑]]；后续：[[导数]]、[[积分]]、[[微积分]]。
[[分类:分析]]