左右极限与极限不存在

想象一条数轴，你盯住一个点 a。极限问的从来不是『函数在 a 处取什么值』，而是『当自变量挤向 a 时，函数值在往哪儿去』。而挤向 a 的路只有两条：从左边（比 a 小的一侧）靠过去，或从右边（比 a 大的一侧）靠过去。这是一维实数轴给的礼物——方向只有两个，穷举得完。

派两个探测器出去。左探测器站在 a 的左边，一步步向 a 靠近，每一步报回一个函数值；右探测器同理。如果两台机器报回的数字最终稳定在同一个数上，这个数就是极限。如果它们各自稳定，却稳定在不同的数上——那么『函数值在往哪儿去』这个问题就没有唯一答案。极限不选边站，它要么是一个数，要么什么都不是。

拿收费停车场当例子：停 1 小时以内收 5 元，超过 1 小时收 10 元。你把停车时长推向恰好 1 小时。从 59 分 59 秒那侧逼近，账单一直是 5；从 1 小时零 1 秒那侧逼近，账单一直是 10。两侧各自完美稳定，谁也不含糊，可它们给出的答案是 5 和 10。这时候说『时长趋于 1 小时时账单趋于某个数』就是句假话——账单没有趋于任何一个数，它被撕成了两半。

这里要提防四件事。

第一，『极限不存在』和『极限是无穷大』不是同一件事。停车场的例子里没有任何东西跑向无穷，账单永远在 5 和 10 之间，极限照样不存在。无穷大是不存在的一种花样（值跑掉了），左右打架是另一种花样（值不跑掉，但没法达成一致）。看到『不存在』就自动脑补一根竖直渐近线，会让你在真正的跳跃点上判断错误。

第二，『左极限存在、右极限也存在』不等于『极限存在』。上面两台探测器都工作得好好的，各自都收敛，可极限仍然不存在。存在只是入场券，相等才是判决。这一步是最常丢的一步：算完两侧各是多少就收笔，忘了最后那句『因为二者不等，故极限不存在』。

第三，函数在 a 处有没有定义、定义成什么，跟左右极限是否相等毫无关系。你可以把停车规则改成『恰好 1 小时收 7 元』，函数在那点有了定义，两侧照样是 5 和 10。极限只看 a 附近那一圈（不含 a），从不看 a 本身。

第四，特别小心 |x|/x 在 x→0。它在 0 的右边恒等于 1，左边恒等于 −1——函数值从头到尾只取 ±1 这两个数，一次也没有接近过 0。有人答『极限是 0』，是把 x→0 这个自变量的去向，误当成了函数值的去向。分子分母都往 0 缩，不代表比值往 0 缩。

想通这四点，你还会白拿一样东西：一套『不存在』的标准证法。数学里证明某物不存在通常很难，因为要排除所有可能。但这里有捷径——假设极限是某个 L，那么两侧都必须收敛到这同一个 L；而你手上有两侧算出的不同值，L 不可能同时等于两个数。矛盾。这就是为什么这一片同时教会你怎么算，和怎么否定。

记号先交代清楚。x→a⁻ 表示 x 从小于 a 的一侧趋近 a，上标的减号不是『负数』，是『左侧』；x→a⁺ 同理表示从大于 a 的一侧趋近。

左极限：lim(x→a⁻) f(x) = L₋，意思是——对任意 ε>0，存在 δ>0，使得只要 a−δ < x < a，就有 |f(x) − L₋| < ε。注意条件把 x 夹在 a 左侧的开区间里，x = a 本身被排除。

右极限：lim(x→a⁺) f(x) = L₊，把条件换成 a < x < a+δ，其余照抄。

其中 ε 是对误差的容忍度，由挑剔的一方任意指定；δ 是为了兑现这份容忍、需要靠 a 多近，由你去找。两个定义唯一的差别，就是 x 被允许待在 a 的哪一侧。

判据：lim(x→a) f(x) = L ⟺ lim(x→a⁻) f(x) = L 且 lim(x→a⁺) f(x) = L。

左边成立需要右边两条同时成立：两个单侧极限都存在，并且都等于同一个 L。任一条不满足，双侧极限就不存在。于是『不存在』有三种面貌：某一侧就不存在（如 sin(1/x) 在 x→0⁺ 无休止摆动）；两侧都不存在；两侧都存在但 L₋ ≠ L₊，即跳跃。

由判据立刻得到否定法则：若 L₋、L₊ 都存在且 L₋ ≠ L₊，则 lim(x→a) f(x) 不存在。证法是反证——设极限存在且等于 L，由判据的 ⟹ 方向得 L₋ = L 且 L₊ = L，故 L₋ = L₊，与假设矛盾。

最后强调定义里被排除的那件事：所有条件都写在去心邻域上（x ≠ a），所以 f(a) 是否有定义、等于多少，对 L₋、L₊ 以及双侧极限一概没有影响。