戴德金 · 分割与连续

哥廷根那几年，戴德金听两个人的课。高斯讲最小二乘，讲得少而精；狄利克雷讲数论与积分，讲得多而清。

狄利克雷在课上做了一件当时不算新鲜、后来却极重要的事：他先给「函数」下一个定义，再说话。

定义是这样的：如果对于某个区间上的每一个 x，都有唯一确定的 y 与之对应，那么 y 就叫 x 的函数。它不要求有一个式子，也不要求连续，更不要求能画出来。

这条定义放出了一个怪物。考虑这样一个函数：当 x 是有理数时取 1，当 x 是无理数时取 0。

f(0) = 1　　f(1/2) = 1　　f(−7/3) = 1
f(√2) = 0　　f(π) ≈ 0　　f(√3) = 0

这个函数写不出任何公式。它的图像画不出来：任意小的区间里，1 和 0 挤在一起，笔尖根本落不下去。按旧的标准，它不配叫函数；按新的定义，它完全合格。

这件事的意义比它看起来大。旧的定义是「照着画」：函数是一条曲线，或者一个式子。新的定义是「照着规则」：只要每个 x 都有唯一确定的 y，它就是函数，不管长得什么样。

一个东西指不出来、画不出来、写不出式子，仍然可以是数学对象——只要它的规则说得清。这句话，是戴德金后来一切工作的口气。

可这条定义也带来一个新麻烦。如果函数可以这样怪，那么「连续」是什么意思？如果连「接近」都说不清，「极限」就更说不清。而整个微积分，建立在极限上。

问题就从这里开始。

微积分的第一句话是「变量趋于一个极限」。这句话里有两个词要靠别的东西撑着：一个是「趋于」，一个是「极限」。

拿一串数试。把 √2 一位一位算下去：

1　　1.4　　1.41　　1.414　　1.4142　　1.41421　　…

每一项都是分数（有限小数就是分数）。这一串数越往后，相邻两项的差越小：0.4、0.01、0.004、0.0002、0.00001。它们挤在一起，挤得越来越紧。

现在问：它们挤向哪里？

直观的回答是「挤向 √2」。可这句话是空的：此时 √2 还不是一个数。它只是「平方等于 2 的那个正数」——而这个数存不存在，正是待证的事。用待证的东西去说明极限，是循环。

另一条路是只说「越来越紧」，不提落点。也不行：光说一串数互相靠近，说得出它「稳住了」，说不出它「稳在哪个数上」。而没有那个数，中值定理、介值定理、泰勒展开，全都成了空中楼阁。

十九世纪前期，柯西与波尔查诺已经把「越来越紧」说清楚了：任给一个正数，总能找到一项，使这一项之后任意两项的差都小于它。这个说法不依赖落点，只依赖项与项之间的距离。今天管这样的数列叫柯西列。

可柯西列只解决了一半。它保证了数列「稳」，没有保证「有东西可稳」。在有理数里，上面那一串数每一对都靠得极近，可它们要落的地方是空的。

所以真正的问题不是「怎样说极限」，而是「数够不够用」。戴德金要做的，是把数补够。

补的办法，得先想清楚一件事：一条线上，点和点之间到底是什么关系。是「密」，还是「连」？这两个字在中文里差不多，在数学里差得很远。

1858 年，戴德金二十七岁，到苏黎世教书。那所学校叫瑞士联邦理工学校，刚办三年，课程重、学生多。他教微积分，一周要讲好几个钟点。

讲课讲到「变量趋于极限」，他停下来。他后来在书的序言里写：讲到这里，他第一次被迫认真处理「数的基础」这件事，而且他选了这一天记下来——1858 年 11 月 24 日。

那一天他想出的东西，说起来极简单：把有理数分成两类。

第一类里的每个数，都小于第二类里的每个数。这样一刀切下去，切口有几种可能？

第一种：切口正好落在一个分数上。比如把小于二的数放一类，大于二的放另一类，切口就是二。

第二种：切口落在空处。比如把平方小于二的数放一类，平方大于二的放另一类——切口所在的位置，那里没有分数。这时，就把这个切法本身定义成一个新的数。

他当天大概没有写下完整的形式。真正印成书，是十四年后的事，一本薄薄的册子，1872 年在布伦瑞克出版。可关键的一步在苏黎世那个冬天已经走完了：不再追问「那个数是什么」，改问「把它切出来的那道刀口，能不能说清楚」。

这一步的好处是：刀口一定能说清楚。刀口由两堆数决定，而两堆数都是分数，分数是现成的。于是「造一个新数」这件事，被还原成「挑一堆分数」——后者不需要任何新东西。

这也是本册暗线的第一次露面：把一个说不清的对象，换成一个说得清的条件。条件说得清，对象就造出来了。

下一幕就来看这道刀口怎样切、切出来又怎样变成数。

要证的话是：没有一个分数，它的平方等于 2。

第一步，反过来设。设有一个分数，平方等于 2，写成 p/q，其中 p、q 都是正整数。并且先把公因数约掉，使 p 与 q 不再有公因数。这一步永远做得到，约到不能再约为止。

第二步，两边平方。由 (p/q)² = 2 得 p² = 2q²。

第三步，看奇偶。右边是 2 的倍数，所以 p² 是偶数。而奇数的平方是奇数：(2k+1)² = 4k² + 4k + 1，除以 2 余 1。所以 p² 是偶数，推出 p 是偶数。

第四步，写下去。既然 p 是偶数，设 p = 2r。代回 p² = 2q²：4r² = 2q²，两边除以二得 q² = 2r²。

第五步，同样的话再说一遍。右边是偶数，所以 q² 是偶数，所以 q 是偶数。

第六步，收口。p 与 q 都是偶数，就有公因数 2。这与第一步「已约到不再有公因数」相矛盾。矛盾不可能来自推理，只能来自那个假设。所以假设不成立：没有分数，平方等于 2。

这个证明有三处值得注意。

第一处，它只用了「偶数」这一个概念，没有用任何高级工具。两千三百年前的人能懂，今天的小学生也能懂。难的从来不是工具，是想到「约到最简」这一步会与结论相撞。

第二处，它证的是「不存在」。不存在的东西，没法举出来，只能反证。所以这类证明的样子总是：先假设它存在，再让它自己绊倒。

第三处，它没有说这个长度的「位置」不存在。它只说：那个位置上没有分数。位置在，数不在——这就是「洞」。

顺便说一句：同样的办法可以证 √3、√5、∛2 都不是分数。要证的是「平方等于 2 的分数不存在」，换成 3、5、2 的立方，论证照样走。可见洞不止一个，而且到处都是。

戴德金的办法是这样的。把全体有理数分成两堆，记作 A 与 B，要求三件事：

一、每个有理数，恰好落在其中一堆里。二、A 里的每个数，都小于 B 里的每个数。三、A 里没有最大的数。

这样的一对 (A, B)，就叫一个分割。它的意思是：在 A 与 B 之间切了一刀。

现在拿平方小于 2 的那些正有理数来试。令 A 包含所有满足「a ≤ 0，或 a > 0 且 a² < 2」的有理数 a；其余的全放进 B。显然 A 里每个数都小于 B 里每个数。

关键是第三件事：A 里有没有最大的数？没有。任取 A 里的一个正数 a，造一个新的数：

　a′ = (2a + 2) / (a + 2)

它仍然满足「平方小于 2」，而且比 a 大。验一下：a′ > a 等价于 2a + 2 > a² + 2a，也就是 2 > a²——正是 a 属于 A 的条件。而 a′ < √2 也成立，所以 (a′)² < 2，它仍在 A 里。

于是一个一个往上挪，永远挪不到头。从 1 出发，连挪七次：

1　→　4/3　→　7/5　→　24/17　→　41/29　→　140/99　→　239/169　→　816/577
1　　1.3333　　1.4　　1.4118　　1.4138　　1.41414　　1.41420　　1.41421

每一步都更靠近 1.41421356…，可每一步都还在它下面。这一步一步，走得完吗？走不完。所以 A 里没有最大的数。

再看 B：它里面有没有最小的数？也没有。同一个式子仍然管用：若 b 在 B 里（即 b > 0 且 b² > 2），令 b′ = (2b + 2)/(b + 2)。则 b′ < b（等价于 b² > 2），且 b′ > √2，所以 b′ 仍在 B 里。拿 2 试：(2 × 2 + 2)/(2 + 2) = 1.5，再试一次得 1.4286，再得 1.4167。往下拉，也拉不到头。所以两堆之间，是一道两侧都敞开的缝。

这道缝不落在任何有理数上。戴德金的定义只有一句：把这道缝，也就是这一对 (A, B)，定义成一个数。给它一个名字，叫 √2。

把上面那件事推到底，得到一句大胆的话：每一个实数，就是一个分割。不是「对应一个分割」，是「就是」。

这句话要过三关。

第一关：旧的数还在不在？在。给定一个分数 q，把小于 q 的所有有理数放进 A，其余放进 B。这样得到的分割，就代表 q。每个分数都这样住进了新房子，而且住的房间不同。

第二关：能不能比大小？能，而且极简单。两个分割 (A₁, B₁) 与 (A₂, B₂)，若 A₁ 整个被 A₂ 包含，就说第一个不大于第二个。用「包含」来定义「小于」，是集合论的老办法：子集关系本来就有。

第三关：会不会循环论证？这是最要紧的一关。造分割只用了有理数，有理数是现成的；造分割的过程里，一次也没有用到「实数」这个词。所以等到把分割叫作实数时，它是新起的名，不是偷用旧概念。

过了三关，就可以放心地说：实数就是有理数的分割。而「√2」这个名字，从此有了定义：它就是那个「平方小于 2 的数都放左边」的分割。

顺着这条路，别的数也出来了。把「平方大于 2 的数放左边」切一刀，得到 −√2。把「立方小于 2 的数放左边」切一刀，得到 ∛2。把「所有有理数」按某个规律切，就能得到 π、e，以及一切别的实数。同一种刀法，切出全部。

还有一件事值得指出。这套做法没有「小数点」。无限小数看起来像在描述一个数，其实它本身也需要定义：0.999… 是什么意思？用分割来看，这个问题就消解了：0.999… 与 1 指的是同一个分割，所以它们是同一个数。不是「无限接近」，是「相等」。

这就是「定义即建造」的第一处成果。它没有解释「无限小数」，而是换了一套语言，让那个问题不再出现。换语言比解释旧语言省力得多。

实数既是分割，那么加法就不能靠「把长度接起来」这种说法。得只用两堆有理数，把结果那一堆写出来。

加法的定义：把两堆的「左边」逐个相加，能得到的数全收进来。

　A + A′ = { a + a′ ： a ∈ A，a′ ∈ A′ }

这样得到的仍然是一个「左边」。要检查三件事：它不含最大元；它里面的每个数都小于补集里的每个数；它与补集拼起来正好是全体有理数。三件事都不难，逐条验一遍就行。

举例：√2 + √2 等于什么？按定义，左边是「两个平方小于 2 的数之和」。取 1.4 与 1.41，和是 2.81；取 1.414 与 1.4142，和是 2.8282。这些数都小于 2√2 ≈ 2.8284271。可以证明：这样得到的左边，正好是「平方小于 8 的正数」那一堆——也就是 √8。而 √8 = 2√2，对得上。

减法靠一个技巧：先定义「相反数」。

　−A = { q ： 存在 b ∈ B，使 q < −b }

也就是：把右边那堆整个翻到左边来，再往下让一点。翻过来是因为要「变号」，往下让一点是为了保证新的左边没有最大元。有了相反数，减法就是加上相反数。

乘法麻烦一些，因为正负号会捣乱。通行的做法是分两步。第一步，只对「正分割」定义乘法：两个左边里各取正数，相乘，全收进来，再加上所有非正数。

　A · A′ = { aa′ ： a > 0，a′ > 0 } ∪ { q ： q ≤ 0 }

第二步，其余情形按符号规则归到正分割上：正乘负得负，负乘负得正，遇到零则得零。这样定义出来的乘法，与旧有的分数乘法完全一致。

比大小最简单。两个分割，若第一个的左边整个含在第二个的左边里，就说第一个不大于第二个。用「包含」定「序」，是本册最省力的一步：集合的包含关系是现成的，不必另造。

到这一步，四则运算齐了，序也齐了。剩下唯一没交代的，是那句最要紧的话：这样造出来的数，够不够填满一条线。

拿一个具体的乘法验一遍。要证：√2 · √3 = √6。

先把三个数各自的分割写出来。记 α = √2、β = √3、γ = √6。它们的左边分别是：

　A_α = { a ： a ≤ 0 或 a² < 2 }
　A_β = { b ： b ≤ 0 或 b² < 3 }
　A_γ = { c ： c ≤ 0 或 c² < 6 }

第一步，先看一边：任取正数 a 在 A_α 里、正数 b 在 A_β 里，则 (ab)² = a²b² < 2 × 3 = 6。所以 ab 落在 A_γ 里。换句话说：乘积那一堆，整个被 A_γ 包住。

第二步，反过来：任取正数 c 满足 c² < 6，要把它写成 ab 的样子。办法是挑一个分数 a，夹在两个数之间：

　c / √3　<　a　<　√2

这样的 a 一定存在：因为左端小于右端（把 c² < 6 两边除以 3 再开方即得 c/√3 < √2），而两个不相等的实数之间总有分数。取定 a 后，令 b = c / a。于是 a < √2 给出 a² < 2；a > c/√3 给出 b² = c²/a² < 3。两边都对，所以 c 确实是某个 ab。

两步合起来：乘积那一堆既不比 A_γ 大，也不比它小，于是两者相等。这就是 √2 · √3 = √6 的证明。

拿数核一遍。取 c = 2.4，它的平方是 5.76，小于 6。左端 2.4 / 1.7320508 ≈ 1.3856，右端 1.4142136。中间取 a = 1.414，则 b = 2.4 / 1.414 ≈ 1.6973。验：1.414² = 1.9994 < 2，1.6973² ≈ 2.8808 < 3，两条件都满足。而 1.414 × 1.6973 ≈ 2.4000，回到了 c。

再核一遍小数：

1.4142135624 × 1.7320508076 = 2.4494897428
√6 = 2.4494897428

两边十一位全同。可这个核对只是「看起来对」，真正的理由在两步不等式里。数学里，「算到十一位都对」从来不算证明。

值得留意的是第二步的挑法。它不是碰巧，是「先看需要什么，再倒着找」。要 a² < 2，就要 a < √2；要 (c/a)² < 3，就要 a > c/√3。两个条件一夹，区间就出来了。这种「倒着找」的做法，在分析里到处都是。

「密」与「连」，是两个不同的字。

密的意思是：任意两个之间还有第三个。有理数就密：取平均就得到中间那个。可密不等于连。有理数密得很，却到处是洞。

连的意思是：一个洞也没有。用分割的话说：随便怎么切一刀，切口一定落在一个数上。不会切在空处。

戴德金把这句话写成定理：

把全体实数分成两堆，使第一堆里每个数都小于第二堆里每个数，那么必定存在一个实数 r，它或者是第一堆里最大的，或者是第二堆里最小的。

证明不长，但要用一个巧劲。第一步，只看有理数。把第一堆里的有理数收起来，把第二堆里的有理数收起来，这就得到有理数的一个分割。第二步，按定义，这个分割对应一个实数，记作 r。第三步，看 r 落在哪一堆。

若 r 在第一堆里：假定它不是第一堆里最大的，那就有更大的数 s 也在第一堆。但 r 与 s 之间必有一个有理数，这个有理数既大于 r 又小于 s，按第一步它应当在第二堆里——可它小于 s，而 s 在第一堆，矛盾。所以 r 是第一堆里最大的。

若 r 在第二堆里，同样论证可得它是第二堆里最小的。两种情形穷尽了所有可能。证完。

这条定理有一个等价的说法，用起来更顺手：一个非空、有上界的实数集合，必有最小的上界。这个「最小的上界」叫上确界。它是分析里最常用的工具之一：凡是要「取到极限」，几乎都要先取上确界。

为什么这条定理重要？因为它把一句几何直觉，变成了算术定理。「直线是连续的」这句话，戴德金之前是公理，是靠眼睛看的。他之后，它可以从「实数是有理数的分割」推出来。几何的直觉不再需要假设，只需要证明。

也正是这一步，让「极限一定存在」有了依据。一个数列若越挤越紧（柯西列），在有理数里可能没有落点；在实数里一定有。落点有了，微积分的每一句话才站得住。

看一个具体的数系。把形如 a + b√−5 的数（a、b 都是整数）收在一起，记作 ℤ[√−5]。这些数能加、能减、能乘：

(1 + √−5) + (2 − 3√−5) = 3 − 2√−5
(1 + √−5)(2 − 3√−5) = 2 − 3√−5 + 2√−5 − 3(√−5)² = 17 − √−5

注意最后一步：(√−5)² = −5。这个数系里，负数的平方根被当成一个普通的数用。

现在看六。六有两种分法：

6 = 2 × 3
6 = (1 + √−5)(1 − √−5)

第二个式子验一下：(1 + √−5)(1 − √−5) = 1 − (√−5)² = 1 − (−5) = 6。没错。

麻烦在于：这四种因子，没有一种能再拆。要证明这一点，得用一个工具：范数。

定义：a + b√−5 的范数是 N = a² + 5b²。范数有两条好性质：一、它总是非负整数（除非零）；二、乘法保范数，N(uv) = N(u)N(v)。

　N(2) = 4　　N(3) = 9　　N(1 + √−5) = 6　　N(1 − √−5) = 6

现在看 2。若 2 = uv，则 N(u)N(v) = 4。所以两个范数只能是 (1,4)、(2,2) 或 (4,1)。若出现 2，就要有 a² + 5b² = 2。看 b：b = 0 时 a² = 2，无整数解；b = ±1 时 a² = −3，更不可能；|b| ≥ 2 时 5b² ≥ 20 > 2。所以范数 2 的数不存在。于是 2 只能分解成「范数 1 的数」乘「范数 4 的数」——而范数 1 的数只有 ±1，它们算不上真正的因子。

结论：2 不可再分。同样的算法：3 要用范数 3，a² + 5b² = 3 无解，故 3 不可分；1 ± √−5 要用范数 2 或 3，都不存在，故它们也不可分。

四个因子都不可分，两种分法都成立，而它们显然不同。这就是唯一分解失效的样子。失效的原因不是算错，是「素因子」这个概念在这个数系里不够用。

更糟的是：2 与 1 + √−5 不能互相整除，却都「分」进了六。这就像把一个盒子拆成两个小盒，换一种拆法又拆成另外两个——而这两套小盒彼此装不进去。靠「拆」这个动作，永远说不清盒子的构造。

戴德金的办法，是换一个对象来数。不再数「哪个数整除哪个数」，改数「哪些数的集合被哪个数整除」。

定义：ℤ[√−5] 的一个子集 I 叫理想，若它满足两条：

一、加法封闭：I 里任意两个数相加，还在 I 里。二、吸收乘法：I 里任取一个数，乘上任一个环里的数，结果还在 I 里。

第二条是关键。它说的不是「乘自己人还在里面」，而是「乘谁都在里面」。这正好对应「倍数」的直觉：一个数的所有倍数，乘上任何数还是它的倍数。

看一个例子。记 p₂ = { 2u + (1 + √−5)v ： u, v ∈ ℤ[√−5] }。也就是「二的倍数」与「1 + √−5 的倍数」加起来能得到的所有数。

这个集合里没有一个「最小的数」可以生成全部。二不行（它生成不出 1 + √−5），1 + √−5 也不行（它生成不出二）。可这个集合本身是清清楚楚的：给一个数，验一下能不能写成 2u + (1 + √−5)v，就知道它在不在里面。

这就是戴德金那一转的关键：把「一个不存在的数」，换成「一个存在的集合」。集合由条件给出，条件是能验的。

这个集合有多大？用范数算：它的「大小」是 2。意思是：把环里的数按「差在不在 p₂ 里」分类，恰好分出两类。两类，所以大小是 2。这与「范数 2 的数不存在」对照着看，很有意思：数没有，集合有，而且这个集合占的位置正好是「范数 2」该占的位置。

再看 p₂ 能不能自己变成一个「数」。若存在某个 α 使 p₂ 恰好等于 α 的所有倍数，那么 N(α) = 2。可范数 2 的数不存在。所以 p₂ 不由任何单个数生成。这样的理想叫非主理想。

库默尔当年说的「理想数」，就是这个东西。它「应该」是范数 2 的那个数，可它不存在；于是用一堆数代替它。戴德金把「代替」这件事写出了定义，从此它不再是玄学。

一个东西不存在，它的「倍数」却可以存在——这句话是整幕的枢纽。数学里很多这样的转弯：追不到对象，就追它的影子；影子说得清，事情就办得成。

把六也写成理想。(6) 表示「六的所有倍数」这个理想。理想之间有乘法：把两堆的乘积全收进来。于是六的分法，变成理想的乘法。

算一遍。先看三个「小理想」：

　p₂ = ⟨2, 1 + √−5⟩　　指数 2
　p₃ = ⟨3, 1 + √−5⟩　　指数 3
　p₃′ = ⟨3, 1 − √−5⟩　　指数 3

把它们乘起来：

　p₂² = (2)　　　　　指数 2 × 2 = 4
　p₂ p₃ = (1 + √−5)　　指数 2 × 3 = 6
　p₂ p₃′ = (1 − √−5)　　指数 2 × 3 = 6
　p₃ p₃′ = (3)　　　　　指数 3 × 3 = 9

于是六的那个理想，拆开来是：

　(6) = p₂² · p₃ · p₃′

核一下指数：2 × 2 × 3 × 3 = 36，而 |N(6)| = 36，对得上。

现在回头看那两种分法。6 = 2 × 3 对应 (p₂²)(p₃p₃′)；6 = (1 + √−5)(1 − √−5) 对应 (p₂p₃)(p₂p₃′)。两种分法，展开后是同一串小理想，只是括号打得不同。

这就是全部的秘密。在「数」的层面，六有两种分法，看上去矛盾。在「理想」的层面，两种分法只是同一个乘积的两种分组方式，谁也不算错。矛盾消失了，因为它原本只是一个视角问题。

戴德金证明的定理是：在这样的数系里，每个非零理想都能唯一地写成素理想的乘积，次序不计。唯一分解回来了，只是它现在说的不是数，是集合。

代价也要说清楚。唯一分解在理想层面成立，不等于在数的层面成立。数层面失效的程度，用一个数来量，叫类数。这个环的类数是 2：意思是理想比数「多出一倍」，两个理想里就有一个找不到对应的数。类数为 1，数层面也唯一分解；类数大于 1，就一定失效。

所以「唯一分解」这件事，被拆成了两句话：理想层面永远成立；数层面成立的充要条件是类数为 1。一句话变成两句，问题反而更清楚了。这是数学里常有的进步：不是解决问题，是把问题摆正。

先给两个词。

一一对应：两个集合之间，若能配上对，一个不多一个不少，就叫能一一对应。配上对的意思是：每个都有对手，没有谁配两个。

真子集：一个集合的一部分，且不等于它自己。比如全体自然数是一个集合，「平方数」是它的一部分。

现在看一件事。把每个自然数平方一下：

1 → 1　　2 → 4　　3 → 9　　4 → 16　　5 → 25　　…

每个自然数都有唯一的平方，每个平方数也都有唯一的来源。所以这是一一对应。可平方数只是自然数的一部分：4 不在里头，9 不在里头，绝大部分数都不在里头。

一部分与整体，一样多。这句话对有限集合绝不可能：五个苹果的一部分，最多四个。可对自然数，它成立。

戴德金的定义就建立在这件事上：

一个集合叫无穷的，若它与自己的某个真子集能一一对应。不能这样对应的，叫有限。

这个定义有两处值得注意。

第一处，它把「无穷」说成了正面性质。旧的说法是「无穷就是没有完」，是一个否定：数不完、走不到头。新说法是「无穷就是能与自己的一部分对齐」，是一个肯定的、可以验证的性质。用肯定的话说，才能拿来证明。

第二处，它把「有限」变成了派生的概念。以前是先有有限、再有无限；现在先有「能一一对应」这个关系，有限与无限都由它定义。顺序一换，很多老问题就消失了。

还有一个副产品。既然「一样多」由一一对应定义，那么「无穷」也有大小之分。自然数与平方数一样多；自然数与实数不一样多——后者多得多。这件事的证明，是同一年代另一位数学家的功劳。而戴德金是少数早早读到、并且认真回信的人。

一个看起来像文字游戏的定义，撑起了整门「无穷的算术」。它只用了两样东西：集合，和一一对应。

造自然数，需要三样东西：一个集合，一个映射，一个起点。

集合记作 N；映射记作 φ，读作「下一个」；起点记作 1。三条条件：

第一条：1 不是任何数的「下一个」。换句话说，1 不在 φ 的像里。这条保证「有头」。

第二条：φ 是一对一的。不同的数，下一个也不同。这条保证「不合并」：不会两条路走到一起，把后面的数压成一个。

第三条：N 里没有多余的数。准确地说：若 N 的一个子集含 1，且其中每个数的「下一个」也在其中，那么这个子集就是 N 全体。这条保证「不夹带」：除了从 1 一路数下来的那些，没有别的。

三条合起来，戴德金叫它「简单无穷系统」。凡是满足这三条的东西，就与自然数一模一样——不是相似，是同构。元素叫什么名字无所谓：叫 1、2、3 可以，叫甲、乙、丙也可以，从 0 开始也可以。结构对了，就是它。

这三条为什么够？因为自然数的一切性质，都能从它们推出来。加法可以造：n + 1 定义为 φ(n)，n + φ(m) 定义为 φ(n + m)。乘法可以造：n × 1 = n，n × φ(m) = n × m + n。两条定义都是「一步一步往回退」，退到 1 为止。

拿加法验一下。要算 2 + 3。先把 3 写成「1 的下一个的下一个」，按定义一层层剥：

　2 + 3 = 2 + φ(2) = φ(2 + 2)
　2 + 2 = 2 + φ(1) = φ(2 + 1) = φ(φ(2))
　故 2 + 3 = φ(φ(φ(2))) = 5

三个「下一个」，落在 5 上。这不是在算，是在按定义走。走完了，答案就是它。

这套做法有个特点：它不解释「三」是什么感觉，只规定「三」怎么用。三就是「1 的下一个的下一个」；至于它是三只苹果还是三道刻痕，与数学无关。这也正是本册暗线的最后一站：不追问东西是什么，只规定它怎样运作。

中学课本里，数学归纳法是一条规定：先验第一项，再证「若第 n 项成立则第 n+1 项也成立」，于是全体成立。

这条规定凭什么？凭上一页的第三条。

把「成立的那些数」收成一个集合，记作 K。第一步验了第一项，所以 1 在 K 里。第二步证了「若 n 在 K 里则 n+1 也在」，所以 K 对「下一个」封闭。两条一凑，正是第三条的前提；于是 K 是全体，也就是：所有自然数都成立。

所以归纳法不是一条独立的规定，它是「自然数没有多余的数」这句话的另一种说法。换句话说：归纳法成立，正是因为自然数被造得「不多不少」。多一个，归纳法就漏；少一个，就不需要它。

看一个具体的例子。要证：从 1 加到 n，和是 n(n+1)/2。

第一步，n = 1。左边是 1，右边是 1 × 2 / 2 = 1。成立。

第二步，假设 n 时成立，看 n+1。此时左边是原来的和再加 n+1：

　n(n+1)/2 + (n+1) = (n+1)(n/2 + 1) = (n+1)(n+2)/2

右边正是把公式里的 n 换成 n+1 的样子。成立。

两步做完，全体成立。整个过程没有用到「无穷多个」这个说法：只验了一个，只推了一步。这就是归纳法的巧妙之处：它把无穷多个检查，压成两个动作。

再看一个例子，换一种用法。要证：2ⁿ > n（n ≥ 1）。第一步，2 > 1。第二步，若 2ⁿ > n，则 2ⁿ⁺¹ = 2 × 2ⁿ > 2n ≥ n + 1（因为 n ≥ 1）。成立。

这类证明的形状是固定的：先落地，再往前迈一步。落地要真，迈步要稳。两步都对，整条链就通。

值得指出一件事。归纳法只能证「所有自然数都如何」，不能证「所有实数都如何」。因为实数不是从 1 一个接一个数出来的：任意两个实数之间还有实数，没有「下一个」。所以对实数，要用另一套办法（比如完备性）。工具得配对象。