← 回到目录
高 等 数 学 · 第 一 章 1.3

左右极限:
它到底是来解决什么问题的

今天一个 ε 都不写。只看图,只看一件事——不发明这个东西,我们会卡在哪里。

第 1 幕

极限本来是干什么用的

有些点,你到不了,但你偏偏必须知道那儿是多少。

比如这条曲线:y = (x² − 1)/(x − 1)。把 x = 1 代进去,分母是 0,算不出来——曲线在这里是一个空心的洞

拖动滑块,让 x 从两边慢慢挤向 1

洞里没有值,可整条曲线明明白白地指着 2。这就是极限干的事。

极限 = 不进去,从周围推断中心。
第 2 幕

为什么偏偏分成「左」和「右」

「从周围推断」,就得从周围包抄过来。那么问题来了:在一条数轴上,能从几个方向包抄一个点?

一条直线上,通往一个点的路,一共就这两条
不是有人规定要分左右。是数轴上就只有这两条路——不多,也不少。
所以「左极限、右极限」这两个词,是被地形逼出来的,不是被规定出来的。
一条直线上,通往一个点的路为什么恰好是两条?不是三条、四条?
因为数轴是一维的。要靠近一个点,只能从它左边或右边过来,没有第三个方向。
所以「左极限、右极限」这两个词是被地形逼出来的,不是谁规定的。
第 3 幕

出事了:两队人马报回不同的数

点火开关。t < 0 时电压是 0 V,t ≥ 0 时是 12 V。

问:t = 0 这一瞬间,电压是多少?

让探针从一侧开过来,看它停在哪个读数上
读数 —
左队报回:0 V 右队报回:12 V
极限本来应该是一个数。现在左队说 0,右队说 12。
你说,听谁的?
t = 0 这一瞬间,电压到底是多少?先给一个你自己的答案。
现在还不该给数。你能确定的只有两件事:从左边逼近读到 0,从右边逼近读到 12
怎么处理这两个不同的战报,正是下一幕的事。
第 4 幕

「那取个平均,6 V 不行吗」

几乎每个人第一反应都是这个。所以必须当场把它掐掉。

6 V 这条高度上,从头到尾没有发生过任何事

极限是拿来预测的:你从左边逼近,你的电压表读到的是 0,不是 6;从右边逼近,读到的是 12,也不是 6。

一个在两侧都从未发生过的数字,预测不了任何东西。

所以数学的选择是:谁都不听,判定「极限不存在」。
第 5 幕

可是「不存在」这三个字,太粗糙了

下面三个函数在 x → 0 处的判决全都是「极限不存在」。可你看看它们像是一回事吗:

(a) 两边都很规矩
只是一个 −1 一个 +1
(b) 两边都跑掉了
一个奔 −∞ 一个奔 +∞
(c) 两边都在疯抖
连「奔向哪」都说不出
三个都判「不存在」,等于病历上所有病都写「不舒服」。
只有一个判决,信息量太小了。
这三个函数的极限不存在。用一句话说出它们各自不同在哪。
(a) 两边都很规矩,只是一个 −1 一个 +1;
(b) 两边都跑掉了,一个奔 −∞ 一个奔 +∞;
(c) 两边都在疯抖,连奔向哪都说不出
说不出这三句的差别,就等于把三种病都写成了「不舒服」。
第 6 幕

于是:一个账,拆成两个账

同一个动作,按方向分开记账
左极限:只准 x 从左边来,看 f(x) 奔向哪 右极限:只准 x 从右边来,看 f(x) 奔向哪
全部就这么多。它不是一个新东西,是把原来那个极限,按方向拆开记。
第 7 幕

拆开之后,白拿三样东西

好处 一

终于能说清「怎么个不存在法」

第 5 幕那三种坏法,现在各有各的名字。加上「洞」那一种,凑齐四类间断点:

可去:左=右,就是
中间缺个点
跳跃:左≠右,
但两边都很规矩
无穷:至少一边
整个跑掉了
振荡:抖得连去向
都说不出

——注意,这四个格子,全都是用左右极限定义出来的。这就是为什么这一节必须学扎实:下一节整节都建在它上面。

好处 二

在「定义域的边缘」也能继续干活

xx = 0:左边根本没有路可走。

左边不是「走过去没结果」,是压根没有路

如果只有「双侧极限」这一件工具,这里就直接没法谈了。有了单侧极限,右边这条路照走不误。

现实里这种点满地都是:开机的那一瞬间、区间的端点、速度不能取负、时间不能倒流。

好处 三

拿到一把现成的尺子

两队报回的数一样 → 合并成一个数;不一样 → 判定不存在
⚠️ 提前打个招呼:这把尺子在后面的题里,十次有九次是拿来证明「极限不存在」的。多数人学完只会正着用,这就废掉了它一大半。
那把「左=右」的尺子,在后面的题里最常见的用法是什么?
证明极限不存在。十次有九次。
只会正着用(证存在)的人,等于把这条判据废掉了一大半。
第 8 幕

整节话,就这两行

极限 = 从两侧包抄一个够不着的点。
左右极限 = 把两侧的战报,分开看
今 天 的 任 务

只画图。一个 ε 都不许写。

下面六个,每个做三件事:① 徒手画出图像 ② 在图上标出左、右两个值 ③ 说它属于第 7 幕四个格子里的哪一格。

  1. f(x) = |x| / x,看 x → 0提示:先想清楚 x>0 和 x<0 时它分别等于几
  2. f(x) = [x](取整),看 x → 2提示:1.99 的整数部分是几?2.01 呢?
  3. f(x) = 1 / x²,看 x → 0⚠️ 这题两边一样,但答案不是「极限存在」。想想为什么
  4. x,看 x → 0提示:这题的重点不在算,在「哪一侧有路」
  5. f(x) = x · sin(1/x),看 x → 0提示:先画出 y=x 和 y=−x 两条斜线当围栏
  6. 分段函数:x < 0f(x) = exx ≥ 0f(x) = a + x画 a=0 和 a=1 两张图,看哪一张「接得上」。这就是考试的主力题型
画完这六张图,你就已经会用左右极限了。
定义留到明天再写——先有图,符号才有地方挂。
课 本 习 题 · 1 - 3

同济第八版 P36 的十二道原题,逐题给解

上面六道是我给的,只画图、不写 ε。
下面十二道是课本自己的——先在纸上做完,再点开对答案。第 5、7–12 题课本标了 *,是 ε-δ 的正式训练。

⚠️ 前三道全是读图题,正好是这一页教的东西看一个点,先分左右两队。
⚠️ 空心点和实心点是全部信息:空心=那儿没有函数值;实心=有,且就是那个高度。
极限只看「周围」,不看那一点本身——所以实心点的高度从来不参与极限的判断。
第 1 题对课本图 1-26 所示的 y = f(x),求 (1) limx→−2 f (2) limx→−1 f (3) limx→0 f;不存在的说明理由。

先把图读成几句话
x < −2 一条斜线升到 (−2, 0),该点空心
−2 < x < −1 斜线降到 (−1, −1)−1 ≤ x < 0 水平在 y = −1(0, −1) 空心
(0, 0) 一个实心点x > 0 水平在 y = 1(0, 1) 空心

(1) x → −2:左边那队报回 0,右边那队也报回 0。两队一致 ⇒ lim = 0
⚠️ 那一点是空心的,但这完全不影响极限——极限从来只问周围。

(2) x → −1:左边(斜线)降到 −1,右边(水平段)就是 −1lim = −1。(这里只是个拐角,不是断点。)

(3) x → 0:左边报回 −1,右边报回 1两队报的数不一样 ⇒ 极限不存在。
⚠️ 而 f(0) = 0(那个实心点)——它既不等于左极限也不等于右极限,是第三个数

(1) 0 (2) −1 (3) 不存在(左 −1、右 1)
⚠️ 这道题一口气给出了三种典型局面
点没定义但极限存在(x=−2);点有定义且一切正常(x=−1);点有定义但左右打架(x=0)。
第 7 幕那四个格子,在这张图上全能找到。
第 2 题对课本图 1-27,判断六条陈述的对错(关于 x→0x→1 的极限)。

读图−1 < x < 0 是斜线 y = x(两端空心);0 < x < 1 是斜线 y = −x(两端空心);
(0, 1)实心点f(0) = 1(1, 0)实心点f(1) = 01 < x < 2y = x − 1

x → 0:左极限(沿 y = x= 0;右极限(沿 y = −x= 0极限存在,等于 0

x → 1:左极限(沿 y = −x= −1;右极限(沿 y = x−1= 0极限不存在

陈述判定理由
(1) x→0 极限不存在✗ 错两侧都是 0,存在
(2) x→0 极限 = 0✓ 对左右都是 0
(3) x→0 极限 = 1✗ 错1 是 f(0),不是极限
(4) x→1 极限 = 0✗ 错左 −1、右 0,不存在
(5) x→1 极限不存在✓ 对两队打架
(6) (−1,1) 内每点极限都存在✓ 对除 0 外是直线段;0 处两侧也一致
⚠️ (3) 是这道题的题眼,也是这一整页要打掉的那个直觉:
「函数在这一点等于几」和「函数在这一点附近趋向几」是两个独立的问题。
图上那个孤零零的实心点 (0,1) 画出来就是为了让你上这个当。
第 3 题对课本图 1-28,判断八条陈述的对错(x → −1±, 0, 1±, 2)。

读图(⚠️ 这张图最容易读错的地方在左边)
图像是从 (−1, 1) 那个空心圆开始——它左边那条水平线是 x 轴本身,不是函数图像。 也就是说 x < −1f 根本没有定义
−1 < x < 1 是抛物线 y = x²,两端 (−1,1)(1,1) 与顶点 (0,0) 都空心
(0, 1)实心点f(0) = 1x > 1f = 0画在 x 轴上,与轴重合)。

陈述判定理由
(1) limx→−1⁺ = 1✓ 对从抛物线一侧靠近,y → 1
(2) limx→−1⁻ 不存在✓ 对x < −1 处 f 无定义,左极限根本谈不上
(3) limx→0 = 0✓ 对抛物线两侧都 → 0
(4) limx→0 = 1✗ 错1 是 f(0),不是极限
(5) limx→1⁻ = 1✓ 对抛物线趋于 (1,1)
(6) limx→1⁺ = 0✓ 对右边沿 x 轴
(7) limx→2⁻ = 0✓ 对2 附近全在 x 轴上
对:(1)(2)(3)(5)(6)(7);错:(4)(8)。
(与课本答案逐条一致)
⚠️ 关于第 (8) 条:我们用的这份课本解析稿里,(8) 与 (7) 印成了完全一样limx→2⁻ f = 0原书的 (8) 极可能是 limx→2⁺ f = 0—— 而这两个的答案都是 0x = 2 两侧都在 x 轴上)。
请对照你手上的课本确认这一小问。(这条注记是老实话:我们没法从解析稿里恢复它。)
不过课本答案区给出的 (8) 是「错」——所以原题的 (8) 一定不是 (7) 那句话((7) 是「对」)。
⚠️ 另外提醒:这道题的第 (2) 小问是全套最容易错的一处。 那条向左延伸的水平线是坐标轴,不是函数图像——把它当成图像,就会误判左极限存在。 读图题的第一件事是分清「哪条线是轴、哪条线是函数」。
第 4 题f(x) = x/xφ(x) = |x|/xx → 0 时的左、右极限,并说明极限是否存在。

两个函数在 x = 0 处都没有定义(分母为零),但这不妨碍问极限。

f(x) = x/x:只要 x ≠ 0 就恒等于 1。左极限 = 右极限 = 1 ⇒ 极限存在,等于 1

φ(x) = |x|/xx > 0= 1x < 0= −1
右极限 = 1,左极限 = −1极限不存在

f:左右都是 1,极限存在 = 1。 φ:左 −1、右 1,极限不存在
⚠️ 这道题就是这一页第 3 幕那个点火开关的代数版。
φ 通常叫符号函数。它是「左右极限存在但不相等」的最简标本——往后要举这种反例,第一个想到的就该是它。
⚠️ 另外 f = x/x 不等于常数函数 1,因为它在 x = 0 处没有定义。 「化简之后长得一样」不代表「是同一个函数」。
*第 5 题按定义证明:(1) limx→3(3x−1) = 8 (2) limx→2(5x+2) = 12 (3) limx→−2 (x²−4)/(x+2) = −4 (4) limx→−1/2 (1−4x²)/(2x+1) = 2

ε-δ 证明永远是三步:把 |f − A| 算出来 → 用 |x − x₀| 把它压住 → 反解出 δ。

(1) |(3x−1) − 8| = 3|x − 3|取 δ = ε/3

(2) |(5x+2) − 12| = 5|x − 2|取 δ = ε/5

(3) 先化简(x ≠ −2 时):(x²−4)/(x+2) = x − 2
|(x−2) − (−4)| = |x + 2|取 δ = ε

(4) 化简:(1−4x²)/(2x+1) = 1 − 2x
|(1−2x) − 2| = 2|x + 1/2|取 δ = ε/2

δ 依次取 ε/3、ε/5、ε、ε/2
⚠️ (3)(4) 的第一步「先化简」是合法的,因为定义里写着 0 < |x − x₀|—— 那个 0 < 明确把 x₀ 这一点排除在外,所以约分时分母不为零。
这个「去心」的设计不是多余的讲究,它正是让这类题做得下去的原因。
第 6 题按定义证明:(1) limx→∞ (1+x³)/(2x³) = 1/2 (2) limx→+∞ sin x/√x = 0

过程换成 x → ∞,δ 就换成 X:要证「存在 X,使 |x| > X 时……」。

(1) |(1+x³)/(2x³) − 1/2| = 1/(2|x|³)
要它 < ε,只需 |x| > ∛(1/(2ε))取 X = ∛(1/(2ε))

(2) 关键是有界因子 |sin x| ≤ 1|sin x/√x| ≤ 1/√x
要它 < ε,只需 x > 1/ε²取 X = 1/ε²

(1) X = ∛(1/(2ε)) (2) X = 1/ε²
⚠️ (2) 里那步「≤」很关键sin x 自己在 x → +∞没有极限, 但它被关在 [−1, 1] 里,除以越来越大的 √x 就被压向 0。
不需要知道 sin x 等于几,只需要知道它跑不出去。
*第 7 题x → 2y = x² → 4δ 取多少能使 |x−2| < δ|y − 4| < 0.001

|x² − 4| = |x − 2| · |x + 2|麻烦在于 |x+2| 也跟着 x 变,得先框住它。

先限定 δ ≤ 1:则 1 < x < 3,于是 |x + 2| < 5|x²−4| < 5|x−2|
要它 < 0.001,只需 |x − 2| < 0.0002取 δ = 0.0002
验一下x = 2.0002|x²−4| ≈ 0.00080 < 0.001

δ = 0.0002(任何更小的正数也行)。
⚠️ 「先限定 δ ≤ 1」是这类题的通用手法|x²−4| 里有两个因子都在动, 先把不好控制的那个框在一个常数以内,剩下的才是干净的一次不等式。
δ 只要「找得到一个」就行,不必是最大的那个。
*第 8 题x → ∞y = (x²−1)/(x²+3) → 1X 取多少能使 |x| > X|y − 1| < 0.01

先把差算干净y − 1 = (x²−1−x²−3)/(x²+3) = −4/(x²+3),故 |y−1| = 4/(x²+3)

4/(x²+3) < 0.01x² > 397|x| > √397 ≈ 19.92取 X = 20

X = 20(或任何 ≥ √397 ≈ 19.925 的数)。
⚠️ 先做减法、再看剩下什么,别急着放缩。
这里减完之后分子变成常数 −4,整个问题立刻塌成一个一元二次不等式。一上来就估计反而绕远。
*第 9 题证明 f(x) = |x|x → 0 时极限为零。

任给 ε > 0取 δ = ε。当 0 < |x − 0| < δ 时:
| |x| − 0 | = |x| < δ = ε。按定义 limx→0 |x| = 0

δ = ε,一行完事。
⚠️ 这道题看着太简单,但它有个专门的用处
|x| 在 0 处左右两段表达式不同,按说该分左右讨论;可 | |x| − 0 | = |x| 这一步把两边一次性包住了
能一次包住就别拆——这是省力气的地方。
*第 10 题证明:若 x → +∞x → −∞f(x) 的极限都存在且都等于 A,则 limx→∞ f(x) = A

这是这一页那条判据在「无穷远处」的翻版x → ∞ 也有两个方向。

任给 ε > 0。由 limx→+∞ f = A,存在 X₁ 使 x > X₁|f−A| < ε
limx→−∞ f = A,存在 X₂ 使 x < −X₂|f−A| < ε

取 X = max{X₁, X₂}。则 |x| > X 时必落在两种情形之一,故 |f(x)−A| < ε

两个方向各给一个 X取最大的那个
⚠️ 这里取 max,而第 5 题那类取 min。规则很简单:
δ 是「离得多近」,越小越严 ⇒ 取 minX 是「跑得多远」,越大越严 ⇒ 取 max都是为了让几个条件同时成立。
*第 11 题证明:limx→x₀ f(x) 存在的充分必要条件是左、右极限各自存在并且相等。

这就是这一页第 7 幕那条判据的正式证明。两个方向都要写。

必要性(⇒):设 lim = A。任给 ε,存在 δ 使 0 < |x−x₀| < δ|f−A| < ε
这个条件本来就同时管住了两侧:限制在右半边得右极限 = A,限制在左半边得左极限 = A。

充分性(⇐):设左右极限都等于 A。任给 ε,分别得到 δ₁、δ₂
取 δ = min{δ₁, δ₂},则 0 < |x−x₀| < δ 时(不论哪一侧)都有 |f−A| < ε

必要性靠「限制范围」,充分性靠「取 min 合并」。
⚠️ 这道题是这一整页的正式版。第 7 幕那句「白拿的判据」,凭据就在这里。
⚠️ 充分性里必须都等于同一个 A:左右各自存在但不相等,合并那一步就做不下去—— 这正是第 3 幕点火开关没有极限的原因。
*第 12 题试给出 x → ∞ 时函数极限的局部有界性定理,并证明。

先把定理叙述出来(这道题一半的分在叙述上):
limx→∞ f(x) = A,则存在 X > 0M > 0,使 |x| > X|f(x)| ≤ M

证明:在定义里取一个具体的 ε,比如 ε = 1
则存在 X 使 |x| > X|f(x) − A| < 1,于是
|f(x)| ≤ |f(x) − A| + |A| < 1 + |A|取 M = 1 + |A|

ε = 1,得 M = |A| + 1
⚠️ 注意「局部」两个字:结论只保证在足够远的地方有界,不保证整条数轴上有界
⚠️ 「取一个具体的 ε」是个常用小技巧:定义里的 ε 是任意的,那就意味着你可以挑一个顺手的
十二道做完,把这一页的两句话对照一下:
第 1–4 题(读图与算左右)是这一页正面讲的东西——通往一点只有两条路,各走一遍。
第 5–12 题是它的 ε-δ 正式版——那些 δ、X、min、max,都只是在把「两队报同一个数」写成不带图的语言。
先有图,符号才有地方挂。这一页的作业顺序,就是这个意思。
画 完 之 后