- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
一.集合论的基本概念
第三章 集合论的基本概念 集合的表示法 (1)列举法 例:偶数集合 A={0,2,-2,4,-4,……} (3) 归纳定义 一个集合的归纳定义有三部分组成: 1.基础条款 指出某些事物属于集合。 (给集合以基本元素,使之非空) 2.归纳条款 指出由集合的元素构造新元素的方法。 (通常形为:如果事物x,y…z是集合的元素,那么用某种方法组合它们所形成的新事物也在集合中。) (指出为了构造集合的新元素,能够在事物上进行的运算) 3.极小性条款 指出一个事物除非能有限次应用基础和归纳条款构成,否则不是集合的成员。 (其他形式:集合A是满足基础和归纳条款的最小集合; 或者 如果T是A的子集,且T满足基础和归纳条款,则T=A。) 设要描述的集合为A: ①基本步:S0非空且S0中的任意元素均是A的元素; ②归纳步:给出一组规则,从A的元素出发,依据这些规则所得到的仍是A的元素; ③极小化:若S的任意元素均是A的元素,并且S满足①和②,则S与A含有相同的元素. 例: 偶数集合M定义:① 0?M;② 若n?M, 则n+2?M。 例:奇数集合O定义: ① 1?O; ② 若n?O, 则n+2?O。 例:能被R整除的自然数所组成的集合A,设R ? I+正整数集合: ① 0?A; ② 若n?A, 则n+R?A。 G={x?x=1∨?y(y?G∧x={y})} 集合G是用递归方法定义的,这个定义是构造性的,构造G的过程: 由1?G,有{1} ?G, 由{1}?G,有{{1}} ?G …………… 集合概念的注记 {{1,0}}与{1,0}不同。{{1,0}}表示仅以{1,0}为元素的集合,{1,0}是{{1,0}}的元素。 (3)称元素可以出现多次的集合为多重集,称某元素出现的次数为该元素的重复数。 {a,b,a,c,a,b} 集合的基数或势 1.若|A|=0,则称A是空集; 2.若|A|为自然数,则称A是有限集; 3.若|A|是无穷大,则称A是无限集。 集合相等公理 外延公理:集合A,B相等(A=B),当且仅当?x(x?A?x?B)∧?x(x?B?x?A)为真 [即仅当它们有相同的成员] (1)列举法中元素的次序无关紧要,即{x,y,z}与{z,x,y}相等。 (2)在非多重集中,元素的重复出现无关紧要,即{x,y,x},{y,x},{x,x,x,x,y}相等。 (3)集合的表示方法不唯一,即 {x?x2=1},{-1,1}相等。 集合间的包含关系子集与真子集 定义1:设A和B是集合,若?x(x?A?x?B),那么 A是B的子集,记为A?B. 全集 如果一个集合包含了所要讨论的每一个集合,则称该集合为全集,记为U或E。它可形式地表为 U={x|P(x)??P(x)} 其中P(x)为任何谓词公式。 显然,全集U即是第二章中的全总论域。于是,每个元素x都属于全集U,即命题(?x)(x?U)为真。由定义易知,对任意集合A,都有A?U。 在实际应用中,常常把某个适当大的集合看成全集U。 证:∵A?B??x(x?A?x?B) B?C??x(x?B?x?C) 空 集 没有任何元素的集合,称为空集,记为?,它可形式地表为: ?={x|P(x)??P(x)} 其中P(x)为任何谓词公式。 由定义可知,对任何集合A,有??A。这是因为任意元素x,公式x???x?A总是为真。 注意,?与{?}是不同的。{?}是以?为元素的集合,而?没有任何元素,能用?构成集合的无限序列: (1)?,{?},{{?}},··· 该序列除第一项外,每项均以前一项为元素的集合。 (2)?,{?},{?,{?}},··· 该序列除第一项外,每项均以前面各项为元素的集合。它即是冯·诺依曼在1924年使用空集?给出自然数的集合表示: 0:=?,1:={?},2:={ ?,{?}},··· 幂集 设A是一个有限集合,则 ?ρ(A)|=2|A| 证明:设?A|=n, ,因为由0,1组成的长度为n序列对应于A的一个子集, 设A={a1,a2,….an} s0:0 0 …… 0 s0=? s1:0 0 …… 1 s1={an} …… 而由0,1组成的长度为n的序列有2n个,所以A的所有子集有2n个,即?ρ(A)|=2|A|. (一)? 并交差运算 2. 基本性质 2. 基本性质 证(2) ?x?U x?A∩(B∪C)?x?A∧x?(B∪C) ?x?A∧(x?B∨x?C) ?(x?A∧x?B)∨ (x?A∧ x?C) ∧在∨上可分配 ?x?A∩B∨x?A∩C ∴A∩(B∪C)= (A∩B)∪(A∩C) 2. 基本性质
您可能关注的文档
- 2013年漳州市初中毕业暨高中阶段招生考试语文试题第一部分积累.doc
- 2013年艺术类表演专业(体育舞蹈、健美操、瑜伽、模特).doc
- 2014中国光学产业创新发展论坛暨高端研讨会.doc
- 2014亚洲盃时尚造型创意竞赛简章-研究发展处.doc
- 2014年全国质量信得过班组申报表-河北省质量协会.doc
- 2014年郑州博览会参展须知-中国康复辅助器具协会.doc
- 2014赢在校园职场精英挑战赛山西赛区赛事策划案.doc.doc
- 2016年徐汇区现代服务业重点建设项目申请表.doc
- 2016年现代教育技术考核课件制作要求.doc.doc
- 2017年全省广播电视公共服务专项补助资金安排表.doc
文档评论(0)