The Gateway to the Number Kingdom: Natural Numbers and Integers

在数学王国的广袤大陆上，自然数是探险家踏上的第一片坚实土地。计数，这一看似本能的Activity，实则是量化世界、建立秩序的基石。当我们面对一堆苹果、一群羊或是一系列事件时，自然数提供了离散计量的语言。然而，计数并非总是指向“有”；有时我们需要表达“无”或“亏欠”，这便驱使我们超越自然数，进入整数的领域。本章将formalize这些直观概念，从自然数的公理化定义出发，逐步构建整数的算术体系，并通过数轴这一几何直观工具，揭示数字之间的内在联系。我们将看到，自然数和整数不仅是实用的工具，更是抽象思维的发端，为后续更复杂的数学结构奠定基础。

The Essence of Counting: From Pebbles to Natural Numbers

人类对计数的需求可以追溯到史前时代。考古证据表明，早期文明使用石子、刻痕或绳结来记录猎物数量或交易日。这种对“多少”的追问，催生了最抽象的数学概念：自然数。自然数 $\mathbb{N}$，通常定义为 $1, 2, 3, \dots$，是表示离散对象数量的符号系统。其核心特征在于离散性：每个自然数对应一个确定的、可区分的集合基数。例如，三个苹果的集合与五个苹果的集合可以通过数字3和5来区分和比较。

从哲学角度看，自然数并非物理实体，而是心智的创造。它们独立于具体事物：三个苹果、三天、三个想法都共享数字3这一抽象概念。这种抽象能力是人类数学思维的飞跃。然而，抽象必须建立在直观经验之上。儿童学习计数时，通常通过指物数数（one-to-one correspondence）建立数字与数量的联系。这种一一对应原则是自然数理论的基石：一个集合的元素可以与自然数集合的前 $n$ 个元素建立双射，则称该集合基数为 $n$。

历史上，不同文明独立发展出各自的计数系统。古巴比伦人使用六十进制，古埃及人使用十进制，但都缺乏位置记数法的完整概念。真正的突破来自印度-阿拉伯数字系统，其核心是位值原则：数字的值取决于其在数串中的位置。例如，数字 $345$ 表示 $3 \times 10^2 + 4 \times 10^1 + 5 \times 10^0$。这一系统使得任意大数的表示和运算成为可能，为自然数算术的发展奠定了技术基础。

Formalizing the Intuitive: Peano Axioms and the Structure of $\mathbb{N}$

虽然自然数可以通过集合论定义（例如，$0 = \emptyset$, $1 = \{0\}$, $2 = \{0,1\}$, 等等），但更优雅的方式是使用皮亚诺公理（Peano axioms），由意大利数学家朱塞佩·皮亚诺于1889年提出。这套公理以最小的假设捕捉自然数的本质。鉴于本书面向初学者，我们采用自然数从1开始的版本（即 $\mathbb{N} = \{1,2,3,\dots\}$），公理表述如下：

1. 起点公理：$1$ 是自然数。 2. 后继公理：每个自然数 $n$ 有一个唯一的后继 $S(n)$，且 $S(n)$ 也是自然数。 3. 唯一性公理：$1$ 不是任何自然数的后继。 4. 单射公理：若 $S(m) = S(n)$，则 $m = n$。 5. 归纳公理：如果一个集合 $M$ 包含 $1$，且若包含 $n$ 则必包含 $S(n)$，那么 $M$ 包含所有自然数。

这些公理看似简单，却蕴含了自然数序列的无限性和确定性。后继函数 $S$ 本质上是“加1”操作：$S(1)=2$, $S(2)=3$，依此类推。归纳公理是数学归纳法的逻辑基础，允许我们证明关于所有自然数的命题。

例1.1：使用归纳法证明“所有自然数 $n$ 满足 $n < n+1$”。 基例：$n=1$，显然 $1 < 2 = S(1)$。 归纳步：假设 $k < S(k)$ 成立，则 $S(k) < S(S(k))$ 由单射公理和序关系定义可得。因此命题对所有 $n$ 成立。

皮亚诺公理还隐含了自然数的良序性：每个非空自然数子集有最小元。这一性质在后续证明中至关重要，例如在整数除法中。

Arithmetic of Natural Numbers: Operations and Properties

在自然数集合上，我们定义两种基本运算：加法（$+$）和乘法（$\times$）。这些运算不是任意的，而是遵循一套内在法则，使得计算可靠且一致。

Addition: Combining Quantities

加法对应合并两个离散集合的过程。形式化地，加法可通过递归定义：

• $a + 1 = S(a)$（加1即取后继）
• $a + S(b) = S(a + b)$

这一定义确保了加法的良定义性。例如，计算 $2+3$：

• $2+1 = S(2)=3$
• $2+2 = S(2+1)=S(3)=4$
• $2+3 = S(2+2)=S(4)=5$

加法满足以下关键性质：

• **封闭性**：$\forall a,b \in \mathbb{N}, \; a+b \in \mathbb{N}$。两个自然数之和仍是自然数。
• **交换律**：$a+b = b+a$。顺序不影响结果。
• **结合律**：$(a+b)+c = a+(b+c)$。分组不影响结果。
• **单调性**：若 $a \le b$，则 $a+c \le b+c$。

例1.2：验证交换律对 $a=4, b=7$：$4+7=11$, $7+4=11$。 例1.3：验证结合律对 $a=2, b=3, c=5$：$(2+3)+5=5+5=10$, $2+(3+5)=2+8=10$。

这些性质允许我们灵活重组计算，简化复杂表达式。例如，计算 $23+47+52$ 时，可先算 $23+47=70$，再加 $52$ 得 $122$；或先算 $47+52=99$，再加 $23$ 得 $122$，结果相同。

Multiplication: Repeated Addition

乘法本质上是加法的重复：$a \times b$ 表示 $b$ 个 $a$ 相加。递归定义：

• $a \times 1 = a$
• $a \times S(b) = a \times b + a$

例如，$3 \times 4$：

• $3 \times 1 = 3$
• $3 \times 2 = 3 \times 1 + 3 = 3+3=6$
• $3 \times 3 = 3 \times 2 + 3 = 6+3=9$
• $3 \times 4 = 3 \times 3 + 3 = 9+3=12$

乘法性质：

• **封闭性**：$\forall a,b \in \mathbb{N}, \; a \times b \in \mathbb{N}$。
• **交换律**：$a \times b = b \times a$（可通过归纳证明）。
• **结合律**：$(a \times b) \times c = a \times (b \times c)$。
• **单位元**：$a \times 1 = a$。
• **分配律**：$a \times (b + c) = a \times b + a \times c$。这是连接加法与乘法的桥梁。

例1.4：分配律验证：$2 \times (3+4) = 2 \times 7 = 14$，而 $2 \times 3 + 2 \times 4 = 6+8=14$。

分配律在计算中极为有用。例如，$6 \times 15 = 6 \times (10+5) = 60+30=90$，比直接相乘更简便。

Order and Comparison

自然数上定义了全序关系 $\le$（小于等于）。对于 $a,b \in \mathbb{N}$，若存在 $c \in \mathbb{N}$ 使得 $a+c=b$，则称 $a \le b$。若 $a \le b$ 且 $a \ne b$，则 $a < b$。

序关系与运算兼容：

• 若 $a \le b$，则 $a+c \le b+c$。
• 若 $a \le b$ 且 $c > 0$，则 $a \times c \le b \times c$。

比较大小可通过数轴直观理解：数轴上右边的点代表更大的数。

故事嵌入练习 1.1： 探险家 Alice 在森林中收集资源。第一天她找到 5 个浆果，第二天找到 3 个，第三天找到 7 个。 (a) 她总共收集了多少浆果？ (b) 如果她每天吃掉 4 个浆果，三天后还剩多少？ (c) 如果她需要 20 个浆果才能继续旅程，她还差多少？ （提示：(c) 中答案可能不是自然数，思考这意味着什么。）

The Need for More: Limitations of Natural Numbers

自然数在计数“有”的对象时极为有效，但现实世界常涉及“无”或“不足”，自然数体系无法直接描述。考虑以下场景：

1. 空集计数：如果篮子一个苹果也没有，如何表示？自然数从1开始，缺少表示“无”的符号。 2. 债务与亏损：若你拥有 5 个金币，但欠人 7 个，你的净财富是多少？$5-7$ 在自然数中无定义。 3. 温度测量：摄氏温标下，0°C 是冰点，-5°C 表示低于冰点5度。负数必不可少。 4. 地理位置：海平面以上海拔为正，以下为负（如死海海拔约 -430 米）。 5. 时间线：公元前后用正负区分，如公元前100年可记作 -100 年。

这些情境共同指向一个需求：数字系统需能表示相反方向或缺失量。自然数只能表示“正向”数量，而整数通过引入负数和零，扩展了描述能力。

例1.5：银行账户。初始余额 100 元（+100），取款 150 元，余额为 $100-150 = -50$ 元，表示负债50元。若无负数，无法记录此状态。

历史发展上，负数接受过程漫长。古埃及和古希腊数学仅处理正数，将负解视为“荒谬”。中国汉代《九章算术》（约公元前1世纪）已明确使用正负数表示盈亏，用红色算筹记正，黑色记负。印度数学家 Brahmagupta（7世纪）系统阐述了负数规则，包括 $(-a) \times (-b) = ab$。欧洲直到16世纪文艺复兴时期，负数才被广泛接受，得益于代数方程求解（如 $x+5=2$ 需 $x=-3$）和会计实践。

Introducing Integers: The Complete Number Line

整数集合 $\mathbb{Z}$（来自德语 *Zahlen*，意为“数”）是自然数、零和负整数的并集： $$ \mathbb{Z} = \{ \dots, -3, -2, -1, 0, 1, 2, 3, \dots \} $$ 形式上，整数可通过自然数构造：每个整数或为自然数 $n$（正），或为 $0$，或为 $-n$（负），其中 $-n$ 定义为满足 $n + (-n) = 0$ 的数。这引出了相反数概念：对任意整数 $a$，其相反数 $-a$ 满足 $a + (-a) = 0$。例如，$5$ 的相反数是 $-5$，$-3$ 的相反数是 $3$，$0$ 的相反数是自身。

The Number Line: A Geometric Representation

数轴是理解整数的强大工具。它是一条直线，标出原点 $O$ 表示 $0$，向右方向为正，向左为负。每个整数对应数轴上唯一一点，反之亦然。这种对应建立了代数与几何的桥梁。

```mermaid graph TD subgraph Number Line for Integers direction LR N5[5] --> N4[4] --> N3[3] --> N2[2] --> N1[1] --> Z[0] --> N_1[-1] --> N_2[-2] --> N_3[-3] --> N_4[-4] --> N_5[-5] end ```

数轴直观展示：

• **大小关系**：右边的点代表更大的数。例如，$-2 < 1$，因为 $-2$ 在 $1$

数轴的左侧。更一般地，对于任意两个整数 $a$ 和 $b$，$a < b$ 当且仅当在数轴上 $a$ 位于 $b$ 的左侧。这种几何直观使得比较大小变得一目了然，特别是当涉及负数时。例如，比较 $-5$ 和 $-2$：虽然 $5 > 2$，但 $-5 < -2$，因为 $-5$ 在数轴上更靠左。初学者常误以为绝对值大的负数更大，必须通过数轴克服这一直觉误区。

数轴还引入了距离概念。两点 $a$ 和 $b$ 之间的距离定义为 $|a - b|$，即它们坐标差的绝对值。例如，$-3$ 和 $4$ 之间的距离为 $| -3 - 4 | = | -7 | = 7$，或 $|4 - (-3)| = |7| = 7$。这自然引出了绝对值（absolute value）的正式定义：对于整数 $a$， $$ |a| = \begin{cases} a & \text{if } a \ge 0, \\ -a & \text{if } a < 0. \end{cases} $$ 绝对值表示数轴上点与原点的距离，恒为非负整数。性质包括 $|a| = |-a|$，$|a \times b| = |a| \times |b|$，以及三角不等式 $|a + b| \le |a| + |b|$（尽管后者在整数范围内通常取等号，但为后续推广留有余地）。

Integer Arithmetic: Operations and Their Properties

整数集合 $\mathbb{Z}$ 在加法、减法和乘法下封闭，但除法不封闭。我们逐一分析这些运算，强调与自然数运算的 continuity 和关键差异。

Addition and Subtraction: The Unified View

整数加法可视为数轴上的平移。给定整数 $a$ 和 $b$，$a + b$ 表示从点 $a$ 出发，沿数轴移动 $b$ 步：若 $b > 0$，向右移动；若 $b < 0$，向左移动；若 $b = 0$，位置不变。例如，$2 + (-5)$：从 $2$ 出发，向左移动 $5$ 步，到达 $-3$。

规则总结：

• **同号相加**：$a$ 与 $b$ 同号时，$|a + b| = |a| + |b|$，符号与 $a, b$ 相同。
• 例：$(-4) + (-7) = -(4+7) = -11$；$5 + 8 = 13$。
• **异号相加**：$a$ 与 $b$ 异号时，$|a + b| = \big| |a| - |b| \big|$，符号取绝对值较大者的符号。
• 例：$9 + (-4) = 5$（因为 $|9| > |4|$，结果为正）；$(-6) + 2 = -4$（因为 $|6| > |2|$，结果为负）。
• **加法逆元**：每个整数 $a$ 有唯一逆元 $-a$，满足 $a + (-a) = 0$。零是加法的单位元。

减法可完全转化为加法：$a - b = a + (-b)$。这意味着掌握加法即可处理减法。例如：

• $7 - 12 = 7 + (-12) = -5$
• $(-3) - (-8) = (-3) + 8 = 5$
• $0 - 5 = 0 + (-5) = -5$

故事嵌入练习 1.2： 探险家 Bob 在山地探险。他从海拔 $200$ 米的营地出发，先爬升 $150$ 米到山顶，再下降 $300$ 米到山谷底部。 (a) 用整数表示每次位移：爬升 $+150$ 米，下降 $-300$ 米。 (b) 计算最终海拔。 (c) 如果营地海拔为 $0$ 米（海平面），最终海拔是多少？ (d) 从山谷底部返回营地需要爬升多少米？用整数表达式表示。

整数加法满足与自然数加法相同的性质：

• **封闭性**：$\forall a,b \in \mathbb{Z},\; a+b \in \mathbb{Z}$。
• **交换律**：$a+b = b+a$。
• **结合律**：$(a+b)+c = a+(b+c)$。
• **单调性**：若 $a \le b$，则 $a+c \le b+c$。
• **加法逆元存在**：$\forall a,\; \exists (-a)$ 使得 $a+(-a)=0$。

这些性质使 $(\mathbb{Z}, +)$ 构成一个阿贝尔群（abelian group），这是抽象代数中的基本结构。尽管初学者无需掌握此术语，但理解这些性质如何协同工作至关重要。例如，结合律允许我们不加括号地写 $a+b+c$，交换律允许灵活重排。

Multiplication: Extending the Rules

整数乘法是自然数乘法的扩展，但需处理符号。核心规则可总结为“同号得正，异号得负”，即：

• $(+) \times (+) = +$
• $(+) \times (-) = -$
• $(-) \times (+) = -$
• $(-) \times (-) = +$

最后一条最令人困惑：为什么负负得正？可通过分配律严格证明。设 $a, b \in \mathbb{N}$，考虑 $(-a) \times b$。由于 $a + (-a) = 0$，两边乘 $b$： $$ (a + (-a)) \times b = 0 \times b = 0. $$ 由分配律： $$ a \times b + (-a) \times b = 0 \implies (-a) \times b = -(a \times b). $$ 因此，负数乘正数得负数。类似地， $$ (-a) \times (-b) = - (a \times (-b)) = - ( - (a \times b) ) = a \times b. $$ 这里用了两次上述结果：$a \times (-b) = -(a \times b)$，然后 $- ( - (a \times b) ) = a \times b$。这表明负负得正不是任意规定，而是从已有公理（分配律、加法逆元）推导出的必然结论。

例1.6：计算 $(-4) \times (-6)$。 解：$(-4) \times (-6) = 4 \times 6 = 24$。

乘法性质：

• **封闭性**：$\forall a,b \in \mathbb{Z},\; a \times b \in \mathbb{Z}$。
• **交换律**：$a \times b = b \times a$。
• **结合律**：$(a \times b) \t