离散数学第三章集合.ppt
《离散数学第三章集合.ppt》由会员分享,可在线阅读,更多相关《离散数学第三章集合.ppt(50页珍藏版)》请在三一办公上搜索。
1、2023/9/14,1,第三章 集 合,3.1 集合论基础3.2 集合运算及其性质,2023/9/14,2,例 在一个住着一些人家的僻静孤岛上,岛上只有一个理发师a,a给且只给岛上所有不能自己理发的人理发。问谁给a理发?解:设 S=x|x 是不能自己理发的人。(1)若aS,则a给自己a理发。又由题意知,a只给不能自己理发的人理发,所以a是不能自己理发的人,即aS,矛盾。(2)若aS,则a是不能自己理发的人。又由题意知,a只给集合S中的人理发,所以a要给a理发,即aS,矛盾。无论如何,都有aS和aS同时成立。这是著名的罗素悖论paradox。,2023/9/14,3,集合的特性,集合论依赖于三大
2、基本原理,它们从根本上规定了集合概念的意义。集合的元素一旦给定,这一集合便完全确定,这一事实被形式地叙述为外延性公理。,2023/9/14,4,1.外延(extension)公理-两个集合A和B相等的充分必要条件是它们有相同的元素。外延公理刻划了集合的下列特性:A.互异性:一个集合的各元素是可以互相区分开的,即每一元素只出现一次。B.无序性:集合中元素排列次序无关紧要,即集合表示形式的不唯一性。,2023/9/14,5,2.概括(comprehension)公理-构成一个集合应符合两个要求:I.纯粹性:凡该集合中的元素都具有某种性质II.完备性:凡具有某种性质的元素都在该集合中概括公理规定了集
3、合描述法的理论依据和集合元素的确定性。,2023/9/14,6,C.确定性:任一事物是否属于一个集合,回答是确定的。对于界限不分明的情况,在经典集合论中绝对不容许存在。不确定的事物构成的集合属于模糊(fuzzy)集合的研究范畴。例:“好书”的全体不构成集合,因为难以对每一本书的好坏作出确定的判断。,2023/9/14,7,3.正则(regularity)公理:不存在集合A,B,C,使得 CBA。(即任何一个非空集合都有一个极小元)正则公理的一个自然推论是:对任何集合S,S S(否则有SSS),从而规定了集合S与 S的不同层次性。,2023/9/14,8,集合与其成员是两个截然不同的概念,集合的
4、元素可以是任何具体或抽象事物,包括别的集合,但不能是本集合自身。因为一个集合是由它的成员构成的,是先有成员后才形成集合,所以一个正在形成中的集合便不能作为一个实体充当本集合的成员。否则在概念上将产生循环,从而导致悖论。正则公理也消除了悖论。,2023/9/14,9,3.1 集合论基础,1.集合与元素 所谓集合,是指某些可辨别的不同对象的全体,将用大写字母A,B,X,Y,表示之。组成集合的对象称为集合的元素或成员,将用小写字母a,b,x,y,表示之。a是A的元素或a属于A,记作aA;a不属于A或a不是A的元素,记作aA,或者(aA)。,2023/9/14,10,集合的元素一旦给定,这一集合便完全
5、确立。这一事实被形式地叙述为外延公理。外延公理:两集合A和B相等,当且仅当它们有相同的元素。若A与B相等,记为A=B;否则,记为AB。,2023/9/14,11,外延公理可形式表为:A=B(x)(xAxB)或者A=B(x)(xAxB)(x)(xBxA)顺便指出,在应用外延公理证明集合A与B相等时,只需考察:对于任意元素x,应有下式xAxB成立即可。这就是说,证明两集合相等时可按此法行事。,2023/9/14,12,表示一个特定集合,基本上有两种方法:一是枚举法,在可能时列出它的元素,元素之间用逗号分开,再用花括号括起。如A=a,e,i,o,u表明集合A是由字母a,e,I,o和u为元素构成的。,
6、2023/9/14,13,二是谓词法,用谓词公式来确定集合。即个体域中能使谓词公式为真的那些元素,确定了一个集合,因为这些元素都具有某种特殊性质。若P(x)含有一个自由变元的谓词公式,则x|P(x)定义了集合S,并可表为S=x|P(x)由此可见,P(c)为真当且仅当cS。从而有xSxP(x),2023/9/14,14,例如,A=a,e,i,o,u 可表为A=x|x是英文字母表中元音字母,2023/9/14,15,应该指出的是:集合的元素可以是具体事物,可以是抽象概念,也可以是集体,不是集合的元素称为本元。如,一本书,一支笔,集合1,2,3可以组成集合B=一本书,一支笔,1,2,3。特别地,以集
7、合为元素的集合称为集合族或集合类,如A=1,2,3,8,9,6。,2023/9/14,16,2.子集、全集与空集 子集是描述一个集合与另一个集合之间的关系,其定义如下。定义 设A和B是任意两个集合,如果集合A的每个元素,都是集合B中的一个元素,则称A是B的子集,或称A被包含于B中,或者说B包含A,并记为AB。,2023/9/14,17,子集定义也可表成AB(x)(xAxB)这表明,要证明AB,只需对任意元素x,有下式xAxB成立即可。此外,若集合B不包含集合A,记为AB。,/,2023/9/14,18,定义 设A和B是两个集合,若AB且AB,则称A是B的真子集,记为AB,也称B真包含A。该定义
8、也可表为AB(ABAB),2023/9/14,19,定义 如果一个集合包含了所要讨论的每一个集合,则称该集合为全集,记为U或E。它可形式地表为U=x|P(x)P(x)其中P(x)为任何谓词公式。,2023/9/14,20,显然,全集U即是第二章中的全总论域。于是,每个元素x都属于全集U,即命题(x)(xU)为真。由定义易知,对任意集合A,都有AU。在实际应用中,常常把某个适当大的集合看成全集U。,2023/9/14,21,定义 没有任何元素的集合,称为空集,记为,它可形式地表为:=x|P(x)P(x)其中P(x)为任何谓词公式。由定义可知,对任何集合A,有A。,2023/9/14,22,注意,
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 第三 集合

链接地址:https://www.31ppt.com/p-6010487.html