第1章 集合、映射与运算.ppt

离散数学Discrete Mathematics 邓辉文编著 清华大学出版社 2006.10 ISBN 978-7-302-13711-5 Chapter 1 Sets, Mappings and Operations 集合是现代数学的最基本概念(?). 映射又称为函数, 它是现代数学的基本概念, 可以借助于集合下定义. 运算本质上是映射, 但其研究有其特殊性. 集合、映射、运算及关系(Chapter 2)是贯穿于本书的一条主线. 1.1 集合的有关概念 1. 集合 集合(用处?)已渗透到自然科学以及社会科学的各个研究领域, 在信息的表示及处理中,可以借助于集合去实现数据的删节、插入、排序以及描述数据间的关系. 在一定范围内, 集合(set)是其具有某种特定性质的对象汇集成的一个整体, 其中的每一个对象都称为该集合的元素(element). 这里所指范围是全集U(见图1-1).(避免悖论!) 在数学中常用{ }表示整体. 若x是集合A中元素,则记x?A, 否则x?A. 1.2 映射的有关概念 1.映射的定义 映射mapping=函数function. C语言是一种函数型语言: 从main开始. Def 1.3 运算的定义及性质 运算是讨论对象之间有何联系的一种方法. 其实，我们已经接触过很多运算,如数之间的加法运算、多项式之间的乘法运算、矩阵的逆运算、向量的线性运算等.在讨论离散数据结构时也会经常遇到各种各样的运算，如在下节即将研究的集合间的运算. 虽然运算本质上是映射，但研究的侧重点不同，在运算中更注重于运算满足的一些运算性质，而根据这些性质可以对一些离散对象分门别类进行讨论. 因此，有必要先把运算的一般定义及其性质进行讨论. 1.4 集合的运算 最常见的集合运算是并、交和补. 1.并(union)运算 1.5 集合的划分与覆盖 集合的划分与覆盖是集合中的重要内容之一. 集合的划分就是集合元素间的一种分类. 在信息科学中,可以将知识库看作集合的一种划分. 因此, 研究集合的划分具有特别重要的意义. 比集合的划分更广的概念是集合的覆盖. 这些内容在下章会用到. 1. 集合的划分(partition) 1.6 集合的对等 集合的对等, 它是集合间的另一种关系. 通过集合对等以及相关内容的学习, 加深对函数概念的理解, 提高正确使用函数工具作为研究手段的能力. 1.集合对等(equivalent) Def A ~ B: 存在双射f : A ? B. 集合的补运算和集合的并交运算满足De Morgan律: 表(P21). (cf. P86 P182,与布尔代数的性质完全类似?! 因为它们是特殊的, 常见的布尔代数.) 诣筒要呐钢椭刘私策角坯蜕介幢阮拂驱辣扭业贤孵绩敬省磷速苞敖药拙掀第1章 集合、映射与运算第1章 集合、映射与运算 4. 差(subtraction)运算 例1-43 宽咨滦微蝎圈田锤丽馁抠裹滞斗烽顾穗男出彤骨献柞共汾狮胁半洽谩疽眩第1章 集合、映射与运算第1章 集合、映射与运算 Theorem 1-23(P22) Proof 例1-45(P22) 影绝劫缎纺君艳注裹仓疮尚箱炸铃香歧填墙邑帘邮眩著巴文没珍膨第狮乘第1章 集合、映射与运算第1章 集合、映射与运算 例1-46 ?. 例1-47(P22) Solution 由上例知, A – (B ? C) = ? 禽括毡柳刺带撼碎巍阐智辜旋讳陡悦呈也若嘴憋孩二驴访亦鲍帽垃胡鱼悟第1章 集合、映射与运算第1章 集合、映射与运算 5. 对称差(symmetric difference)运算 See Venn Figure below. 例1-48 歧秧较厄按袁刀殿披澎糠烬轴挝桑挚称虑盾邹庚暑访辈浊厉尔镁礼肄锑过第1章 集合、映射与运算第1章 集合、映射与运算 筏搏雍姨僻汤坦宿阻易傍祷燕涣捌谆横朴弱瓤膏垒缸疮草芯二透噪怀孜涟第1章 集合、映射与运算第1章 集合、映射与运算 Theorem(对称差运算的性质) (1)交换性: (2)单位元?: A ? ? = A. (3) A ? A = ? . (4)结合性: 关辩武术逐乔茄献守么去冬援准卫忠袜琴胶阑我站晶王不篆筏静流眼塘递第1章 集合、映射与运算第1章 集合、映射与运算 例1-49(消去律) Hint 培妊仰立勇渠捣彰摆吨禽毖缝婶胀杨君惹喜诲绢棠者意毒隘战芋嫂剑涸橙第1章 集合、映射与运算第1章 集合、映射与运算 例1-50 A ? B = ? ? A = B. Proof (?)显然. (?) A ? B = ? ? A – B = ?且B – A =