映射和基数可以说是集合论中最基础的部分,在我看来,映射描述的是两个集合之间的关系而基数描述的是一个集合本身的性质,也就是一个集合元素的多少。如果一个集合是有限集那么很容易用一个特定的自然数来说明集合的元素的多少,但是如果一个集合的元素是无穷多个呢,如何来描述无穷多就成了本文的要点。下面简要说明本文的内容:
- 映射
- Cantor-Bernstein定理
- 集合的势
- 可数集
- 不可数集
- 基数及其比较
- 重要的例题
这里说明一下为什么不再复习数分中的内容了,其实是在数分中介绍的这部分内容不够全面和仔细并且与实变的内容有一定程度上的重叠,为了内容的完整性和完备性还是以实变的内容为主。
映射
定义2.1(映射)则称这个对应为映射(变换或者函数)可以记为
关于一个映射我们可以定义该映射下的像集


下面是像集的一些简单性质

同样的我们也可以定义下面的原像集


下面是原像集的一些性质

定义2.2(满射、单射和一一映射)
对于如果
1.则称
为满射
2.则称
为单射
3.如果既是满射也是单射那么称其为一一映射
下面介绍复合映射的概念
定义2.3(复合映射)则由
定义的
称为
的复合映射
下面介绍特征函数,这个函数非常重要学过概率论和数理统计的同学应该知道经验分布函数依概率收敛于总体分布函数。而经验分布函数就是后面提及的简单函数的一个变种,同时简单函数完全是由特征函数的和组成,所以研究好特征函数的性质至关重要。

下面是特征函数的性质
除此之外还有一个跟上下极限、上下限集相关的结论:

定理2.1(单调映射的不动点)非空,且
若对任意
有
则存在
使得
- 作集合
- 只用证明
即可
定义2.3(分离集)
存在之间的映射
,
为分离集则
下面介绍两个个引理,由这个引理可以导出后面重要的C-B定理
引理2.1中的分离集为
,
为
中的最大元
引理2.2(集合在映射下的分解)
如果有则存在分解
其中
根据上面两个引理可以轻松推出Cantor-Bernstein定理
定理2.2(Cantor-Bernstein定理)
若集合的某个真子集对等,
的某个真子集对等,则
- 由定理2.2可以知道
且
- 则构造双射
即可得证
集合的势
定义2.4
设是两个集合,如果
则我们说这两个集合等势
基数的概念是有限个元素个数的一个推广,它反映出一切对等集所仅有的共性(数量属性)
自然数集

我们记自然数集



下面有几个性质
- 任意无限集合
必包含一个可数集
为可数集,则
为可数集
为可数集,则
为可数集
性质1和性质3的构造借助了图论的思想(对角线方法),有兴趣的读者可以参考下面的链接
http://en.wikipedia.org/wiki/Cardinal_numberen.wikipedia.org下面的几个例子是对上述的性质的一个简单应用
例2.1

例2.2

- 以单增函数
的不连续点
为例
- 每个不连续点
对应一个区间
同时运用例2.1即可得出结论
例2.3
设



- 令
作
- 因为
是可数集,则存在
中点
满足
- 即
得证

由一一映射





定理2.3
区间不是可数集
这个定理在这里也不详细证明了,提供两种思路:
- 利用反证法+对角线方法证明
- 证明
的基数和
的幂集的基数相等
我们称



同样的我们有下面的一些性质
的基数为连续基数,则
的基数为连续基数
的基数为连续基数,则
的基数为连续基数
结合上面的一些性质我们可以得到下面这个更加普遍的结论
对于


下面引出一个关于闭区间上连续函数的例题
例2.4
区间



- 常函数是连续函数则
和
的一个子集对等,则
- 通过构造单射
且
,则
- 综上所述
最后我们介绍无最大基数定理
定理2.4(无最大基数定理)
若为非空集合,则
与其幂集
不对等
- 利用反证法,构造
到
上的一一映射
- 作集合
- 若
则
- 若
则
- 矛盾,即得证
- 若
这个证明非常的巧妙,充分利用了幂集的特点,是一个非常经典的反证法的应用。
最后再提一嘴连续统假设
我们从上面集合基数的讨论中可以发现



