数学归纳法与集合逻辑 — 从高中数学到代数几何

1. 集合的基本概念（Set）

集合是数学最基础的"容器"——它是一堆确定的、互不相同的对象的整体。集合论是现代数学的地基，所有数学对象（数、函数、空间……）最终都建立在集合之上。

集合（Set）与元素（Element） 集合 $A$ 是满足某种性质的对象的整体。若 $x$ 是 $A$ 的成员，写作 $x \in A$；否则 $x \notin A$。 表示方法： 列举法：$A = \{1, 2, 3, 4, 5\}$ 描述法：$A = \{x \in \mathbb{R} \mid x^2 < 4\} = (-2, 2)$

子集与相等 $A \subseteq B$（$A$ 是 $B$ 的子集）：若 $x \in A \Rightarrow x \in B$。 $A = B$：若 $A \subseteq B$ 且 $B \subseteq A$。 $A \subsetneq B$（真子集）：$A \subseteq B$ 且 $A \neq B$。

基本集合运算 并集（Union）：$A \cup B = \{x \mid x \in A \text{ 或 } x \in B\}$ 交集（Intersection）：$A \cap B = \{x \mid x \in A \text{ 且 } x \in B\}$ 补集（Complement）：$A^c = \{x \in U \mid x \notin A\}$（$U$ 为全集） 差集（Difference）：$A \setminus B = \{x \mid x \in A \text{ 且 } x \notin B\}$ 笛卡尔积（Cartesian Product）：$A \times B = \{(a, b) \mid a \in A, b \in B\}$

例 1：集合运算 设 $A = \{1, 2, 3, 4, 5\}$, $B = \{3, 4, 5, 6, 7\}$： $A \cup B = \{1, 2, 3, 4, 5, 6, 7\}$ $A \cap B = \{3, 4, 5\}$ $A \setminus B = \{1, 2\}$

笛卡尔积（Cartesian Product） $A \times B$ 是所有有序对 $(a, b)$ 的集合。例如： $\{1, 2\} \times \{a, b\} = \{(1,a), (1,b), (2,a), (2,b)\}$ 直觉：坐标平面 $\mathbb{R}^2 = \mathbb{R} \times \mathbb{R}$ 就是实数集与自身的笛卡尔积！

数学证明的骨架是逻辑。理解"充分条件"和"必要条件"的区别，对读懂定理陈述至关重要。

条件关系 $P \Rightarrow Q$（$P$ 是 $Q$ 的充分条件，$Q$ 是 $P$ 的必要条件）：若 $P$ 成立则 $Q$ 一定成立 $P \Leftarrow Q$（$P$ 是 $Q$ 的必要条件）：$Q$ 成立则 $P$ 一定成立 $P \Leftrightarrow Q$（$P$ 与 $Q$ 充要）：$P$ 成立当且仅当 $Q$ 成立

例 2：充分与必要 "$x = 2$" 是 "$x^2 = 4$" 的 充分非必要 条件（因为 $x=-2$ 也满足） "$x^2 = 4$" 是 "$x = 2$" 的 必要非充分 条件 "$x > 0$ 且 $x^2 = 4$" 与 "$x = 2$" 是 充要 条件

想象一排无穷长的多米诺骨牌。要证明"每一张都会倒下"，你只需要两步：(1) 推倒第一张；(2) 证明"如果第 $k$ 张倒了，第 $k+1$ 张必然也倒"。

数学归纳法原理 要证明命题 $P(n)$ 对所有正整数 $n \geq n_0$ 成立： 基础步（Base Case）：验证 $P(n_0)$ 成立 归纳步（Inductive Step）：假设 $P(k)$ 成立（归纳假设），证明 $P(k+1)$ 也成立 则 $P(n)$ 对所有 $n \geq n_0$ 成立。

例 3：用归纳法证明 命题：对所有 $n \geq 1$，$1 + 2 + 3 + \cdots + n = \frac{n(n+1)}{2}$ 证明： 基础步：$n = 1$ 时，左边 $= 1$，右边 $= \frac{1 \cdot 2}{2} = 1$ ✓ 归纳步：假设 $P(k)$ 成立，即 $1 + 2 + \cdots + k = \frac{k(k+1)}{2}$。 则 $1 + 2 + \cdots + k + (k+1) = \frac{k(k+1)}{2} + (k+1) = \frac{(k+1)(k+2)}{2}$ 这正是 $P(k+1)$。$\square$

在后续学习中，"等价关系"会反复出现：模运算（$a \equiv b \pmod{n}$）、同构关系、同伦关系……它们的本质都是"把相似的东西视为同一个"。

等价关系（Equivalence Relation） 集合 $A$ 上的关系 $\sim$ 称为等价关系，若它满足： 自反性：$a \sim a$（每个元素与自身等价） 对称性：$a \sim b \Rightarrow b \sim a$ 传递性：$a \sim b$ 且 $b \sim c \Rightarrow a \sim c$ 等价关系将 $A$ 分成若干不相交的等价类，所有等价类的集合称为商集 $A / {\sim}$。

例 4：模3的等价关系 在整数集上定义 $a \sim b \Leftrightarrow 3 \mid (a - b)$（即 $a \equiv b \pmod{3}$）。 等价类：$[0] = \{\ldots, -3, 0, 3, 6, \ldots\}$，$[1] = \{\ldots, -2, 1, 4, 7, \ldots\}$，$[2] = \{\ldots, -1, 2, 5, 8, \ldots\}$ 商集 $\mathbb{Z}/3\mathbb{Z} = \{[0], [1], [2]\}$ — 这就是模3剩余类！

一张纸厚 $0.1$ mm，每对折一次厚度翻倍：$0.1 \times 2^n$ mm。对折 42 次就能从地球到达月球（$\approx 4.4 \times 10^8$ mm = 44万 km）！这里"每次加倍"正是归纳步的体现。

练习 1：集合运算 设 $U = \{1,2,3,4,5,6,7,8\}$, $A = \{1,3,5,7\}$, $B = \{2,3,5,8\}$。求： $A \cup B$ $A \cap B$ $(A \cup B)^c$ $A \setminus B$ 提示 (1) $\{1,2,3,5,7,8\}$; (2) $\{3,5\}$; (3) $\{4,6\}$; (4) $\{1,7\}$。

练习 2：数学归纳法 用数学归纳法证明：对所有 $n \geq 1$，$1^2 + 2^2 + \cdots + n^2 = \frac{n(n+1)(2n+1)}{6}$。 提示 基础步：$n=1$，左边=1，右边=$\frac{1 \cdot 2 \cdot 3}{6} = 1$ ✓ 归纳步：假设对 $k$ 成立，则 $\sum_{i=1}^{k+1} i^2 = \frac{k(k+1)(2k+1)}{6} + (k+1)^2 = \frac{(k+1)(k+2)(2k+3)}{6}$。

练习 3：判断逻辑关系 判断下列各对条件的关系（充分/必要/充要/无关）： $P$: "$x > 2$" 与 $Q$: "$x^2 > 4$" $P$: "四边形是正方形" 与 $Q$: "四边形是矩形" $P$: "$ab = 0$" 与 $Q$: "$a = 0$" 提示 (1) $P$ 是 $Q$ 的充分非必要条件（$x=-3$ 时 $Q$ 成立但 $P$ 不成立）；(2) $P$ 是 $Q$ 的充分非必要条件；(3) $Q$ 是 $P$ 的充分非必要条件。