离散数学(第17讲)学习课件.pptVIP

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 集合的基数 有限集、无限集 可数集和不可数集 * 计算机学院 * §6.4 集合的基数、可数集和不可数集 先看几个问题： 有限集同无限集的区别是什么？两个无限集之间可不可以比较大小？ 自然数集中元素的个数同有理数集中元素的个数那一个多？ 有理数集中元素的个数同无理数集中元素的个数那一个多？ 无理数集中元素的个数同实数集中元素的个数那一个多？ 有没有最大的集合，它包含了所有的集合？ * 计算机学院 * 集合的基数 集合的基数就是集合中元素的个数,是集合容量的度 量。一般是在两个集合的元素间建立一一对应关系,其中 一个作为尺度。比如我们在计算一群人和一堆物品时， 就是将人和物品同数字1、2、3等一一对应起来，其本质 就是在两个集合的元素之间建立了一一对应关系（即双 射）。 定义6.7 设X，Y是两个集合，若在X，Y之间存在1-1对应的关系（在集合X和Y之间建立双射），则称集合X与Y是对等的或等势的，记为： X ? Y 集合X的基数一般记为card(X),如果A是有限集合,A的基数通常记为︱A︱（它是A中元素的个数）。 * 计算机学院 * 定理6.4 等势是集合族上的等价关系。 即对任意的集合A、B、C， A?A A?B ? B?A A?B、 B?C ? A?C 而等价关系决定等价类，因此，所有等势的 集合构成一个等价类。 一般地： 若X＝Y，则 X?Y。反之不然。 * 计算机学院 * 记 Nm={x|x是正整数，且x≤m} 问题：对同一个集合X，是否会出现X?Nm ， 同时又出现X?Nn， 而m≠n？ 定理6.5 如果正整数m＜ n，则不存在从Nn到Nm的单射。 定义6.8 设X，Y是两个集合，若存在从X到Y的单射，则card(X) ≤card(Y)；如果不存在从X到Y的双射，则card(X) ＜card(Y)。 下面，我们对集合按照基数进行分类。 * 计算机学院 * 自然数集合N的定义 ??N， 若n?N，则n′:＝n∪{n}?N。 也即： 0:＝?， 1:＝?∪{?}＝{?}={0}， 2:＝{?}∪{{?}}＝{?,{?}}={0,1} .... n:＝{0,1,2,3,....n-1} .... N＝{0,1,2,3,....,n,....} 二十世纪初，集合成为数学的基本概念之后，由冯?诺依曼（Von Neumann，J.）用集合的方式来定义自然数取得了成功。 * 计算机学院 * 定义6.9 如果X是空集,或者?自然数m，? X?Nm ,则称X 为有限集,否则称X为无限集。 定理6.6 自然数集N是无限集。 定理6.7 非空集合X是无限集当且仅当存在从N到X的单 射。 将自然数集N的基数记为 （读为“阿列夫0”）。 * 计算机学院 * 可数集 例6.8 下列集合都是可数集合： 定义6.10 凡是与自然数集合等势的集合，统称为可数集合或可列集合。 O+＝{x|x?N，x是奇数} E+＝{x|x?N-{0}，x是偶数} P＝{x|x?N，x是素数} 整数集合Z * 计算机学院 * 解：（1） 在O+与N之间建立1-1对应的关系 f：N→O+ 如下： f：N→O+ f（n)=2n+1 N ０ １ ２ ３ ４ ... ｎ ... ｆ ↓ ↓ ↓ ↓ ↓ ... ↓ ... O+ １ ３ ５ ７ ９ ... 2n+1 ... 所以，O+也是可数集合。 * 计算机学院 * （2） 在N与E+之间建立1-1对应的关系f：N→E+ 如下： f：N→E+ f（n)=2n+2 N ０ １ ２ ３ ４ ... ｎ ... ｆ ↓ ↓ ↓ ↓ ↓ ... ↓ ... E+ ２ ４ ６ ８ 10 ... 2n+2 ... 所以，E+也是可数集合。 * 计算机学院 * （3） 在P与N之间建立1-1对应的关系f：N→P如下： N ０ １ ２ ３ ４ ... ｆ ↓ ↓ ↓ ↓ ↓ ... P ２ ３ ５ ７ 11 ... 所以，P也是可数集合。 枚举法 * 计算机学院 * （4） 在N与Z之间建立1-1对应的关系f：N→Z如下： f：N→Z N ０ １ ２ ３ ４ ... 2n-1 2n ... ｆ ↓ ↓ ↓ ↓ ↓ ... ↓ ↓ ... Z ０ １ -1 ２ -2 ... n -n ... 所以，Z也是可数集合。 * 计算机学院 *