2.2.1 最重要的实数类

自然数与数学归纳原理

自然数和归纳集的定义

形如 $1,1\oplus 1,(1\oplus 1)+1$ 等的实数分别用记号 $1,2,3$ 等表示，称为自然数 .

如果对于集合 $X\subset \mathbb{R}$ 的每个数 $x\in \mathbb{X}$ , 都有 $x\oplus 1\in X$ ，则称该集合为归纳集 .

归纳集 $X_{\alpha }$ 的任何非空交集 $X={\cap }_{\alpha \in A}{X}_{\alpha }$ 是归纳集 .

证明：

$(x\in X)\Rightarrow \forall \alpha (x\in X_{\alpha })\Rightarrow \forall \alpha ((x\oplus 1)\in X_{\alpha })\Rightarrow ((x\oplus 1)\in X)$

包含数 $1$ 的最小归纳集，即包含数 1 的一切归纳集的交集，称为自然数集 .

自然数集用 $\mathbb{N}$ 表示，其元素称为自然数 . 在某些观点下，自然数包括 0 . 但本书为了便于讨论，不把 0 包括入内，直接从 1 开始计数 .

数学归纳原理

数学归纳原理 如果 $E$ 是自然数集 $\mathbb{N}$ 的子集， $1\in E$ , 并且 $x\in E$ 时，数 $x\oplus 1\in E$ , 则 $E=\mathbb{N}$ .

自然数的和与积是自然数 .

证明：

用 $E$ 表示满足以下条件的自然数 $n$ 的集合：对于任何 $m\in \mathbb{N}$ , 都有 $(m\oplus n)\in \mathbb{N}$ . 对于任何 $m\in \mathbb{N}$ , 都有 $(m\oplus 1)\in \mathbb{N}$ . 故 $1\in E$ . 如果 $x\in E$ , 那么对于任何 $m\in \mathbb{N}$ , 都有 $(m\oplus x)\in \mathbb{N}$ ，于是对于 $(m\oplus 1)$ , 有 $(m\oplus 1)\oplus x\in \mathbb{N}$ , 即 $m\oplus (x\oplus 1)\in \mathbb{N}$ . 这说明 $x\oplus 1\in E$ . 由数学归纳原理得，$E=\mathbb{N}$ . 于是， $\forall m,n\in \mathbb{N}$ ，有 $(m\oplus n\in \mathbb{N})$ .

同理可证， $\forall m,n\in \mathbb{N}$ ，有 $(m\otimes n\in \mathbb{N})$ .

$(n\in \mathbb{N})\wedge (n\ne 1)\Rightarrow (n-1)\in \mathbb{N}$

证明：

考虑集合 $E=\{(n-1)|(n\in \mathbb{N})\wedge (n\ne 1)\}$ . 取 $n=1\oplus 1$ , 则 $(n\in \mathbb{N})\wedge (n\ne 1)$ , 于是 $n-1=1\in E$ .

设 $x\in E$ , 则 $(x\oplus 1\in \mathbb{N})\wedge (x\oplus 1\ne 1)$ , 于是 $(x\oplus 1\oplus 1\in \mathbb{N})\wedge (x\oplus 1\oplus 1\ne 1)$ , 也就是说 $x\oplus 1\in E$ .

由数学归纳原理得，$E=\mathbb{N}$ .

对于任何 $n\in \mathbb{N}$ , 集合 { x ∈ N ∣ n < x } \{x\in\mathbb{N}|n<x\} { x∈N∣n<x} 有最小元素，并且 min ⁡ { x ∈ N ∣ n < x } = n ⊕ 1 \min\{x\in\mathbb{N}|n<x\}=n\oplus1 min{ x∈N∣n<x}=n⊕1 .

证明：

考虑集合 E = { n ∈ R ∣ { x ∈ N ∣ n < x } 有最小值 ( n ⊕ 1 ) } E=\{n\in\mathbb{R}|\{x\in\mathbb{N}|n<x\}有最小值 (n\oplus 1)\} E={ n∈R∣{ x∈N∣n<x}有最小值(n⊕1)}

先证 $1\in E$ . 这就要考虑集合 M = { x ∈ N ∣ ( x = 1 ) ∨ ( 1 ⊕ 1 ≤ x ) } M=\{x\in\mathbb{N}|(x=1)\vee(1\oplus 1\le x)\} M={ x∈N∣(x=1)∨(1⊕1≤x)}

$1\in M$ . 如果 $x\in M$ , 那么要么 $x=1\Rightarrow (1\oplus 1)\le (x\oplus 1)\Rightarrow x\oplus 1\in M$ , 要么 $1\oplus 1\le x\Rightarrow 1+1\le x\oplus 1$ . 由数学归纳原理得，$M=\mathbb{N}$ .

于是