极限存在与不存在全解析：7种情形与21种判断方法

极限恐怕是所有数学课里第一道真正让人“被定义劝退”的坎。高中你可能会算 (\lim_{x\to 0}\frac{\sin x}{x}1)觉得极限不过是个“趋近”的说法但大学一上来就用 (\forall\varepsilon\ \exists\delta\ \forall x) 这套符号把直觉变成形式逻辑很多人当场就懵了。我当年学到这里也一度靠背模板撑作业后来才发现只要把这套符号背后的“博弈”想明白7种极限存在的情况和21种常见的不存在情况完全可以系统地列成一张表。这篇文章就把这套东西完整拆开适合正在学高等数学、数学分析或者考研基础阶段被极限定义折腾过的朋友。先说结论7种存在情况对应一维实数轴上所有最基本的“逼近路线”而21种不存在情况不是乱凑的数字它等于 (7\times3)——7种逼近方式每一种都可能因为3种不同原因导致极限不存在。下面一条条聊。1. 先别背定义(\varepsilon-\delta) 到底在刻画什么1.1 一场“找茬游戏”你和函数之间的博弈很多人看到“(\forall\varepsilon0,\ \exists\delta0)”就条件反射地头晕。其实它描述的是一个非常具体的游戏我声称 (\lim_{x\to a} f(x)L)也就是“当 (x) 越来越接近 (a) 时(f(x)) 要越来越接近 (L)”。怎么证明这句话算数你出招你随便挑一个任意小的误差容忍度 (\varepsilon)比如 (0.0001)我必须在函数图像上找到一截“去心邻域”也就是距离 (a) 不超过某个正数 (\delta) 的所有点让这些点对应的函数值都落在 ((L-\varepsilon,L\varepsilon)) 这条窄带里。如果不管你把 (\varepsilon) 缩得多小我都能找到对应的 (\delta)那极限 (L) 就是真的存在。这里的核心思想是误差先由你定邻域半径后由我定。(\delta) 是 (\varepsilon) 的“应答”通常写成 (\delta\delta(\varepsilon))。谁先出招、谁后接招这个次序绝对不能变。1.2 量词顺序为什么不能调换(\forall\varepsilon0\ \exists\delta0) 和 (\exists\delta0\ \forall\varepsilon0) 看起来只是换了个位置意思天差地别。如果把 (\exists\delta) 放在前面意思就变成存在一个固定的半径 (\delta)不管你把精度要求 (\varepsilon) 提得多高只要 (x) 落在这个固定邻域里函数值和 (L) 的差都能小于这个 (\varepsilon)。那意味着什么意味着在这个邻域内函数必须是常函数 (L)。这当然不是极限的意思。极限允许函数在离 (a) 很近的地方波动只要波动的幅度随着邻域收缩而不断变小就行。每一个更小的 (\varepsilon)都可以换取一个更小的 (\delta)这个“换取”过程才是关键。所以你在看定义时要把“任意给定的精度”和“我找到的保障范围”当成一买一卖买家提要求卖家给承诺。卖家的承诺要不断跟着买家要求走而不是反过来让买家接受一个固定套餐。1.3 去心邻域与“极限和函数值无关”定义里写的是 (0|x-a|\delta)注意最前面那个 (0)这叫“去心”。意思是 (x) 可以无限逼近 (a)但不需要等于 (a)。这样做有一个非常重要的推论函数在 (a) 点有没有定义、函数值是多少跟极限没有任何关系。最经典的例子是 (\frac{x^2-1}{x-1}) 在 (x1) 处没有定义但 (\lim_{x\to1}\frac{x^2-1}{x-1}2)。也有反过来的情况函数在 (a) 点有定义甚至函数值还挺正常但极限照样不存在。这就是极限和连续的本质区别连续要求极限存在且等于函数值而极限本身只管“附近”和“逼近”不管“到达”。2. 7种极限存在情形从一维的所有“逼近路线”出发2.1 为什么是7种一维空间的逼近方式数出来的在一维实轴上自变量 (x) 要逼近一个“目标”最基本的路线只有这些向左逼近一个有限点(x\to a^-)向右逼近一个有限点(x\to a^)左右两边同时逼近一个有限点(x\to a)往正无穷方向跑(x\to\infty)往负无穷方向跑(x\to-\infty)往两个无穷方向同时跑(x\to\infty)也就是 (|x|\to\infty)数列下标离散地跑向无穷(n\to\infty)这就是7种基本形态。很多教材把极限分成“函数极限”和“数列极限”两大类函数极限里又按自变量趋势细分数列极限单独一列数下来正好是7种。用表格把7种存在情形的定义和典型例子列在一起备考时直接背这张表就够了序号极限类型形式化定义直观含义典型例子1(\lim_{x\to a} f(x)L)(\forall\varepsilon0,\ \exists\delta0,\ \forall x:\ 0|x-a|\delta\Rightarrow|f(x)-L|\varepsilon)从左右两侧逼近 (a)函数值都挤进窄带(\lim_{x\to2}x^24)2(\lim_{x\to a^}f(x)L)(\forall\varepsilon0,\ \exists\delta0,\ \forall x:\ 0x-a\delta\Rightarrow|f(x)-L|\varepsilon)只从右侧逼近 (a)(\lim_{x\to0^}\sqrt{x}0)3(\lim_{x\to a^-}f(x)L)(\forall\varepsilon0,\ \exists\delta0,\ \forall x:\ 0a-x\delta\Rightarrow|f(x)-L|\varepsilon)只从左侧逼近 (a)(\lim_{x\to0^-}\frac{|x|}{x}-1)4(\lim_{x\to\infty}f(x)L)(\forall\varepsilon0,\ \exists X0,\ \forall x:\ xX\Rightarrow|f(x)-L|\varepsilon)(x) 充分大之后函数值稳定在 (L) 附近(\lim_{x\to\infty}\frac1x0)5(\lim_{x\to-\infty}f(x)L)(\forall\varepsilon0,\ \exists X0,\ \forall x:\ x-X\Rightarrow|f(x)-L|\varepsilon)(x) 充分负之后函数值稳定在 (L) 附近(\lim_{x\to-\infty}e^x0)6(\lim_{x\to\infty}f(x)L)(\forall\varepsilon0,\ \exists X0,\ \forall x:\ |x|X\Rightarrow|f(x)-L|\varepsilon)正负方向都考虑函数值都稳定在 (L) 附近(\lim_{x\to\infty}\frac1{x^21}0)7(\lim_{n\to\infty}a_nL)(\forall\varepsilon0,\ \exists N\in\mathbb{N}^,\ \forall n:\ nN\Rightarrow|a_n-L|\varepsilon)从某一项之后所有项都落在 (L) 附近(\lim_{n\to\infty}\frac{n}{n1}1)注意第6种 (x\to\infty) 和第4、第5种的区别(x\to\infty) 只看正方向(x\to-\infty) 只看负方向而 (x\to\infty) 要求 (|x|\to\infty)也就是两个方向都要看。比如 (\lim_{x\to\infty}\frac1x0) 成立因为正负方向都到0但如果你说 (\lim_{x\to\infty}e^x) 存在那就错了因为 (x\to\infty) 时 (e^x\to\infty)而 (x\to-\infty) 时 (e^x\to0)两个方向不统一。2.2 左右极限所有情况的“总开关”在7种情形里第1种 (x\to a) 是最常考的而它有一个非常好用的判定工具双侧极限存在当且仅当左极限和右极限都存在且相等。为什么从定义看(0|x-a|\delta) 这个条件其实同时包含了两段区间(a-\deltaxa) 和 (axa\delta)。给定一个 (\varepsilon)如果双侧极限为 (L)那么同一个 (\delta) 自然让左右两边都满足 (|f(x)-L|\varepsilon)所以左、右极限都存在且等于 (L)。反过来说如果左极限和右极限都存在且都等于 (L)那么给定 (\varepsilon)左边存在一个 (\delta_1)右边存在一个 (\delta_2)取 (\delta\min{\delta_1,\delta_2})那么无论 (x) 从哪边进入这个邻域函数值都满足要求。左右两边一起覆盖双侧极限就存在了。这个逻辑给了你一个强大的排除法只要左右极限有一个不存在或者两个都存在但不相等那我就直接判定 (\lim_{x\to a}f(x)) 不存在不需要再正面硬刚 (\varepsilon-\delta)。2.3 一个从头算到尾的 (\varepsilon-\delta) 实例证明 (x^2\to4)我建议所有初学者至少亲手完整算一遍这种最基础的证明因为它是理解“(\delta) 怎么选”的最好训练。目标证明 (\lim_{x\to2}x^24)。先分析要证 (\forall\varepsilon0)能找到 (\delta0)使得当 (0|x-2|\delta) 时有 (|x^2-4|\varepsilon)。关键是处理 (|x^2-4||x-2||x2|)。这个式子说明误差由两部分组成一个是 (|x-2|)这是我们能控制的一个是 (|x2|)这东西在 (x) 靠近2时大概接近4但我们得给它一个上界。常见做法是先限制 (x) 不要跑太远。比如先限定 (|x-2|1)那 (1x3)于是 (|x2|5)。在这个前提下 [ |x^2-4||x-2||x2|5|x-2| ] 想让这个式子小于 (\varepsilon)只要 (5|x-2|\varepsilon)也就是 (|x-2|\frac{\varepsilon}{5})。所以取 [ \delta\min\left{1,\frac{\varepsilon}{5}\right} ] 前面的 (\min{1,\cdot}) 是为了保证 (|x2|5) 那个上界成立后面的 (\frac{\varepsilon}{5}) 才是真正让误差缩进 (\varepsilon) 的那个自由度。然后正式写证明任给 (\varepsilon0)取 (\delta\min{1,\varepsilon/5})。当 (0|x-2|\delta) 时有 (|x-2|1)所以 (|x2|5)同时 (|x-2|\varepsilon/5)因此 [ |x^2-4||x-2||x2|\frac{\varepsilon}{5}\times5\varepsilon ] 证毕。这个例子的套路可以推广先用一个初步的 (\delta) 界住有界因子再根据线性部分反解出 (\delta)最后用 (\min) 把两个条件合并。几乎所有简单的 (\varepsilon-\delta) 证明都是这个模板。3. 21种极限不存在情形一张 (7\times3) 表全搞定3.1 判定极限不存在的四把刀在罗列21种情况之前先准备好四个工具。做题时判断“不存在”比判断“存在”通常更简单因为只需要“抓住破绽”。第一把刀左右极限法。对 (x\to a) 的极限如果左右极限至少一个不存在或都存在但不相等极限就不存在。这是最常用的起点。第二把刀海涅定理归结原则。函数在 (x\to a) 时极限为 (L)等价于“任意满足 (x_n\to a) 且 (x_n\neq a) 的数列都有 (f(x_n)\to L)”。所以证明不存在只需要找出两个数列它们都趋向 (a)但对应的函数值极限不同或者找一个数列对应函数值根本不收敛。这是处理振荡类函数最锋利的工具。第三把刀无穷大量与无界的区分。注意“趋向无穷大”是一种很特殊的行为它要求函数值的绝对值在某个时刻之后永远大于任意给定的正数。无界不代表趋向无穷大。很多同学把“无界”和“极限为无穷”混为一谈这是最常见的翻车点。例如 (x\sin x) 在 (x\to\infty) 时无界但它不是无穷大量因为函数值会周期性回到0。第四把刀定义否定法。直接否定 (\varepsilon-\delta) 定义。极限不等于 (L) 的意思就是 [ \exists\varepsilon_00,\ \forall\delta0,\ \exists x\delta:\ 0|x_\delta-a|\delta\ \text{且}\ |f(x_\delta)-L|\ge\varepsilon_0 ] 如果还想证明“没有任何有限极限”那就要对任意实数 (L) 都否定一次。这个做法比较绕实战中不如海涅定理快但理解它有助于你真正吃透量词关系。3.2 21种不存在情形的完整分类现在用“7×3矩阵”展开21种。先说“3”是什么。无论哪一种自变量趋势极限不存在的根本原因无非三类原因一函数值或数列绝对值最终趋向无穷大也就是“非正常极限”比如趋向 (\infty) 或 (-\infty)。原因二函数值有界但始终不收敛到某个固定值典型的像 (\sin x) 在无穷远处来回振荡或者左右极限不同。原因三函数值无界但又不成系统地趋向无穷大而是“无界振荡”既没有有限极限也不是无穷大量。把7种存在情形的自变量趋势作为行3种不存在原因作为列就得到下面这张21格总表自变量趋势① 绝对值趋于无穷大非正常极限② 有界但不收敛振荡/方向分岐③ 无界且不趋于无穷大无界振荡(x\to a)(f(x)\frac1{x^2})(\lim\infty)(f(x)\operatorname{sgn}x)左右极限分别为-1和1(f(x)\frac1x\sin\frac1x)无界但会多次回到0附近(x\to a^)(f(x)\ln x)(x\to0^) 时趋于 (-\infty)(f(x)\sin\frac1x)(x\to0^) 时在 ([-1,1]) 振荡(f(x)\frac1x\sin\frac1x)(x\to0^) 时无界振荡(x\to a^-)(f(x)\frac1x)(x\to0^-) 时趋于 (-\infty)(f(x)\sin\frac1x)(x\to0^-) 时在 ([-1,1]) 振荡(f(x)\frac1x\sin\frac1x)(x\to0^-) 时无界振荡(x\to\infty)(f(x)x^2)趋于 (\infty)(f(x)\sin x)在 ([-1,1]) 振荡不收敛(f(x)x\sin x)无界但会周期性回到0(x\to-\infty)(f(x)-x^2)趋于 (-\infty)(f(x)\sin x)同样振荡不收敛(f(x)x\sin x)无界振荡(x\to\infty)(f(x)x^2)两个方向都趋于 (\infty)(f(x)\sin x)正负方向都在振荡(f(x)x\sin x)无界振荡(n\to\infty)(a_nn^2)趋于 (\infty)(a_n(-1)^n)奇偶子列分别收敛到-1和1(a_nn(1(-1)^n))偶数项发散到 (\infty)奇数项恒为0这张表非常值得保存。它相当于一份“极限不存在诊断手册”拿到一个判断极限是否存在的题先看自变量趋势对应哪一行再想这个函数的行为像哪一列基本就能对号入座。3.3 几个典型不存在的现场演示理论再漂亮不做几个实例等于白搭。我挑几个最典型、考试出现频率最高的例子分别对应上面三种原因。例1(\operatorname{sgn}x) 在 (x\to0)左右极限不同符号函数 [ \operatorname{sgn}x\begin{cases} -1,x0\0,x0\1,x0 \end{cases} ] 当 (x\to0^-) 时函数值恒为 (-1)所以左极限是 (-1)。当 (x\to0^) 时函数值恒为 (1)所以右极限是 (1)。左右极限都存在但不相等因此 (\lim_{x\to0}\operatorname{sgn}x) 不存在。这是“有界但不收敛”里最朴素的一种。例2(e^{1/x}) 在 (x\to0)一侧有限、一侧无穷当 (x\to0^) 时(\frac1x\to\infty)所以 (e^{1/x}\to\infty)。 当 (x\to0^-) 时(\frac1x\to-\infty)所以 (e^{1/x}\to0)。右侧是无穷大左侧收敛到0左右行为完全不一致因此 (x\to0) 的极限不存在。注意这里左侧极限0是存在的但右侧不收敛所以整体不存在。例3(\sin\frac1x) 在 (x\to0)有界振荡这个例子必须用海涅定理证明。取一个数列 [ x_n\frac1{2n\pi},\quad n\to\infty ] 此时 (x_n\to0)且 (\sin\frac1{x_n}\sin(2n\pi)0)所以沿这个数列函数值趋于0。再取另一个数列 [ y_n\frac1{2n\pi\frac{\pi}{2}},\quad n\to\infty ] 此时 (y_n\to0)且 (\sin\frac1{y_n}\sin(2n\pi\frac{\pi}{2})1)所以沿这个数列函数值趋于1。同一个 (x\to0) 的过程中有的逼近方式让函数值到0有的让函数值到1。如果极限存在所有逼近方式应该得到同一个值现在两个数列结果不同因此极限不存在。例4(\frac1x\sin\frac1x) 在 (x\to0)无界但非无穷大这个函数比例3更凶。取 (x_n\frac1{2n\pi})函数值为0再取 (y_n\frac1{2n\pi\frac{\pi}{2}})函数值为 [ \frac1{y_n}\sin\frac1{y_n} \left(2n\pi\frac{\pi}{2}\right)\times1\to\infty ] 这说明函数在0附近可以取到任意大的值所以它是无界的但同时又存在一条数列让函数值为0说明它并不是“最终绝对值永远大于某个数”的无穷大量。用定义的语言说“趋于无穷大”要求对任意正数 (M)都存在一个去心邻域使得邻域内所有点的函数值绝对值都大于 (M)。而这里无论邻域取多小都能找到 (x_n\frac1{2n\pi}) 让函数值等于0所以它不是无穷大量属于典型的“无界但不收敛”。例5(x\sin x) 在 (x\to\infty)无界但同样不趋于无穷令 (x_n2n\pi)函数值为0令 (y_n2n\pi\frac{\pi}{2})函数值为 (2n\pi\frac{\pi}{2}\to\infty)。所以它在 (\infty) 处无界但会反复回到0不可能是无穷大量极限也不存在。这个例子经常被拿来考“无界”和“无穷大”的区别一定要记牢。例6数列 (a_nn(1(-1)^n))无界但非无穷大偶数项(a_{2k}2k(11)4k)所以有子列趋向 (\infty)。 奇数项(a_{2k-1}(2k-1)(1-1)0)所以有子列恒为0。如果一个数列是无穷大量那么从某一项开始后面所有项的绝对值都应该很大但这个数列每隔一项就出现一个0因此它连“最终单调变大”都做不到更不可能收敛到任何有限数。这个例子用来区分“数列无界”和“数列趋向无穷”特别好用。4. 常见错误、做题流程与21种情况的记忆策略4.1 五个高频翻车点我统计了一下周围同学和这些年线上答疑里最容易踩的坑主要集中在下面五个。第一把“有定义”当成极限存在的前提或结果。极限和函数值无关(\frac{x^2-1}{x-1}) 在 (x1) 处没有定义但极限照样是2。反过来分段函数 (\operatorname{sgn}x) 在0处有定义函数值还是0但极限不存在。第二把“左右极限不等”这个问题过度复杂化。看到绝对值、分段函数、含 (e^{1/x}) 这类“一侧爆炸一侧收敛”的函数第一时间就去拆左右极限不要直接试图用定义证明不存在。左右极限法是最快的排除手段。第三把“无界”直接等价于“极限为无穷”。前面已经反复强调无界函数如 (x\sin x)只要它周期性回到0就不是无穷大量。判断无穷大量必须看“最终一段的绝对值是否整体大于任意给定数”而不是“能不能取到很大的值”。第四用海涅定理时找了一个数列收敛就断言极限存在。这是方向性错误。海涅定理说“任意满足条件的数列对应的函数值都收敛到同一个值”才算极限存在你只验证了一个数列说明不了任何问题。反过来证明极限不存在时找两个数列得到不同结果这就够了。第五数列极限里把 (N) 的取法和函数极限里 (\delta) 的取法搞混。数列极限要的是“下标足够大以后”写的是 (nN)函数极限要的是“自变量足够靠近 (a)”写的是 (0|x-a|\delta)。两者换着用会写出完全错误的证明。4.2 判断极限存在/不存在的通用流程结合前面所有内容我整理了一套做题判断流程新手按这个顺序走基本不会乱。先看自变量趋势是什么。是 (x\to a)、单侧、无穷、还是数列判断属于7种里的哪一种。若是 (x\to a)先算左右极限。左右极限都有限且相等极限存在否则直接判定不存在。遇到 (e^{1/x})、(\arctan\frac1x)、(\frac{|x|}{x}) 这种左右极限分开算几乎是必然的。若左右极限不好直接算或者目标函数有明显的振荡因子(\sin\frac1x)、(\cos x)用海涅定理找两条特殊数列路径。只要两条路径结果不同就证明不存在。判断是否存在时不要轻易下结论。能直接算出来的比如可约分、有理化、等价无穷小替换后得到有限值一般就存在如果遇到无穷大按“非正常极限”处理算作极限不存在但要写明原因。如果是证明题必须正面用 (\varepsilon-\delta) 或 (\varepsilon-N) 定义。先草稿纸上分析再用“取 (\delta\min{\cdots})”的方式正式写一遍。4.3 21种情况怎么记把“7×3”当成口诀很多人看到“21种情况”就害怕觉得要背一长串。其实根本不用背记住 (7\times3) 的结构就够了。“7”是一维自变量所有基本趋势左、右、双侧、正无穷、负无穷、双无穷、数列。这是从数轴结构完全确定的。“3”是函数值不存在的三种机制往无穷跑、有界但发散、无界且乱跑。这是从“函数值行为的可能性”角度划分的。每一行和每一列交叉产生一种情况。做题时你只要先定位“哪一行”再辨认“哪一列”答案自然就出来了。这个方法我自己用了很多年应付考试和答疑都够用。严格来说这不是数学上互斥完备的定理体系而是经验性的分类工具但有它帮你组织思维比一上来背21个孤立的例子高效得多。5. 写在最后的实操心得最后分享一个我自己的体会不要为了“证明”而证明要先把图像和直觉建立起来。(\sin\frac1x) 在0附近为什么没有极限你画一下图就知道了它越靠近0振荡得越快就像压缩弹簧一样永远停不下来(\frac1x\sin\frac1x) 更疯振荡幅度还在不断放大。有了图像直觉再回头用海涅定理写严格证明你会觉得那些 (x_n\frac1{2n\pi}) 的取法完全是顺理成章的事而不是天上掉下来的魔法。还有一个非常实用的小技巧证明极限不存在时主动给自己出“两条路线”的题。第一条路线尽量简单让函数值落到一个确定数第二条路线尽量极端让函数值跑到无穷或者另一个确定数。只要两条路线结果不一样这个题就做完了。这个方法尤其适合考场上一时没有思路的情况因为它不需要你证明“所有路线都不行”只需要“至少两条路线对不上”。极限的学习曲线确实是数学分析里第一个陡坡但只要把量词顺序、去心邻域、左右极限、海涅定理这几件事串起来7种存在和21种不存在就不再是死记硬背的清单而是一张真正能用的地图。