武汉理工大学离散数学课件第三章.pdfVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第 3 章 集合 第 3 章 集合 授课内容 知识点1 :集合论基础 知识点2 :集合运算及其性质 知识点3 :集合的划分与集合的成员表及集合的标准形式 知识点4 :集合的计算问题 知识点1 :集合论基础 一 问题的引入 集合论是现代各科数学的基础,它是德国数学家康托 (Geog Cantor, 1845 ~1918)于1874年创立的, 1876 ~1883年康托一系列有关集合论的文章,对任意 元的集合进行了深入的探讨,提出了关于基数、序数和 良序集等理论,奠定了集合论深厚的基础,19世纪90年 代后逐渐为数学家们采用,成为分析数学、代数和几何 的有力工具。 二 集合论基础 1. 集合与元素 所谓集合,是指某些可辨别的不同对象的全体。 用大写字母A ,B,X ,Y ,···表示之。 组成集合的对象称为集合的元素或成员,将用小写字母a ,b,x ,y···表 示之。 a是A的元素或a属于A ,记作aA ; a不属于A或a不是A的元素,记作aA ,或者(aA)。 集合表示,两种方法: 一是枚举法,在可能时列出它的元素,元素之间用逗号分开, 用花括号括起。如A={a,e,i,o,u} 表明集合A是由字母a,e,i,o和u为元素构成的。 二是谓词法,用谓词公式来确定集合。即个体域中能使谓词公式 为真的那些元素,确定了一个集合,因为这些元素都具有某种 特殊性质。若P(x)含有一个自由变元的谓词公式, 则{x|P(x)}定义了集合S,并可表成 S={x|P(x)} 外延公理: 两集合A和B相等,当且仅当它们有相同的元素。 若A与B相等,记为A=B ;否则,记为AB。 外延公理可形式表为:A=B(x)(x Ax B) 子集公理: 对于任给集合A和性质P,存在集合B,使得B中元素恰 为A中满足P的那些元素。 子集公理可形式地表成:(B)(x)(x Bx A(x)) 其中(x)为不含B自由出现。 2 子集、全集与空集 设A和B是任意两个集合,如果集合A的每个元素, 都是集合B中的一个元素,则称A是B的子集,或称A被包含于 B中,或者说B包含A ,并记为AB。 AB(x)(x Ax B) 例3.1.1 设A={a,b} ,B={a,b,c} ,C={a,b,d,e} , 于是,AB,AC。 PP 设A和B是两个集合,若AB且AB,则称A是B的 真子集,记为AB,也称B真包含A。 该定义也可表为 AB(ABAB) 如果一个集合包含了所要讨论的每一个集合, 则称该集合为全集,记为U或E。它可形式地表为 U={x|P(x)P(x)} 其中P(x)为任何谓词公式。 没有任何元素的集合,称为空集,记为, 它可形式地表为: ={x|P(x)P(x)} 其中P(x)为任何谓词公式。 由定义可知,对任何集合A ,有A。 这是因为任意元素x ,公式x x A总是为真。 定理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 .集合的幂集

您可能关注的文档

文档评论(0)

卖报的小行家 + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档