离散数学第03章_集合教材教学课件.pptVIP

  1. 1、本文档共51页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
毕业论文毕业设计开题报告论文报告设计报告可行性研究报告

第三章 集 合;3.1 集合论基础;集合的元素一旦给定,这一集合便完全确立。这一事实被形式地叙述为外延公理。 外延公理:两集合A和B相等,当且仅当它们有相同的元素。 若A与B相等,记为A=B;否则,记为A?B。;外延公理可形式表为: A=B?(?x)(x?A?x?B) 或者 A=B?(?x)(x?A?x?B)?(?x)(x?B?x?B) 顺便指出,在应用外延公理证明集合A与B相等时,只需考察: 对于任意元素x,应有下式 x?B?x?B 成立即可。这就是说,证明两集合相等时可按此法行事。 ;表示一个特定集合,基本上有两种方法: 一是枚举法,在可能时列出它的元素,元素之间用逗号分开,再用花括号括起。如 A={a,e,i,o,u} (1) 表明集合A是由字母a, e, I ,o和u为元素构成的。 ;二是谓词法,用谓词公式来确定集合。即个体域中能使谓词公式为真的那些元素,确定了一个集合,因为这些元素都具有某种特殊性质。若P(x)含有一个自由变元的谓词公式,则{x|P(x)}定义了集合S,并可表为 S={x|P(x)} 由此可见,P(c)为真当且仅当c?S。从而有 x?S?x?P(x) ;例如,(1)可表为 A={x|x是英文字母表中元音字母} 在用性质来描述集合时,可表述为概括原理或子集合公理。 子集公理: 对于任给集合A和性质P,存在集合B,使得B中元素恰为A中满足P的那些元素。 ;子集公理可形式地表为 (?B)(?x)(x?B?x?A??(x)) 其中?(x)为不含B自由出现。 子集公理的提出,避免了悖论,使集合论得以存在和发展。 ;应该指出的是:①集合并不决定于它的元素展示方法。集合的元素被重复或重新排列,集合并不改变,即{a, a ,e, i, o, u}= { a, u, e, o, i}。但有时对重复出现的元素都认为是集合的元素,这种集合称为多重集。即{a, a, e, i, o, u, u}?{a, e, i, o, u}。本书中集合在不特别指明时,都指前者,即①中的集合。;②集合的元素可以是具体事物,可以是抽象概念,也可以是集体,不是集合的元素称为本元。如,一本书,一支笔,集合{1,2,3}可以组成集合B={一本书,一支笔,{1,2,3}} 。特别地,以集合为元素的集合称为集合族或集合类如A={{1,2,3}, { 8,9,6}}。 ③集合中元素之间可以有某种关联,也可以彼此毫无关系。;定义3.1.3 如果一个集合包含了所要讨论的每一个集合,则称该集合为全集,记为U或E。它可形式地表为 U={x|P(x)??P(x)} 其中P(x)为任何谓词公式。;显然,全集U即是第二章中的全总论域。于是,每个元素x都属于全集U,即命题(?x)(x?U)为真。由定义易知,对任意集合A,都有A?U。 在实际应用中,常常把某个适当大的集合看成全集U。;定义3.1.4 没有任何元素的集合,称为空集,记为?,它可形式地表为: ?={x|P(x)??P(x)} 其中P(x)为任何谓词公式。 由定义可知,对任何集合A,有??A。这是因为任意元素x,公式x???x?A总是为真。 ;注意,?与{?}是不同的。{?}是以?为元素的集合,而?没有任何元素,能用?构成集合的无限序列: (1)?,{?},{{?}},··· 该序列除第一项外,每项均以前一项为元素的集合。 ;(2)?,{?},{?,{?}},··· 该序列除第一项外,每项均以前面各项为元素的集合。它即是冯·诺依曼在1924年使用空集?给出自然数的集合表示: 0:=?,1:={?},2:={ ?,{?}},··· 定理3.1.1 空集是唯一的 定理3.1.2 (ⅰ)对任一集合A,有A?A。 (ⅱ)若A?B且B?C,则A?C。;3.集合的基数 表示集合中元素多少或度量集合大小的数,称作集合的基数或势。一个集合A的基数,记为|A|。 如果一个集合恰有m个不同的元素,且m是某个非负整数,称该集合是有限的或有穷的,否则称这个集合为无限的或无穷的。例如,在本书中常用有穷集有: Nm={0,1,2,···,m-1} ;本书中常见的无穷集合有: N={0,1,2,3,···},即自然数集合。 Z={···,-2,-1,0,1,2,3,···},即整数集合。 Z+={1,2,3,···},即正整数集合。 Q=有理数集合。 R=实数集合。 C=复数集合。;4.集合的幂集 一个集合的幂集是指该集合所有子集的集合,即是由这些子集所组成的集合族。 定义3.1.5 设A为一集合,A的幂集是一集合族,记为P(A), P(A)={B|B?A} 由定义可知,??P(A),A?P(A)。;5.文氏图 文氏(Venn)图是一种利用平面上的点构成的图形来形象展示集合的一种

文档评论(0)

yuzongxu123 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档