已阅读5页,还剩37页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
2019/7/8,1,离散数学(Discrete Mathematics),2019/7/8,1,2019/7/8,2,2019/7/8,2,第二篇 集 合 论,集合论是从集合出发,来定义数及其运算,进而发展到整个数学。 按现代数学的观点,数学各分支的研究对象或者本身都是带有某种特定结构的集合,如群、环、拓扑空间等,或者是可以通过集合来定义的。从这个意义上说,集合论可以看做是整个现代数学的基础。它的基本概念已经渗透到数学的所有领域,如古典分析、泛函、概率、函数论等。,2019/7/8,3,2019/7/8,3,1 集合的概念和表示法 2 集合的运算 3 4序偶与笛卡尔集 5关系及其表示 6 关系的性质 7 复合关系和逆关系 8 关系的闭包运算 9 10等价关系与划分 11 相容关系与覆盖 12 偏序关系,第三章 集合与关系,2019/7/8,4,2019/7/8,4,一、基本概念 二、集合的表示方式 三、集合间的关系 四、几类特殊的集合,3.1 集合概念及其表示法,2019/7/8,5,2019/7/8,5,一、基本概念,集合 由某些特殊对象汇集在一起构成的整体。 研究对象的全体 用大写字母表示。如N:自然数集,I:整数集,Q:有理数集,R:实数集。 元素:组成集合的单个体称为集合的元素 通常用小写字母表示。例如,集合A中的某个元素a 二者关系 若个体a是集合A的元素,称a属于A,记作“aA” 否则称a不属于集合A,记作 有限集:集合中的元素个数是有限的。 无限集:集合中的元素个数是无限的。,3.1 集合概念及其表示法,2019/7/8,6,2019/7/8,6,二、集合的表示方法,列举法 将构成集合的元素列出来,元素之间用逗号隔开,并用花括号括起来。 例如:A=a,b,c,d,B=4,5,6,7,8 叙述法: P(x)表示谓词,描述元素的共同特征。 A=xP(x)表示集合 当且仅当个体a使P(a)成立时,aA,否则 。 B=xxN且4x8C=2xiZ+,即C=20,21,22,23, D=2xxZ+且x50,即D=0,2,4,6,98,100,3.1 集合概念及其表示法,集合中的元素彼此不同,且无顺序要求 集合中的元素也可以是集合,本法可能会出现悖论。著名的“理发师悖论”:“我要给所有不给自己刮脸的人刮脸,而不给给自己刮脸的人刮脸”,2019/7/8,7,2019/7/8,7,练习,2,3,5,7,11,13,17,19 -3,-1,1,3,2x|xZ+且x100 2n|nN且n10,2019/7/8,8,2019/7/8,8,例如 设 A=a, b, c, d, B=a, e, x, y, z, C=a, x 则,集合的包含 设A、B是任意两个集合,如果A的每一个元素都是B的成员,则称A是B的子集,记作 或 ,读作“A包含在B内”或“B包含A”。如果A不是B的子集,则记作 。 (判断子集的方法) 性质 对任意集合A, ; 对任意集合A, ; 对任意集合A、B、C,若 则,3.1 集合概念及其表示法,三、集合间的关系:集合的包含和相等是集合间的两个基本关系,2019/7/8,9,2019/7/8,9,例如 设A=x | xN 且 x能整除24, B=1, 2, 3, 4, 6, 8, 12, 24 则 A=B 又例如 (1)a, b, c =b, c, a (2)a, b, c, c =a, b, c (3)a, b, c a, b, c (4) ,两集合相等 设A、B是任何两个集合,若 且 ,即A、B有相同的成员,则称集合A与B相等,记作A=B。(外延性原理),3.1 集合概念及其表示法,三、集合间的关系:集合的包含和相等是集合间的两个基本关系,2019/7/8,10,真子集 设集合A、B,若 , 且AB,则称A是B的真子集,记作 ,若A不是B的真子集,则记作 若 ,则对 ,如果 则必有 ,且 使得 且,3.1 集合概念及其表示法,三、集合间的关系:集合的包含和相等是集合间的两个基本关系,例如 设A=0,1,B=0,1,2,C=0 则 但,2019/7/8,11,空集:不含任何元素的集合,称为空集,记作。 例如 A=x | xR 且 x2+8=0 = 定理1:空集是任何集合的子集即 推论:空集是唯一的。 对于每一个非空集合A,至少有两个不同的子集,A和,称为A的平凡子集。,3.1 集合概念及其表示法,四、几类特殊的集合,2019/7/8,12,全集:在一定范围内,如果所有集合均为某一集合的子集,则称该集合为全集,记作E或U 对于任一xA,因 ,则 xE,即 恒真。 全集相当于论域,即 , 为任何谓词 幂集:给定集合A,由集合A的所有子集为元素组成的集合,称为集合A的幂集,记为P (A) P (A)=x|xA 注意: xP (A) xA 例如: A=a,b的0元子集: ,1元子集: a,b, 2元子集:为a,b 所以: P (A)=,a,b,a,b,共22=4个子集。 如果有限集合A有n个元素,则幂集P (A)有2n个元素。,3.1 集合概念及其表示法,四、几类特殊的集合,判断:任何集合的幂集一定不是空集。(空集呢?),2019/7/8,13,2019/7/8,13,例1. 设 , 求A和B的幂集,解 对于集合A,它只有一个子集 ,,即,对于集合B,有,1个元素的子集: ,a,a,2个元素的子集: , ,3个元素的子集:,0个元素的子集:,因此,2019/7/8,14,2019/7/8,14,(1) (2) (3) (4),( ) ( ) ( ) ( ),( ) ( ) ( ) ( ),Y,Y,Y,Y,Y,Y,N,N,令 则,例2.设 , B是A的幂集的幂集,判断下列论断是否正确,并将“Y”或“N”填入相应论断后面的括号中。,2019/7/8,15,2019/7/8,15,答案:( ),A,B,D,答案:( ),A,B,C,练习,B. C. D.,1 试判断下列各式是否正确,并将正确的题号填入括号内。,2 设 , 试判断下列各式是否正确,并将正确的题号填入括号内。,B. C. D.,2019/7/8,16,2019/7/8,16,3.2 集合的运算,文氏图,例如,U,A,A,B,2019/7/8,17,2019/7/8,17,一、交运算,例如 设A=a,b,c,d, B=d,f,a, C=e,f,g,则,交运算性质:,定义1:设有集合A、B,属于A同时又属于B的所有元素组成的集合称为A与B的交集,记作 。即,a) A A = A (幂等律) b) A = (零律) c) A E = A (同一律) d) A B = B A (交换律) e) (A B) C = A (B C) (结合律) f),3.2 集合的运算,2019/7/8,18,2019/7/8,18,3. 2集合的运算,二、并运算,例如 设A=a,b,c, B=c,d,f, C=b,e,则,A,B,定义2 设有集合A、B,属于A或属于B的所有元素组成的集合称为A与B的并集,记作 。即,2019/7/8,19,2019/7/8,19,3. 2集合的运算,二、并运算,a) A A = A (幂等律) b) A = A (同一律) c) A E = E (零律) d) A B = B A (交换律) e) (A B) C = A (B C) (结合律) f),并运算的性质,2019/7/8,20,2019/7/8,20,3. 2集合的运算,二、并运算,1) 设A B,C D,则A C B D 2) A B,则A C B C 3)分配律 4)吸收律 5)当且仅当A B = B A B = A A B,并运算的其他性质,2019/7/8,21,2019/7/8,21,定义3 设有集合A、B,所有属于B而不属于A的元素组成的集合,称为A相对于B的补集,记作B-A。即,例如 设A=a,b,c,d, B=d,f,a, C=e,f,g,B,A,3. 2集合的运算,三、相对补运算(差),2019/7/8,22,2019/7/8,22,定义4 集合A相对于全集合U的补集称为A的绝对补集,简称为A的补集,记作 。即,3. 2集合的运算,四、绝对补运算,2019/7/8,23,2019/7/8,23,例如 设U=1,2,3,4,10, A=2,4,6,8,10,则,又例如 设U=I(I是整数集),,则,2019/7/8,24,2019/7/8,24,定义5:设有集合A、B,所有属于A而不属于B或属于B而不属于A的元素组成的集合,称为A与B的对称差,记作 。即,3. 2集合的运算,五、对称差运算,2019/7/8,25,2019/7/8,25,六、集合运算的十条定律,对于全集合U的任意子集A、B、C,有:,交换律,结合律,分配律,同一律,3. 2集合的运算,2019/7/8,26,2019/7/8,26,互补律,对合律,幂等律,零一律,吸收律,德摩根律,六、集合运算的十条定律,3. 2集合的运算,2019/7/8,27,2019/7/8,27,六、集合运算的十条定律,3. 2集合的运算,2019/7/8,28,2019/7/8,28,D 若 ,则 A=B,练习,1 设A、B、C是任意集合,判断下述论断是否正确,并将正确的题号填入括号内。,A 若 ,则 B=C,B 若 ,则 B=C,C 若A-B=A-C,则 B=C,( ),D,反例 设A= a , b , c , B= b , d , C= c , d 则 但,2019/7/8,29,2019/7/8,29,2 设U=1,2,3,4,5,A=2,4,B=4,3,5,C=2,5,3,确定下列集合的元素,将其填入相应的花括号内。,(1) ,(2) ,(3) ,(4) ,(5),2,1, 4,2, 3, 4, 5,4,2019/7/8,30,2019/7/8,30,3 设U表示刘平拥有的所有书的集合,其中A是离散数学参考书的集合,B是操作系统参考书的集合,C是今年出版的新书的集合,D是从图书馆借来的书的集合。现知道如下情形: (1)所有离散数学参考书都是今年出版的新书。( ) (2)所有操作系统参考书都是从图书馆借来的。( ) (3)今年出版的新书不是从图书馆借来的。( ) (4)没有一本操作系统的参考书是今年出版的。( ),3,1,5,7,试用集合的方法分别表示上述四种情形,可供选择的答案如下,请从下述答案中挑选出相应表达式的编号填入每一种情形后面的括号中。,2. 3. 4. 5. 6. 7.,2019/7/8,31,2019/7/8,31,逻辑演算法: 根据定义,利用逻辑等价式和逻辑推理规则 集合演算法: 利用集合恒等式和已知的集合结论,七、集合恒等式的几种证明方法,3. 2集合的运算,逻辑演算法(根据定义),题型: A=B. 证明: x, xA (?) xB A=B 证毕. 或证明: x, xA (?) xB. 则, A B 另,x, xB (?) xA.则, B A A=B证毕.,题型: A B. 证明: x, xA (?) xB A B证毕.,3. 2集合的运算,例1:分配律(证明) A(BC)=(AB)(AC) 证明: x, xA(BC) xA x(BC) (定义) xA (xB xC) (定义) (xAxB)(xAxC) (命题逻辑分配律) (xAB)(xAC) (定义) x(AB)(AC) (定义) A(BC)=(AB)(AC)成立,逻辑演算法(根据定义),3. 2集合的运算,例2:零律(证明) A = 证明: x, xA xA x (定义) xA F (定义) F (命题逻辑零律) A = 成立,逻辑演算法(根据定义),3. 2集合的运算,例3. 排中律(证明) AA = E 证明: x, xAA xA xA (定义) xA xA (定义) xA (xA) (定义) T (命题逻辑排中律) AA = E 成立,逻辑演算法(根据定义),3. 2集合的运算,2019/7/8,37,2019/7/8,37,即 且 ,,因此 ,,故 。,反之 若 ,,则 且 ,,即 且 ,,因此 。,由上证得,,例 4 证明,证明 若 则 且 ,,故 。,逻辑演算法(根据定义),集合演算法(格式),题型: A=B. 题型: AB. 证明: A 证明: A =(?) (?) =B B A=B. # AB. #,3. 2集合的运算,例1:吸收律(一式证明) A(AB)=A 证明: A(AB) = (AE)(AB) (同一律) = A(EB) (逆用分配律) = AE (零律) = A (同一律) A(AB)=A,集合演算法,3. 2集合的运算,例2:吸收律(二式证明) A(AB) = A 证明: A(AB) = (AA)(AB) (分
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 社区临终关怀与安宁疗护服务模式
- 气切康复护理:特殊环境适应与社区支持
- 成本管控视角下的医院服务流程再造
- 放疗后放射性皮炎的护理与康复
- 中耳炎氧氟沙星滴耳液案例课件
- 老年口腔健康护理与常见问题处理
- 外科围术期患者护理管理
- 甲亢术后声音嘶哑的护理与语言功能训练
- 精神障碍患者康复期护理计划制定
- 医学职业卫生主播健康防护案例教学课件
- 海上风电场的保险创新
- SONY索尼数码照相机DSC-HX200使用说明书
- 北师大版高考英语一轮复习选择性必修第2册UNIT4 HUMOUR课件
- 住宅机电施工图设计技术标准
- 动静脉瘘护理查房
- 保险行业职业生涯规划总结
- 施工现场临水临电标准化图册图文并茂
- 中国现当代文学史-13贾平凹的文学地理
- 大数据与会计专业职业生涯规划书2700字数
- 七年级上册小题狂做英语巅峰版2022电子版
- 组培基本操作技术-无菌操作(园艺植物组织培养)
评论
0/150
提交评论