说明
我们这一节介绍不可数集的概念,并给出一些具体例子,此外我们将证明 Schroeder-Bernstein 定理。
不可数集
如果集合 是一个无穷集,且它不是可数集,则称 是一个不可数集。
这代表不可数集是比可数集“大”很多的存在,存不存在这样的集合呢?
我们知道对于有限集来说,若 ,那么 ,其中 是 的幂集,它是 的所有子集构成的一个集合(我们也把集合的集合叫做集族)。也就是说有限集的幂集永远比它本身“大”,这能否推广到无穷集上呢?
我们考虑正整数集的幂集 (为了方便以后我正整数集和自然数集都用 ,大家根据具体情况确定)
假设它是可数集,那么我们可以把 中的元素排乘一排
我们还是把这些 的元素都列出来
其中 都是正整数数,每一行都从大到小排列,我们可以这么记
其中 等于 1 或者 0,分别表示正整数 在或不在集合 中。(这个记法是高中时候,老师证明上面那个幂集元素个数是 用的。)
我们说了,可数集就是能把集合里的元素排成一排,那么不可数集就是不管怎么排,都排不完,也就是有遗漏,现在我们要做的就是找到一个遗漏的 它不在这些 中。
我们看一个情况:
我们刚刚说了这表示 这其实也是构建了一个双射,把 映射成了一串只有 0 和 1的序列(无限长),我们只要构造一串 0 和 1 的序列,让它和这些 都有不同就行了,我们可以让
其中 和 取不同的数,如果 ,那么 ,反则反之。这样这一串序列自然和矩阵(1)对角线上的元素完全相反,也意味着它和所有的 在第 位上都是不同的。
不管我们怎么排列 成一些 ,我们都能用上面的方法构造出一个不在这个排列中的集合 ,这就说明了 是不可列集(不可数集)。
这个方法貌似是 Cantor 提出来的,我们管它叫对角线方法。
熟悉二进制的同学会发现,这个证明告诉了我们实数是不可数的,大家可以自己思考一下。
实数和复数
实数
我们证明实数是不可数集。
我们知道有理数是在实数中稠密的,但是有理数集是可数的,这让我们思考实数比有理数多了哪些结构,我们会考虑实数的确界原理以及和它等价的几个定理。
设 是一个闭区间序列,且任意 ,则这些闭区间的交集
如果实数是可数的,我们可以把所有实数排成一排: ,我们一定可以这样选取一个非空闭区间序列: 。这时候我们对任一实数 有
所以这个交集应该是空集,这显然和闭区间套定理矛盾了。
因此实数是不可数的,那么复数呢?
不可数集合的幂集
我们首先有一个问题。
所有可数集,我们知道是等势的。那么任意两个不可数集之间是否存在双射呢?
我们刚刚用正整数集的幂集构造了一个比自己“大”的集合,不可数集的幂集是否也比自己大?如果是这样那我们就知道没有基数最大的集合。
设 是任意一个不可数集合, 是它的幂集,如果 是一个双射,我们就有
我们回忆一下之前的对角线方法:我们先假设存在一个双射 ,于是就有
然后我们构造了一个这样的自然数的子集 :如果 ,就让 ; 如果 ,就让 。
这个方法当然可以构造一个 的子集 :对任意 ,如果 ,就让 ; 如果 ,就让 。显然这和所有的 都不同,因此不存在从 到 的双射(更准确地,不存在满射)。
所以并不是所有不可数集都是等势的,现在我们知道实数集 是不可数的,那么实数集作为复数集 的子集, 肯定是不可数的,但是它们两个等势吗?
复数
我们知道复数集可以看出实数集和实数集的笛卡尔积
可以构造这样的映射 :对于任意的 ,写成无穷小数
令 ,其中
这就构成了一个 到 的映射。
但是检查之后我们发现有一些问题,首先是对于有限位小数,比如 0.1,存在两种无穷小数表示
所以不管我们规定这种小数选择哪种表示, 不可能同时取到
不过好消息是这只存在于有限位小数,所以我们可以规定有限位小数只取第一种表达(后面全是 0 ),这样我们就只遗漏了可数个复数也就是说 是一个可数集。
我们知道如果 是一个不可数集, 是它的一个可数子集, 那么 和 还是等势的。所以 和 是等势的,所以我们可以建立 到 的满射。
还记得我们之前说过吗?如果 到 有单射, 到 有单射,那么 到 有双射。这也是我们待会儿要证明的定理。
综上我们可以证明 和 等势,这就可以说明 和 是等势的。(怎么说明?)
Schroeder-Bernstein 定理
设 是非空集合,如果 到 存在单射, 到 存在单射,那么 到 存在双射。
设 与 都是单射,我们希望利用它们构造一个从 到 的双射 。我们知道单射在任意子集上的限制还是单射,所以我们希望把 分成两个恰当的区域
使得我们可以定义映射
是一个双射。
我们看一下这要求我们如何划分 :(i) 首先要使 在 上有意义,所以我们要求 , 记 ,就是说 。
(ii) 又需要 是单射,所以要求对任意的 ,有 ,这等价于说 。我们不妨记 ,这其实是说 ,就是 ;
(iii) 还需要 是满射,所以 ,等价于 ,根据 (i) 我们知道这就是说 ,就是 。
我们考虑 的子集族 ,这是非空的因为 。
不难证明如下几个命题:
(1) ;
(2) ;
(3) 令 ,则 。
可见 就是我们要找的 。