离散数学(07)(精品·公开课件).pptVIP

  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文档。上传文档
查看更多
第二章 集 合 2.1 集合论的基本概念 2.1.1 集合的概念 有些书本上是这样定义集合: 具有某种特性的对象的整体,就是集合。 这样定义突出了构成集合的元素的特性; 集合在某些场合又称为类、族或搜集, 它是数学中最基本的概念之一, 如同几何中的 (3) 计算机内存之全体单元构成一集合。 (4) 1, 2, 3, …, n, …构成正整数集合。 (5) 所有三角形构成三角形集合。 (3){ 2,0.5,人,书本 } (6) 坐标满足方程x2+y2≤R2的全部点构成 图2.1-1所示的点集。 组成集合的每个事物叫做这个集合的元素或成员。 通常用大写字母A, B, C, …代表集合; 用小写字母a, b, c, …代表元素。 如果a是集合A的一个元素, 则记为: a∈A 读做“a属于A”, 或说“a在A中”。 如果a不是集合A的一个元素, 则记为:a ? A 叫做“a不属于A”, 或说“a不在A中”。 任一元素, 对某一集合而言, 或属于该集合, 或不属于该集合, 二者必居其一, 不可兼得,这就是元素与集合的关系。 通常采用3种方法表示集合。 第一种是列举法。就是把集合中的元素一一列举出来。例如“所有小于5的正整数”这个集合的元素为1, 2, 3, 4, 除这4个元素外,再没有别的元素了。 如果把这个集合命名为A, 就可记为 A={1, 2, 3, 4} 在能清楚表示集合成员的情况下可使用省略号, 例如, 从1 到50 的整数集合可记为{1, 2, 3, …, 50}, 偶数集合可记为{…,-4,-2,0,2,4,…}。 第二种是描述法。就是用谓词描述出集合元素的公共特征来表示这个集合。 例如, 上述各例可分别写成: A={a|a∈I∧0<a∧a<5}, {a|a∈I∧1≤a≤50} 和 {x| ? y(y∈I∧ x = 2y )} 这里I表示整数集合。 一般地 S={a|P(a)} 表示a∈S当且仅当P(a)是真。 第三种是归纳定义法,我们在2.3节讨论 集合的元素可以是一个集合, 例如: A={a,b,c,D}, 而 D={0,1}。那么A={a,b,c, {0,1}}, 仅含有一个元素的集合称为单元素集合。 应把单元素集合与这个元素区别开来。例如{A}与A不同, {A}表示仅以A为元素的集合, 而A对{A}而言仅是一个元素, 当然这个元素也可以是一个集合, 如A={1,2}。 称含有有限个元素的集合为有限集合。称不是有限集合的集合为无限集合或无穷集。有限集合的元素个数称为该集合的基数或势第五章将给出有限集、无限集、基数等概念的更精致的陈述。集合A中元素的数量叫基数记为|A|, 例如:若 A={a, b}, 则 |A|=2, 又|{A}|=1 外延公理 : 两个集合A和B相等, 即A=B, 当且仅当它们有相同的成员(也就是, A的每一元素是B的一个元素而B的每一元素也是A的一个元素)。 用逻辑符号表达是: A = B ? ? x(x ? A ? x ? B) 或 A = B??x(x? A?x? B) ∧?x(x?B?x?A) 外延公理断言: 如果两个集合有相同的元素, 那么不管集合是如何表示的, 它们都相等。因此, (1) 列举法中, 元素的次序是无关紧要的。例如{x,y,z}与{z,x,y}相等。 (2) 元素的重复出现无足轻重。例如, {x,y,x}、 {x,y}、 {x,x,x,y}是相同的集合。 (3) 集合的表示不是唯一的。例如: {x|x2-3x+2=0}、 {x|x∈I∧1≤x≤2} 和{1, 2}均表示同一集合。 2.1.2 罗素悖论 1901年罗素(Bertrand Russell)提出以下悖论: 设论述域是所有集合构成的集合, 并定义S为下述集合 S = { A | A ? S} 这样, S是不以自身为元素的全体集合的集合, 我们现在问

文档评论(0)

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

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

1亿VIP精品文档

相关文档