第1讲 集合论.pptVIP

* 计算机中常用的定义方式，比如定义变量标识符。 * 不研究多重集合。 * 仔细观察包含关系的示意图，可以看到包含关系有两种情况： * * 为什么要包含0？计数的需要，可表达生活中没有某种物品。古代计数 * Ψ：sai 等势：一个萝卜对一个坑 * 1.3.1 可数集合与不可数集合 引入：自然数集合 二十世纪初，集合成为数学的基本概念之后，由冯?诺依曼（Von Neumann，J.）用集合的方式来定义自然数取得了成功，提出了用序列Φ，{Φ}，{Φ,{Φ}}，{Φ,{Φ},{Φ,{Φ}}}，······来定义自然数。 * 自然数集合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,...} * 等势的概念 定义1.3.1 设A，B是两个集合，若在A，B之间存在1-1对应的关系： ψ：A→B 则称A与B是等势的(equipotential)，记为：A?B。 也称集合A与B等势(equipotent)。 注意：若A＝B，则 A?B。 若A?B，则 A＝B （×） （∨） * 可数集合(可列集） 定义1.3.2 凡是与自然数集合等势的集合，统称为可数集合(可列集)(Countable Set )。 记为：?0 (读作阿列夫零) 。 例1.3.1 下列集合都是可数集合： 1)O+＝{x|x?N，x是奇数}; 2)P＝{x|x?N，x是素数}; 3)有理数集合Q. * 解：1） 在O+与N之间建立1-1对应的关系 f：N→O+ 如下： N ０ １ ２ ３ ４ ... ｎ ... ｆ ↓ ↓ ↓ ↓ ↓ ... ↓ ... O+ １ ３ ５ ７ ９ ... 2n+1 ... 所以，O+是可数集合。 * 2） 在P与N之间建立1-1对应的关系 f：N→P如下： N ０ １ ２ ３ ４ ... ｆ ↓ ↓ ↓ ↓ ↓ ... P ２ ３ ５ ７ 11 ... 所以，P是可数集合。 * 5） …-3/1[18] -2/1[5] -1/1[4] 0/1[0] 1/1[1] 2/1[10] -3/1[11]… …-3/2[17] -2/2 -1/2[3] 0/2 1/2[2] 2/2 3/2[12]… … -3/3 -2/3[6] -1/3[7] 0/3 1/3[8] 2/3[9] 3/3… -3/4[16] -2/4 -1/4[15] 0/4 1/4[14] 2/4 3/4[13]… 所以，有理数集合必是可数集合。 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? → ? ? ? ? ? ? ? ? ? ? ? ? * 定理1.3.1 两个有限集合等势当且仅当它们有相同的元素个数； 有限集合不和其任何真子集等势； 可数集合可以和其可数的真子集等势。 * 不可数集合 定义1.3.3 开区间(0,1)称为不可数集合，其基数设为?(读作阿列夫)； 凡是与开区间(0,1)等势的集合都是不可数集合。 例1.3.2 (1)闭区间[0,1] 是不可数集合； (2)实数集合R是不可数集合。 * 例1.3.2 解 （1）在闭区间[0, 1]和开区间(0, 1)之间建立如下对应关系： 则上述对应是一一对应的关系。 所以[0，1]与（0，1）一定是等势的，即[0，1]是不可数集合。 * 例1.3.2 解（续） （2）在实数集Ｒ和开区间(0,1)之间建立如下对应关系： 显然此对应关系是一一对应关系，即（0，1）与R之间是等势的，所以R是一个不可数集合。 * 1.5 本章总结 1、与集合相关的概念和特殊集合：集合的定义、集合的表示、属于和不属于、子集、真子集、包含和真包含、幂集、空集、全集、基数、有限集、无限集等； 2、与集合运算相关的概念和定理：集合的交、并、差、补和对称差等五种运算的定义及相关定理。 * 习题类型 （1）基本概念题：涉及集合的表示； （2）判断题：涉及元素与集合、集合与集合间的关系； （3）计算题：涉及集合的运算和幂集的计算； （4）证明题：涉及集合相等以及集合间包含关系的证明。 * 习题 第19-22页 7. 13. 16. 23. * 自考真题练习(2012.7) * 自考真题练习(2012.4) * 自考真题练习(2011.7) * 自考真题练