第二篇集合论课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《第二篇集合论课件.ppt》由用户(ziliao2023)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第二 集合论 课件
- 资源描述:
-
1、第 二 篇集 合 论北京理工大学北京理工大学 郑军郑军谢谢你的关注2019-10-13v十六世纪末十六世纪末 起源起源v十九世纪十九世纪 德国数学家德国数学家康托康托创立创立古典古典 集合论集合论v1900年前后年前后 出现各种出现各种悖论悖论v1908年年 策莫罗建立集合论的公理系统策莫罗建立集合论的公理系统v目前目前 集合论公理系统有两种形式集合论公理系统有两种形式:策莫罗策莫罗-弗兰克尔弗兰克尔-柯很形式柯很形式(ZFC)贝尔内斯贝尔内斯-诺伊曼诺伊曼-葛德尔形式(葛德尔形式(BNG)v在在计算机领域计算机领域得到广泛应用得到广泛应用 集合论溯源集合论溯源谢谢你的关注2019-10-13
2、 康托称集合是康托称集合是“一些确一些确定的、不同的东西的总体,定的、不同的东西的总体,这些东西,人们能够意识到,这些东西,人们能够意识到,并且能够判断一个给定的东并且能够判断一个给定的东西是否属于这个总体西是否属于这个总体”。谢谢你的关注2019-10-13 在一个小岛上有唯一的在一个小岛上有唯一的一位理发师。他宣称:我为一位理发师。他宣称:我为岛上所有不为自己理发的人岛上所有不为自己理发的人理发,而不给那些为自己理理发,而不给那些为自己理发的人理发。发的人理发。”。请问:理发师的头发由谁来请问:理发师的头发由谁来理呢?理呢?谢谢你的关注2019-10-13 令集合令集合S为包含所有不以为包
3、含所有不以自身为元素的那些集合,即自身为元素的那些集合,即S=x|x x 请问:请问:S S吗吗?假定假定S S,那么,那么S 应满足应满足条件条件x x,因此,因此S S。自相矛盾 假定假定S S,那么,那么S 已经满已经满足条件足条件x x,因此,因此S S。又自相矛盾谢谢你的关注2019-10-13包括九个公理包括九个公理外延公理外延公理空集公理空集公理无序对公理无序对公理正则公理正则公理替换公理替换公理方幂集公理方幂集公理集公理集公理无限公理无限公理选择公理选择公理 谢谢你的关注2019-10-13 假定假定A和和B都是集合,如果都是集合,如果任何一个事物属于任何一个事物属于 A也一定
4、也一定属于属于B,属于,属于B 也一定属于也一定属于A,那么那么A和和B是同一个集合,或是同一个集合,或称两个集合称两个集合A和和B相等。相等。外延公理外延公理谢谢你的关注2019-10-13 存在一个不包括任何元素存在一个不包括任何元素的集合。的集合。空集公理空集公理正则公理正则公理 任何一个非空集合任何一个非空集合A一定一定包含一个元素包含一个元素a,A的任何一的任何一个元素都不是个元素都不是 a 的元素。的元素。谢谢你的关注2019-10-13集合论是学习计算集合论是学习计算机科学必备的基础机科学必备的基础知识知识,计算机领域计算机领域的大多数基本概念和理论都可以采的大多数基本概念和理论
5、都可以采用集合论的有关术语来描述和论证用集合论的有关术语来描述和论证,集合论被广泛地应用于形式语言、集合论被广泛地应用于形式语言、编译理论、信息检索、数据结构、编译理论、信息检索、数据结构、算法分析、程序设计、人工智能等算法分析、程序设计、人工智能等领域领域。谢谢你的关注2019-10-1310集合与关系第 三 章谢谢你的关注2019-10-133.1 集合的概念和表示法集合的概念和表示法 集合的概念和表示法v 集合与元素集合与元素v 集合的势集合的势v 集合的表示法集合的表示法v 集合相等集合相等v 子集、全集、空集子集、全集、空集v 幂集及在计算机中的表示幂集及在计算机中的表示谢谢你的关注
6、2019-10-13具有某种性质的客体所汇成的一个整体叫。通常用大写字母大写字母 A,B,C,(或带有下标的字母 A1,B1,C1,)表示集合的名称。特殊的集合采用特殊的记号。3.1 集合的概念集合的概念集合的概念和表示法谢谢你的关注2019-10-13C实数集复数集RQ整数集+z非负整数集P有理数集z素数集常用的集合符号谢谢你的关注2019-10-13英文字母表 鲁迅狂人日记中所有 的汉字我校2004级的全体学生“伊拉克战争”美国部署在海湾地区的航空母舰的集合两条平行线的“交点”的集合谢谢你的关注2019-10-13属于给定集合的任何客体为该集合集合的的成员成员或或元素元素。通常用小写字母小
7、写字母表示。若元素a属于集合A,记作aA(亦称为A包含a;a在A 之中;a是A的成员)若元素a不属于集合A,记作 aA(或aA)(亦称为A不包含a;a不在A 之中;a不是A的成员)元素谢谢你的关注2019-10-13 j:北京 C:中国 U:联合国成员国,Cj,UC jUAeAa A=a,b,c,d 谢谢你的关注2019-10-13F集合中的元素可以是具体的(直观上可以触摸的、可观测的),也可以是抽象的(想象的);关于集合概念的说明F集合中的元素是确定的,可以明确区分不同的元素,即集合中的元素是不相同的(相同的元素看作是一个);谢谢你的关注2019-10-13F元素与集合间的属于关系是确定的.
8、对于某个元素a与某个集合A,要么aA,要么aA,二者必居其一,绝无其他情况产生;关于集合概念的说明F集合中的元素可以是集合,且是无序的;F由元素构成的集合是一个已经形成的整体,而不是正在形成的整体。谢谢你的关注2019-10-13|S|是有限的集合为有穷集合有穷集合(无限为无穷集合)。集合 S 中不同元素的数目称为 S 的基数基数或势势记为|S|或#S.谢谢你的关注2019-10-13V=a,e,i,o,u将集合的元素列举出来例3Zm=1,2,mN=0,1,2,谢谢你的关注2019-10-1322yxIyxS)(xpxS 101xIxxS所必需满足的条件。xS即513xIxxS4是中国的直辖市
9、是中国的直辖市xxS例4 p(x)表示任何谓词若p(b)为真,则bS谢谢你的关注2019-10-13,2,1,baqpaS Sbaq,baqqSq 可以是集合可以是集合集合的元素集合的元素S12abq,baap,baq2,1谢谢你的关注2019-10-13任意两个集合 A 和 B 相等相等的充要条件是 A、B 具有同样的成员具有同样的成员.记作 A=B.否则,记作 A B.)(BxAxxBA)(BxAxx)(AxBxx谢谢你的关注2019-10-13,cccbaa,.1bcaabccba,.2cbaQcbaPQP 1,00)1(.3BxxxABA,.4aa aa 谢谢你的关注2019-10-1
10、3任意两集合A、B,若 A 的每一个元素都是 B 的一个元素,则称 B 包含 A,或说 A 是 B 的子集,A 包含于 B.记作).(ABBA)(BxAxxBAu自反性自反性u传递性传递性谢谢你的关注2019-10-13如果集合 A 的每一个元素都属于B,但集合 B 中至少有一个元素不属于 A,则称 A 为 B 的真子集,记作.BA)(BABABAu传递性传递性谢谢你的关注2019-10-13,cbaba,cbacba,cbaba,edcaba,cbacba谢谢你的关注2019-10-13包含关系:例例:A=a,a与与a的关系的关系成员关系隶属关系:元素与集合之间的关系.即属于和不属于.两个集
11、合间的关系.隶属关系隶属关系:不同层次上的两个集合不同层次上的两个集合包含关系包含关系:同一层次上的两个集合同一层次上的两个集合谢谢你的关注2019-10-13集合A和集合B相等的充要条件是这两个集合互为子集。证明:设任意两个集合A和B相等,则根据定义A和B 有相同的元素,故(x)(xA xB)为真,且 (x)(xB xA)为真,即AB 且 B A反之,若AB 且 BA,假设AB,则根据定义A和B 的元素不完全相同,设有某一元素xA 但 xB,而前提条件为AB,产生矛盾;或设有某一元素xB 但 xA,与条件 BA矛盾,故两集合元素相同,A=B。谢谢你的关注2019-10-13在一个具体问题中,
12、如果所有集合均为某个集合的子集,则称该集合为全集,记为E.)()(xpxpxE谢谢你的关注2019-10-13F全集相当于论域全集相当于论域 若若A 为论域中任一集合为论域中任一集合,则则.EAF全集是有相对性的全集是有相对性的 不同的问题有不同的全集,即使不同的问题有不同的全集,即使是同一个问题也可以取不同的全集是同一个问题也可以取不同的全集.一般情况下一般情况下,全集取得小一些全集取得小一些,问题的描述和处理会简单些。问题的描述和处理会简单些。例如例如:研究平面上直线相交关系研究平面上直线相交关系谢谢你的关注2019-10-13F对于任意一个集合A,不包含任何元素的集合是空集,记为 )()
13、(xpxpx.AF空集是唯一的.谢谢你的关注2019-10-13,.,用空集可构成一些有用的集合,谢谢你的关注2019-10-13由空集和子集的定义可以看到,任何一个非空集合 A,至少有两个不同的子集 A和,即AA和 A,称A和为A的平凡子集.集合中的每个元素都能确定集合中的每个元素都能确定该集合的一个子集该集合的一个子集,即若即若 a A,则则 a A.谢谢你的关注2019-10-13给定集合 A,由集合 A 的所有子集组成的集合,称为集合 A 的幂集,记为 P(A).)(AxxAP谢谢你的关注2019-10-13,1aS,)(11SaSP则,2baS,)(2babaSP则,3cbaS,)(
14、3bacbaSP,cbacbca谢谢你的关注2019-10-13)(xxP)(P),(P,谢谢你的关注2019-10-13,3cbaS,)(3bacbaSP,cbacbca将将 S3 的子集分类的子集分类:0元子集元子集:1元子集元子集:a,b,c 2元子集元子集:a,b,a,c,b,c 3元子集元子集:a,b,cC30C31C32C33n元集、元集、m元子集元子集谢谢你的关注2019-10-13S 1,2,3,.,n将将 S 的子集分类的子集分类:0元子集元子集:1元子集元子集:1,2,.,n 2元子集元子集:1,2,1,3,.,n-1,n 3元子集元子集:1,2,3,1,2,4,.,n-2
15、,n-1,nn元子集元子集:1,2,.,n|P(S)|=+.+=Cn0Cn1Cn2Cn3CnnCn0Cn1Cn2CnnCnkk=0n谢谢你的关注2019-10-13如果有限集合 A有n个元素,则其幂集有2n 个元素。|P(S)|=+.+=Cn0Cn1Cn2CnnCnkk=0n因为(x+y)n=xk yn-k令令 x=y=1,2n=Cnk k=0n.Cnk k=0n谢谢你的关注2019-10-13 为在计算机上表示有限集合S 的幂集的元素,一般需要:给S中各元素规定某种次序,如 a1,an.用一个 n 位的二进制数表示该集合的任意子集 A.当 ai A 时,该二进制数的第 i 位为 1,否则为
16、0.谢谢你的关注2019-10-13,2baS a第一个元素,b第二个元素,00B,10Ba,01Bb 11,Bba,)(2JiBSPi1100ii iJ为二进制数,其中谢谢你的关注2019-10-13nSSP22)(,3cbaS 其中,)(3JiBSPi111000为二进制数ii iJ,nS,10 i,)(JiBSPi12,2,-=n.111000.=iiJ二进制数,nn谢谢你的关注2019-10-133.2集合的运算v 集合的交集合的交v 集合的并集合的并v 集合的补集合的补v 集合的对称差集合的对称差3.2 集合的运算集合的运算 谢谢你的关注2019-10-13)()(BxAxxBAS(
17、1)定义:共同元素若 即 A和B 没有公共元素,则称A和B不相交不相交.,BAAB文氏图E谢谢你的关注2019-10-13.ECBACBA)()(.AAAA.BA.CAEA.DABBA交换律交换律结合律结合律谢谢你的关注2019-10-13AB文氏图EBAS)()(BxAxx(1)定义:属于A或属于B谢谢你的关注2019-10-13.ECBACBA)()(.AAAA.BEEA.CAA.DABBA交换律结合律谢谢你的关注2019-10-13吸收律吸收律)()()(CABACBA分配律分配律.F)()()(CABACBAABAA)(.GABAA)(谢谢你的关注2019-10-13 试证)()()(
18、CABACBAABCABCABCABCCB BA)()(CABACA ABC)(CBA文氏图相等谢谢你的关注2019-10-138,48,28,2,1321AAA831iiA8,4,2,131iiAmimimAAAA121.iimAAAA121.例谢谢你的关注2019-10-13ABE(1)定义:属于A 不属于B BAS)()(BxAxx谢谢你的关注2019-10-13,6,5,2A7,4,2,1B BA,2,1,0A3,2,1B BA AB,6,5,0.3 AB.7,4,1谢谢你的关注2019-10-13.DBCACBA)()(.C)()()(CBCACBA)()(CBACBA.B.A)(B
19、AABA谢谢你的关注2019-10-13 对任意两个集合A,B,试证BABAA)(证明证明对于任意的x)(BAAx)(BxAxAxxx)(BAxAxxx)(BAxAxxx)(BxAxAxxxBxAxxxBAx因为 x 是任意的,所以有)()(BAxBAAxx的真值为T,BABAA)(因此谢谢你的关注2019-10-13 (1)定义:A关于全集E的补AEAS)(Axx)()(AxExxAxxAE谢谢你的关注2019-10-13 .CEAA.DAA.AAAA)(.FBABA)(BABA)(.E.BEE谢谢你的关注2019-10-13 .GEBA BA且的充分必要条件为AB若,4,3,2,1E2,1
20、A则4,3A例谢谢你的关注2019-10-13 (1)定义:或属于A或属于B)()(ABBABAS文氏图BA)()(BxAxxBAx谢谢你的关注2019-10-13 .AABBA)()(CBACBA.E.CAA.B AA)()(ABBABA.D谢谢你的关注2019-10-13 试证ABCBA ABCCB ABCCBA)(ABC)(CBA文氏图相等)()(CBACBA谢谢你的关注2019-10-13AAAAAA幂等律幂等律ABBAABBA交换律交换律A,B,C为E的任何子集,则有CBACBA)()(CBACBA)()(结合律结合律AA)(对合律对合律)()()(CABACBA分配律分配律)()(
21、)(CABACBA谢谢你的关注2019-10-13同一律同一律AEAAAAEEA零零 律律BABA)(BABA)(摩根律摩根律EAA AA否定律否定律吸收律吸收律ABAA)(ABAA)(谢谢你的关注2019-10-13CBA,为E的任何子集,则有BBABA.AABABA.B)()(DCBA)()(DBCA.C)()(DCBA)()(DBCA.D谢谢你的关注2019-10-13EBAAFABAGABAHAAI)(ABAJBAABA)(L)()()(CABACBAK)()()(CABACBA谢谢你的关注2019-10-13BA)(ABEAB)(BA)(BABABABA+3.3 包含排斥原理包含排斥
22、原理 定理:设A,B为有限集合,其元素个数分别为|A|,|B|,则谢谢你的关注2019-10-13设在20名学生中,有12人是足球队员,10人是篮球队员,兼是两队球员的人数为5名,请问既不是足球队员也不是篮球队员的学生有几人?解:设足球队员的集合为A,篮球队员的集合为B,则|A|=12,|B|=10,|AB|=5.又因为|AB|+|A B|=20,则|AB|=20-(|A|+|B|-|AB|)=20-(12+10-5)=3谢谢你的关注2019-10-13CBACBA+CBCABACBA+EABC谢谢你的关注2019-10-13nAAA.21njijiniiAAA11+nkjikjiAAA1nn
23、AAA.+.211)1(谢谢你的关注2019-10-133.4序偶与笛卡尔积v 序偶序偶v 笛卡尔乘积笛卡尔乘积v 三个定理三个定理3.4 序偶与笛卡尔积序偶与笛卡尔积 谢谢你的关注2019-10-13具有确定次序的两个元素的集合,记为.,yx,baaabbaabba,aaaaaa,例谢谢你的关注2019-10-13n 元组也可以定义为一个序偶nxxx,.,21nnxxxx,.,121nnyyyxxx,.,.,2121)(.)()(2211nnyxyxyx谢谢你的关注2019-10-13)()(,ByAxyxBA也是一集合,元素为序偶.BA 约定:BA,B或A若则谢谢你的关注2019-10-1
24、3BB AB BA AA 求解:2,1,2,1,bbaaBA,2,1,2,1bbaaAB,bbabbaaaAA2,2,1,2,2,1,1,1BB2,1,BbaA已知ABBA谢谢你的关注2019-10-13)(CBA)()(CBACBA,CBcbAacbaCBA)(,CcBAbacba,CcBbAacba不是三元组谢谢你的关注2019-10-13321321)(AAAAAA为了与 n 元组一致,我们约定:nAAA 21nnAAAA)(121,1121nnnAxAxxxx,1121nnnAxAxxxx 特别地nnAAAA 谢谢你的关注2019-10-13|BABA 则则S L包含了所有人群的分类包
25、含了所有人群的分类(8类)类)做一个市场调查,被调查的人群按照如下规则分类:性别性别S:男:男(m);女女(f)学历学历L:初中:初中(e);高中高中(h);大学大学(c);大学以上大学以上(g)即即 S=m,f,L=e,h,c,g谢谢你的关注2019-10-13 一个软件厂商为其所开发的软件提供了三个属性:开发语言:开发语言:L=c,f,j 内存:内存:M=8,16,32 操作系统:操作系统:O=u,d|CBACBA则 L M O包括了该软件的所有分类包括了该软件的所有分类(1818类)。类)。谢谢你的关注2019-10-13nnAAAA|1 2|nA A A|21nAAA YXYXP2|)
展开阅读全文