all_lessons/数学的逻辑/06第 7 课 / 共 44 课

第三部分 · 无穷与变化

芝诺的箭:无穷小、无穷和与极限

两千多年前,芝诺用三个小故事"证明"了运动不可能:阿喀琉斯追不上乌龟,飞行的箭其实静止。他的逻辑没有破绽——除非我们学会一件全新的事:把无穷多个步骤加起来,仍然得到一个确定的数。这件事的名字,叫极限。

线性回顾
上一课:第二部分让我们在平的、弯的空间里重新理解"直线"与"最短路径"——发现连"什么是直线"都取决于你选的公理。
留下的问题:可一旦要计算运动与变化(速度、面积、增长),就绕不开"无穷"。芝诺正是抓住这一点发难:要从这里走到那里,得先走一半,再走剩下的一半……要完成无穷多步,怎么可能在有限时间里走完?
本课新增:极限——给一个永不停止的无穷过程,指定一个确定的"目的地"。它把"无穷"从一个把人绕晕的悖论,变成一件能算的工具。
本课路线
(1) 芝诺的三支箭:二分法、阿喀琉斯与乌龟、飞矢不动;(2) 核心困惑——无穷多个正数相加,难道不该是无穷大?(3) 算一算 1/2+1/4+1/8+… 的部分和,看它如何贴近 1 却永不越过;(4) 把这个"目的地"定义为极限;(5) 极限的直觉:要多近有多近,但可能永远不真的等于;(6) 区分"过程"与"极限值",澄清三个经典误解。

芝诺的三支箭

芝诺是古希腊埃利亚学派的哲学家,他不相信运动是真实的,于是设计了几个让人哑口无言的悖论。它们都长一个样:把一件简单的事,拆成无穷多步。

二分法。你想从房间这头走到那头。可在走到终点前,你得先走完全程的一半;在走完那一半前,又得先走完一半的一半……这样的"先走一半"有无穷多个。芝诺说:无穷多件事永远做不完,所以你根本动不了

阿喀琉斯与乌龟。飞毛腿阿喀琉斯让乌龟先跑 100 米。等他跑完这 100 米,乌龟又向前爬了一点;等他补上这一点,乌龟又往前挪了一丁点……每次他到达乌龟"刚才"的位置,乌龟总已离开。追赶的步骤有无穷多个,于是芝诺断言:阿喀琉斯永远追不上乌龟。

飞矢不动。在任何一个瞬间,飞行的箭都占据着一个和它自己一样大的确定位置——也就是说,在那一瞬它是静止的。可时间由无数个瞬间组成,箭在每个瞬间都静止,那它整体怎么会动?(这一支箭我们先记下,它真正的解答要等到下一课的"瞬时速度"。)

撞墙
三个故事的破绽藏在同一处:它们都默认"无穷多个步骤 = 永远做不完","无穷多个正数相加 = 无穷大"。只要这个默认成立,运动就真的不可能。要救出运动,我们必须正面回答:把无穷多个越来越小的数加起来,到底能不能得到一个有限的答案?

核心困惑:无穷多个正数相加,难道不是无穷大?

直觉很强:每加一项,总和都变大;加无穷多次,岂不是要涨到天上去?对很多数列确实如此——比如 1 + 1 + 1 + …(每项一直读作"加一")显然要冲向无穷。

但芝诺的步骤不是这样。二分法里,每一步的长度是前一步的一半:先 1/2,再 1/4,再 1/8……项虽然有无穷多个,却越来越小,小得飞快。问题就变成:

1/2 + 1/4 + 1/8 + 1/16 + … = ?
读作"二分之一,加四分之一,加八分之一,加十六分之一,一直加下去,等于多少"。每一项都是上一项的一半。

要回答它,我们不去"加无穷多次"(那永远加不完),而是换一个聪明的问法:加到前 n 项,得到的"部分和"是多少?它随着 n 变大,往哪里去?

部分和:贴近 1,却永不越过

把加到第 n 项为止的总和记作 Sₙ(读作"S 下标 n",意思是"前 n 项之和")。我们一项一项加:

S₁ = 1/2 = 0.5
S₂ = 1/2 + 1/4 = 3/4 = 0.75
S₃ = 1/2 + 1/4 + 1/8 = 7/8 = 0.875
S₄ = 15/16 = 0.9375 …

看出规律了吗?分子总比分母小 1。事实上可以一口气写出公式:

Sₙ = 1 − 1/2ⁿ
读作"前 n 项之和,等于 1 减去二的 n 次方分之一"。

为什么是它?有个一行就懂的妙招:你站在数轴的 0 点,目标是 1。第一步走完到 1 的一半路,落在 1/2,离终点还差 1/2;第二步又走完剩下距离的一半,落在 3/4,离终点还差 1/4……每走一步,剩下的距离都恰好减半。走完 n 步后,剩下的距离就是 1/2ⁿ(读作"二的 n 次方分之一"),所以已走过的路是 1 − 1/2ⁿ

关键来了:1/2ⁿ 永远是一个正数,所以 Sₙ 永远比 1 小一点点,永远到不了 1。可只要 n 够大,这"一点点"就能小得不能再小:n=10 时差 1/1024,n=30 时差不到十亿分之一。于是部分和像贴墙一样,无限地贴近 1,却从不越过、也从不真正抵达。下面的小实验让你亲手把 n 拉大,看这堵"1"的墙怎么被逼近。

芝诺的无穷和:部分和如何逼近 1
拖动滑块增加项数 n。蓝条是部分和 1/2+1/4+…+1/2ⁿ,红线是它永远到不了的终点 1。注意"距离 1 还差"这个数字:它一直在变小,却永远不是 0。
项数 n
3
部分和 Sₙ
0.875
距离 1 还差 (= 1/2ⁿ)
0.125

极限:给无穷过程指定一个目的地

部分和有无穷多个,每一个都不等于 1,可它们挤在一起朝 1 涌去,要多近有多近。数学家于是做出一个决断:既然这串数有且只有一个"被无限逼近"的目标,那我们就把那个目标——而不是任何一个部分和——称为这个无穷和的值。这个目标,就叫极限

lim(n→∞) Sₙ = lim(n→∞) (1 − 1/2ⁿ) = 1
读作"当 n 趋向无穷时,Sₙ 的极限等于 1"。
于是我们才敢写下:1/2 + 1/4 + 1/8 + … = 1。这里的等号,是"无限逼近的目的地"这个意思,不是"加了无穷多次真的算出了 1"。

极限的直觉一句话:"要多近有多近,但可能永远不真的等于。" 给你任何一个小到离谱的误差(比如十亿分之一),我总能加到足够多的项,让部分和与 1 的差距比它还小——而且从此之后一直更近。一个数若有这种"被锁定"的待遇,它就是这串数的极限。

这正是对芝诺的回答。二分法里,无穷多步的长度加起来是有限的(极限 = 全程),无穷多步的时间加起来也是有限的——所以你当然走得完,运动没有被禁止。阿喀琉斯同理:他追赶的无穷多个步骤,对应的时间是一个收敛的无穷和,加起来是个确定的有限时刻;过了那一刻,他就把乌龟甩在身后。芝诺没有错在逻辑,他错在以为"无穷多步"必然"加不完"。极限拆穿了这个隐藏假设。

过程,不是终点:别把极限当成"最后一项"

这里有个微妙但要命的区分,请慢一点读。部分和 Sₙ 是过程中真实出现的数:0.5、0.75、0.875……它们每一个都不是 1。极限 1 则是这串过程的目的地,它不必、也通常不是这串数里的任何一项

所以"极限是数列的最后一项"是错的——这串数根本没有最后一项(n 可以一直加大,永无尽头)。极限不是"加到最后那一个",而是"无论加到多后面,都越来越逼近的那个目标"。把过程和它的目的地分清楚,是理解后面所有微积分的钥匙。

常见误解

一句话带走
极限,就是给一个永不停止的无穷过程指定一个确定的"目的地":部分和可以无限逼近它(要多近有多近),却不必真的抵达。有了极限,"无穷多项之和"成了能算的有限数,芝诺的悖论烟消云散——运动,重新被允许了。
下一步
极限驯服了无穷过程。可还有一支箭没解决:飞矢不动问的是"某一瞬间的速度"。平均速度 = 路程 ÷ 时间,但一瞬间路程是 0、时间也是 0——那是 0 ÷ 0,没有意义。除非……我们让时间间隔不停缩小,对这个 0/0 取极限。→ 第 07 课《瞬间的速度:导数》。