【离散数学】集合论 第四章 函数与集合(5) 集合的基数、可数与不可数集合

本文属于「离散数学」系列文章之一。这一系列着重于离散数学的学习和应用。由于内容随时可能发生更新变动，欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘。此外，在本系列学习文章中，为了透彻理解数学知识，本人参考了诸多博客、教程、文档、书籍等资料。以下是本文的不完全参考目录，在后续学习中还会逐渐补充：

• （国外经典教材）离散数学及其应用 第八版 Discrete Mathematics and Its Applications, Eighth Edition ，作者是 Kenneth H. Rosen ，袁崇义译，机械工业出版社
• 离散数学 第二版，武波等编著，西安电子科技大学出版社，2006年
• 离散数学 第三版，方世昌等编著，西安电子科技大学出版社，2013年
• （经典参考书及其题解）离散数学/离散数学——理论•分析•题解，左孝凌、李为鉴、刘永才编著，上海科学技术文献出版社
• 离散数学习题集：数理逻辑与集合论分册，耿素云；图论分册，耿素云；抽象代数分册， 张立昂。北京大学出版社

---

4.5 集合的基数、可数与不可数集合

4.5.1 集合的基数、等势

有限集合的大小可以用「集合中元素的个数」来度量，很容易比较。但对于无限集合来讲，集合的大小不能简单地用所包含元素的个数来描述。因此，对于无限集合大小的度量和比较，必须寻求新的途径。

无限集合有许多有趣的现象。比如，希尔伯特旅馆 Hilbert's paradox of the Grand Hotel 的故事：一家旅店拥有无穷多个客房，每个房间恰能住一位旅客，并已经客满。当日又有一位旅客投宿，店主欣然接纳，他让1号房间的客人挪到2号房间，2号房间的客人挪到3号房间，依次类推，从而腾出1号房间让新来的旅客入住，这样所有的旅客都有房间住宿。

用集合论的语言表述这一问题——即正整数集合 Z + = { 1 , 2 , 3 , …   } \Z^+ = \{ 1, 2, 3, \dots \} Z+={ 1,2,3,…}（旅馆的房间数）与自然数集合 N = { 0 , 1 , 2 , 3 , …   } \N = \{0, 1, 2, 3, \dots \} N={ 0,1,2,3,…}（旅馆入住的客人数）具有同样多的元素，可是 $\mathbb{N}$ 显然比 ${\mathbb{Z}}^{+}$ 多一个元素 $0$ 啊？这一问题困扰了数学家多年，直到19世纪70年代，康托研究无限集合的度量问题时，提出了集合基数的概念，这个问题才得以彻底解决。

定义4.5.1 度量集合 $A$ 大小的数称为集合 $A$ 的基数 cardinality 或势，记为 $|A|$ 。
定义4.5.2 若集合 $A$ 到 $B$ 能够建立一个双射函数，则称集合 $A$ 与集合 $B$ 等势 Equinumerosity 或 `，记为 $A\sim B$ 或 $|A|=|B|$ 。

【例1】证明正整数集合 ${\mathbb{Z}}^{+}$ 与自然数集合 $\mathbb{N}$ 等势。
证明：定义函数 $f:\mathbb{N}\to {\mathbb{Z}}^{+},f(x)=x+1$ 。$f$ 显然是双射的，所以 $\mathbb{N}\sim {\mathbb{Z}}^{+}$ 。

【例2】证明实数集合 $\mathbb{R}$ 与其真子集 $(0,1)$ 等势。
证明：定义函数 $f:\mathbb{R}\to (0,1),f(x)=\frac{1}{\pi }\arctan (x)+\frac{1}{2}$ 。$f$ 显然是双射的，所以 $\mathbb{R}\sim (0,1)$ 。

定理4.5.1 等势是任何集合簇上的等价关系。
证明 设有集合簇 $S$ 。
（1）任取 $A\in S$ ，构造函数 $f:A\to A,f(x)=x$ 。显然，$f$ 是双射函数，则 $A\sim A$ ，因此等势关系是自反的。
（2）任取 $A,B\in S$ ，若 $A\sim B$ ，则 $A$ 到 $B$ 能够建立一个双射函数 $f$ ，则 $f^{-1}$ 是从 $B$ 到 $A$ 的双射函数（见【离散数学】集合论 第四章 函数与集合(4) 复合函数与逆函数定义4.4.2），故有 $B\sim A$ ，因此等势关系是对称的。
（3）任取 $A,B,C\in S$ ，若 $A\sim B$ 且 $B\sim C$ ，则存在 $A$ 到 $B$ 的双射函数 $f$ 和 $B$ 到 $C$ 的双射函数 $g$ ，那么有 $g\diamond f$ 是从 $A$ 到 $C$ 的一个双射函数（见【离散数学】集合论 第四章 函数与集合(4) 复合函数与逆函数定理4.4.3），故有 $A\sim C$ ，因此等势关系是传递的。

定义4.5.3 含有有限个（包括0个）元素的集合称为有限集合 finite set 。不是有限集合的集合称为无限集合 infinite set 。

关于非空有限集合和无限集合，还可以给出另一种定义。给定 N k = { 0 , 1 , 2 , … , k − 1 }   ( k ∈ Z + ) \N_k = \{0, 1, 2, \dots, k - 1\}\ (k \in \Z^+) Nk​={ 0,1,2,…,k−1} (k∈Z+) 是含有 $k$ 个元素的有限集合，如果存在 ${\mathbb{N}}_k$ 到 $A$ 的双射函数，则称 $A$ 是有限集合，且集合 $A$ 的基数是 $k$（当然，空集 $\varnothing$ 也是有限集合，其基数为 $0$ ）；反之，设 $A$ 是非空集合，若对于任何 k ∈ Z + ,   N k = { 0 , 1 , 2 , … , k − 1 } k \in \Z^+,\ \N_k = \{ 0, 1, 2, \dots, k - 1\} k∈Z+, Nk​={ 0,1,2,…,k−1} ，均不存在 ${\mathbb{N}}_k$ 到 $A$ 的双射函数，则称集合 $A$ 是无限集合。

定理4.5.2 自然数集合 $\mathbb{N}$ 是无限集合。
证明 任取 $k\in {\mathbb{Z}}^{+}$ ，设 $f$ 是从 { 0 , 1 , 2 , … , k − 1 } \{0, 1, 2, \dots, k - 1\} { 0,1,2,…,k−1} 到 $\mathbb{N}$ 的任意函数。现在令 t = 1 + max ⁡ { f ( 0 , f ( 1 ) , f ( 2 ) , … , f ( k − 1 ) } t = 1 + \max \{ f(0, f(1), f(2), \dots, f(k - 1)\} t=1+max{ f(0,f(1),f(2),…,f(k−1)} ，显然 $t\in \mathbb{N}$ 。因为不存在 x ∈ { 0 , 1 , 2 , … , k − 1 } x \in \{0, 1, 2, \dots, k - 1\} x∈{ 0,1,2,…,k−1} 使得 $f(x)=t$ ，所以 $f$ 不可能是满射的，故 $f$ 也不可能是双射的。因为 $k$ 和 $f$ 是任意的，这说明 $k$ 不是有限集合，而是无限集合。

定理4.5.3 有限集合的任意子集是有限集合。
证明 设 $A$ 是一个有限集合，$B$ 是 $A$ 的任一子集。
（1）若 $B$ 是空集 $\varnothing$ ，$|\varnothing |=0$ ，因此 $B$ 是有限集合。
（2）若 $B$ 是非空集合，那么 $A$ 也是非空集合。因为 $A$ 是有限集合，设 $|A|=k$ ，所以存在 ${\mathbb{N}}_k$ 到 $A$ 的双射函数 $f$ ，使得 A = { f ( 0 ) , f ( 1 ) , … , f ( k − 1 ) } A = \{ f(0), f(1), \dots , f(k - 1)\} A={ f(0),f(1),…,f(k−1)} 。由于 $B\subseteq A$ ，现构造从 ${\mathbb{N}}_t$ 到 $B$ 的函数 $g$ 如下：
① 置 $i=0,t=0$ ；
② 如果 $f(i)\in B$ ，令 $g(t)=f(i)$ ；否则，转步骤④；
③ 令 $t=t+1$ ；
④ 令 i = i + 1 i = i + 1