前言

第一讲：集合论基础

集合论在数学中占有一个独特的地位，它的基本概念已渗透到数学的所有领域，是基础的基础。

在离散数学中，需要使用集合来表达各类离散量以及离散量之间的关系，所以首先学习集合论是重中之重。

本文可数集合与不可数集合是集合论基础的第五部分。

1. 引子

有限$\to$无限，量变$\to$质变

有限
$$\begin{gathered} 1.01^{365}=37.783437 \\ 0.99^{365}=0.025518 \end{gathered}$$
量变

无限
$$\begin{gathered} \underset{n\to \infty }{\lim }1.01^n=\infty \\ \underset{n\to \infty }{\lim }0.99^n=0 \end{gathered}$$
质变

2. 自然数集的定义

定义1（皮亚诺公理）

1891年，意大利数学家皮亚诺公开发表了基于序数的自然数定义公理。这组公理包括：

1. $0$是自然数；
2. 每个自然数$n$都有一个后继，这个后继也是一个自然数，记为$S\left(n\right)$；
3. 两个自然数相等当且仅当它们有相同的后继，即$m=n$当且仅当$S\left(m\right)=S\left(n\right)$；
4. 没有任何自然数的后继是0；
5. （归纳公理）若$\phi$是关于一个自然数的预测，如果①$\phi \left(0\right)$为真；②当$\phi \left(n\right)$为真，则有$\phi \left(S\left(n\right)\right)$为真；则$\phi \left(n\right)$对任意自然数$n$都成立。 - 数学归纳法

定义2（冯·诺依曼的自然数定义）

20世纪初，集合称为数学的基本概念之后，数学奇才，计算机之父冯·诺依曼基于基数，利用一个集合的序列来定义自然数：

1. $\varnothing \in N$
2. 若$n\in N$，则 n ′ ≡ n ∪ { n } ∈ N n'equiv ncup left{ n right} in N n′≡n∪{n}∈N。
   $n$属于自然数，$n^{\prime }$定义为 n ∪ { n } ncup left{ n right} n∪{n}属于自然数。

空集属于自然数，空集’定义为空集并上以空集作为元素的集合属于自然数。

• $\varnothing \cup A=A$

从而，这个集合序列的基数就可以来定义自然数：

• $0\equiv \left|\varnothing \right|$；
• 1 ≡ ∣ ∅ ∪ { ∅ } ∣ = ∣ { ∅ } ∣ 1equiv left| varnothing cup left{ varnothing right} right|=left| left{ varnothing right} right| 1≡∣∅∪{∅}∣=∣{∅}∣；（一个元素）
• 2 ≡ ∣ { ∅ } ∪ { { ∅ } } ∣ = ∣ { ∅ , { ∅ } } ∣ 2equiv left| left{ varnothing right} cup left{ left{ varnothing right} right} right|=left| left{ varnothing ,left{ varnothing right} right} right| 2≡∣{∅}∪{{∅}}∣=∣{∅,{∅}}∣；（两个元素）
• $...$

3. 如何比较集合的大小？

例子

比较下列的集合对，哪一个的元素个数更多？

1. 集合 { 1 , 2 , 3 } left{ 1,2,3 right} {1,2,3}与集合 { a , b , c , d , ⋯   , x , y , z } left{ a,b,c,d,cdots ,x,y,z right} {a,b,c,d,⋯,x,y,z}
   第一个集合有3个元素，第二个集合有26个元素，第二个集合更大。
2. 自然数集合 N = { 0 , 1 , 2 , ⋯   } N=left{ 0,1,2,cdots right} N={0,1,2,⋯}与奇数集合 { 1 , 3 , 5 , 7 , ⋯   } left{ 1,3,5,7,cdots right} {1,3,5,7,⋯}

对于两个有限集合而言，比较二者大小只需要看集合的基数，但对于无限集合却没有这么简单。如何比较无限集合的“大小”呢？这里需要采用一种通过判断两个无限集合之间是否存在一种一一对应的关系来解决这个问题。

等势

定义

设$A,B$为两个集合，若在$A,B$之间存在一种一一对应的关系：
$$\Psi :A\to B$$
则称 $A$与$B$是等势的（equipotential），记作：
$$A\sim B$$

由等势定义可以看出，如果$A=B$，那么$A\sim B$，反之不成立。

4. 可数集合

定义

凡与自然数集合$N$等势的集合，称为可数集合（countable set），该集合的基数记为${\aleph }_0$（读作阿列夫零）

例子

试证明下列集合都是可数集合.
(1) O + = { x ∣ x ∈ N , x 是正奇数 } O^+=left{ xleft| xin N, xtext{是正奇数} right. right} O+={x∣x∈N,x是正奇数}；
(2) P = { x ∣ x ∈ N , x 是素数 } P=left{ xleft| xin N, xtext{是素数} right. right} P={x∣x∈N,x是素数};
(3) 有理数集合$Q$；

正奇数集合$O^{+}$与素数集合$P$

证明：

在$O^{+}$与$N$之间建立一个一一对应关系${\phi }_1:N\to O^{+}$如下：$$\begin{array}{ccccccc}0& 1& 2& 3& \cdots & n& \cdots \\ \downarrow & \downarrow & \downarrow & \downarrow & & \downarrow & \\ 1& 3& 5& 7& \cdots & 2n+1& \cdots \end{array}$$
所以$O^{+}$是可数集合。

在$P$与$N$之间建立一个一一对应关系${\phi }_2:N\to P$如下：$$\begin{array}{ccccccccc}0& 1& 2& 3& 4& 5& 6& 7& \cdots \\ \downarrow & \downarrow & \downarrow & \downarrow & \downarrow & \downarrow & \downarrow & \downarrow & \\ 2& 3& 5& 7& 11& 13& 17& 19& \cdots \end{array}$$

所以$P$是可数集合。

正奇数集合、正偶数集合和素数集合都是自然数集合的真子集，通过证明它们都是可数集合，它们的基数都是${\aleph }_0$。

有理数集合$Q$

证明：

在$Q$与$N$之间建立一个一一对应关系${\phi }_3:N\to Q$如下图所示。注意，所有有理数以分数$p/q$的形式表示，其上标表示对应的自然数。

$$\begin{array}{ccccccccccccccccc}\cdots & \leftarrow & -3/1^{\left[18\right]}& & -2/1^{\left[5\right]}& \leftarrow & -1/1^{\left[4\right]}& & 0/1^{\left[0\right]}& \to & 1/1^{\left[1\right]}& & 2/1^{\left[10\right]}& \to & 3/1^{\left[11\right]}& \to & \cdots \\ \cdots & & \uparrow & & \downarrow & & \uparrow & & & & \downarrow & & \uparrow & & \downarrow & & \cdots \\ \cdots & & -3/2^{\left[17\right]}& & -2/2& & -1/2^{\left[3\right]}& \leftarrow & 0/2& \leftarrow & 1/2^{\left[2\right]}& & 2/2& \to & 3/2^{\left[12\right]}& & \cdots \\ \cdots & & \uparrow & & \downarrow & & & & & & & & \uparrow & & \downarrow & & \cdots \\ \cdots & & -3/3& & -2/3^{\left[6\right]}& \to & -1/3^{\left[7\right]}& \to & 0/3& \to & 1/3^{\left[8\right]}& \to & 2/3^{\left[9\right]}& & 3/3& & \cdots \\ \cdots & & \uparrow & & & & & & & & & & & & \downarrow & & \cdots \\ \cdots & & -3/4^{\left[16\right]}& \leftarrow & -2/4& \leftarrow & -1/4^{\left[15\right]}& \leftarrow & 0/4& \leftarrow & 1/4^{\left[4\right]}& \leftarrow & 2/4& \leftarrow & 3/4^{\left[13\right]}& & \cdots \end{array}$$

所以$Q$是可数集合。

第一列是分母为1的分数；
第二列是分母为2的分数；
第一列是分母为3的分数；
第二列是分母为4的分数；
……
0/1=0对应有理数中的0
按照箭头一一对应。
1/1对应1，1/2对应2，0/2=0跳过，
-1/2对应3，-1/1对应4，-2/1对应5，-2/2=-1跳过，
-2/3对应6……
螺旋往复地一一对应。

从有限到无限，不仅仅是简单数量上的变化（量变），而引起了本质的改变（质变）。

• 两个无限集合的“大小”已经不能单纯使用集合中的元素个数来衡量。${\aleph }_0$表示一切可数集合的基数，是一种抽象的表达。
• 表面上个数完全不相等的两个集合之间扔可能存在等势关系，如集合与其真子集之间，这体现了有限集合和无限集合的根本差别。

5. 不可数集合

定义

开区间$(0,1)$称为不可数集合，凡与开区间$(0,1)$等势的集合，称为不可数集合，该类集合的基数记为$\aleph$（读作阿列夫）

例子

• 闭区间$\left[0,1\right]$是不可数集合；
  $$\{\begin{array}{cccc}\frac{1}{4}& \to & 0& \\ \frac{1}{2}& \to & 1& \\ \frac{1}{2^n}& \to & \frac{1}{2^{n-2}}& \left(n=3,4,5\cdots \right)\\ n& \to & n& \left(othersn\in \left(0,1\right)\right)\end{array}$$
• 实数集合$R$是不可数集合. $$n\to \tan \pi \left(\frac{2n-1}{2}\right)$$

总结

本文介绍了集合论基础中的可数集合与不可数集合部分，对集合有更多的了解。

最后

以上就是秀丽火龙果为你收集整理的[离散数学]集合论基础P_5：可数集合与不可数集合前言1. 引子2. 自然数集的定义3. 如何比较集合的大小？4. 可数集合5. 不可数集合总结的全部内容，希望文章能够帮你解决[离散数学]集合论基础P_5：可数集合与不可数集合前言1. 引子2. 自然数集的定义3. 如何比较集合的大小？4. 可数集合5. 不可数集合总结所遇到的程序开发问题。

如果觉得靠谱客网站的内容还不错，欢迎将靠谱客网站推荐给程序员好友。