趋近一个值,不等于达到这个值
极限所问的是:当自变量不断靠近某个点 c 时,函数值会不断靠近哪一个值,而这并不要求函数在 c 处真的有定义,即使有定义,也不要求它在那里恰好等于这个极限值。「趋近」与「达到」的这种区别,正是极限区别于简单代入的核心所在:代入问的是「f(c) 等于多少?」;极限问的是「当 x 无限接近 c 时,f(x) 趋近于什么?」这两个问题可能有不同的答案,也可能其中一个有答案而另一个没有。
对于性质良好(连续)的函数,趋近与达到给出的答案是一样的,这也是为什么在初等代数中遇到的大多数函数,直接代入就能奏效。而恰恰是在函数表现不佳的地方——无定义、不连续,或在某一点上由比值构成未定式如 0/0——极限才真正变得不可或缺,因为正是在这些地方代入失效了,而极限却仍然可能存在。
单侧极限与双侧极限
单侧极限只考察函数在某一个方向上的表现:左极限,记作 lim(x→c⁻) f(x),考察当 x 从下方(即小于 c 的值)趋近 c 时 f 的取值;右极限,记作 lim(x→c⁺) f(x),考察当 x 从上方(即大于 c 的值)趋近 c 时 f 的取值。双侧极限,记作不带上标的 lim(x→c) f(x),只有在左极限与右极限都存在且彼此相等时才存在。
函数 f(x) = |x| / x 在 c = 0 处正好展示了单侧极限不一致的情形:对任意负数 x,|x| / x = −1,因此左极限为 −1;对任意正数 x,|x| / x = 1,因此右极限为 1。由于 −1 ≠ 1,x = 0 处的双侧极限不存在,尽管两个单侧极限各自都存在,而且都有明确的定义。
| 趋近方向 | f(x) = |x| / x 的表现 | 极限 |
|---|---|---|
| 左极限 (x → 0⁻) | 对所有 x < 0,f(x) = −1 | 极限 = −1 |
| 右极限 (x → 0⁺) | 对所有 x > 0,f(x) = 1 | 极限 = 1 |
| 双侧极限 (x → 0) | 左右极限不一致 (−1 ≠ 1) | 不存在 |
经典案例:为什么 sin(x)/x 需要极限,而不是代入
把 x = 0 直接代入 sin(x)/x 得到 sin(0)/0 = 0/0,这是一个本身不带有确定数值的未定式——0/0 并不会自动等于 0,或 1,或永远无定义;它只是说明直接代入无法回答这个问题,必须改为求极限。将 sin(x)/x 在从两侧不断趋近 0 的一系列 x 值处求值,可以看到函数值稳步趋向 1,而不是趋向 0 或其他任何数值。
从数值上看:在 x = 0.1 处,sin(x)/x ≈ 0.998334;在 x = 0.01 处,sin(x)/x ≈ 0.999983;在 x = 0.001 处,sin(x)/x ≈ 0.9999998;在 x = 0.0001 处,sin(x)/x ≈ 0.99999998。左侧和右侧的趋势都收敛到 1,因此 lim(x→0) sin(x)/x = 1,尽管函数 sin(x)/x 本身在 x = 0 处恰好没有定义。这是微积分中的一个标准结论,通常用几何上的夹逼(三明治)论证来严格证明,而不仅仅依靠数值计算。
极限不存在的情形:1/x 在 x = 0 处
并非每一个极限都存在。函数 f(x) = 1/x 在趋近 c = 0 时,展示了极限因无界增长而不存在的情形,这与简单的左右不一致不同:当 x 从右侧(较小的正值)趋近 0 时,1/x 无限增大,趋向正无穷;当 x 从左侧(较小的负值)趋近 0 时,1/x 无限减小,趋向负无穷。由于两个单侧的表现分别趋向相反方向的无穷大,而不是趋于某个共同的有限数值,x = 0 处的双侧极限不存在。
极限也可能因为振荡而不存在,而不仅仅是因为趋向无穷——例如,当 x 趋近于 0 时,sin(1/x) 会在 −1 与 1 之间无穷次振荡,无论 x 多么接近 0,都不会从任何一侧趋于某个单一的值。无界增长与持续振荡都是极限不存在的标准且有据可查的原因,与上文 |x|/x 所展示的单侧极限不一致的情形不同。
为什么极限是导数与积分共同的基础
导数的正式定义本身就是一个极限——割线斜率当定义它的两个点无限靠近合并为一点时的极限——定积分的正式定义同样也是一个极限,即黎曼和当矩形数量趋于无穷大时的极限。因此,理解什么是极限、极限何时存在或不存在,并不是微积分中的一个次要话题,而是这门学科两大核心运算背后共同的机制。
这也是为什么本网站的数值极限计算器,在概念上与上文对 sin(x)/x 求值的方式完全一致:它通过在自变量从两侧不断靠近趋近值的若干点处对函数求值,分别估算左侧和右侧的表现,再检验这两种趋势是否足够接近,从而给出双侧极限的结果。
常见问题
极限不存在是什么意思?
这意味着当 x 趋近某个特定点时,函数的表现没有稳定趋向一个明确的值——常见原因包括左极限与右极限不一致(如 x = 0 处的 |x|/x)、函数从两侧分别向相反方向无界增长(如 x = 0 处的 1/x),或者函数在该点附近持续振荡而不趋于稳定。
单侧极限与双侧极限有什么区别?
单侧极限只考察函数从某一个方向趋近某点时的表现——左极限考察从较小值一侧趋近的情形,右极限考察从较大值一侧趋近的情形。双侧极限只有在两个单侧极限都存在且彼此相等时才存在;如果两者不一致,即使每个单侧极限各自都可能有明确定义,双侧极限依然不存在。
为什么 sin(0)/0 无定义,而 lim(x→0) sin(x)/x = 1 却成立?
因为极限问的是函数趋近于什么值,而不是函数在该点本身等于什么值。直接代入会得到未定式 0/0,它本身不带有确定数值,但把 sin(x)/x 在从两侧不断靠近 0 的点上求值,可以看到函数值稳步收敛于 1,这正是极限的值,尽管函数本身在 x = 0 处恰好没有定义。
极限在什么情况下不存在?
当左极限与右极限不一致时(如 x = 0 处的 |x|/x)、当函数从两侧分别向相反方向无界增长时(如 x = 0 处的 1/x),或者当函数在该点附近持续振荡而不趋于任何单一值时(如 x = 0 附近的 sin(1/x)),极限就不存在。
一个函数能否在其没有定义的点上仍然存在极限?
可以。极限描述的是当自变量靠近某点时函数趋近的值,而不是函数在该点等于什么值,因此这两个问题可能有不同的答案。函数 sin(x)/x 在 x = 0 处没有定义,但它当 x 趋近于 0 时的极限恰好是 1,因为函数值从两个方向都收敛于 1,尽管 x = 0 本身被排除在其定义域之外。
参考文献
- Stewart J. Calculus. Cengage Learning (the formal definition of a limit, one-sided limits, and the squeeze theorem).
- Spivak M. Calculus (4th ed). Publish or Perish, 2008 (rigorous treatment of limits and continuity).
- Thomas GB, Weir MD, Hass J. Thomas' Calculus. Pearson (limits, one-sided limits, and indeterminate forms).
- NIST Digital Library of Mathematical Functions (DLMF), Chapter 3: Numerical Methods. dlmf.nist.gov.