网站大量收购闲置独家精品文档,联系QQ:2885784924

离散数学 集合.ppt

  1. 1、本文档共47页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
《集合论与图论》第3讲 第3讲 集合的概念与运算 1. 集合的概念 2. 集合之间的关系 3. 集合的运算 4. 文氏图、容斥原理 集合论(set theory) 十九世纪数学最伟大成就之一 集合论体系 朴素(naive)集合论 公理(axiomatic)集合论 创始人康托(Cantor) 什么是集合(set) 集合:不能精确定义。一些对象的整体就构成集合,这些对象称为元素(element)或成员(member) 用大写英文字母A,B,C,…表示集合 用小写英文字母a,b,c,…表示元素 a?A:表示a是A的元素,读作“a属于A” a?A:表示a不是A的元素,读作“a不属于A” 集合的表示 列举法 描述法 特征函数法 列举法(roster) 列出集合中的全体元素,元素之间用逗号分开,然后用花括号括起来,例如 A={a,b,c,d,…,x,y,z} B={0,1,2,3,4,5,6,7,8,9} 集合中的元素不规定顺序 C={2,1}={1,2} 集合中的元素各不相同(多重集除外) C={2,1,1,2}={2,1} 多重集(multiple set) 多重集: 允许元素多次重复出现的集合 元素的重复度: 元素的出现次数(?0). 例如: 设A={a,a,b,b,c}是多重集 元素a,b的重复度是2 元素c的重复度是1 元素d的重复度是0 描述法(defining predicate) 用谓词P(x)表示x具有性质P ,用{x|P(x)}表示具有性质 P 的集合,例如 P1 (x): x是英文字母 A={x|P1 (x)}={x| x是英文字母} ={a,b,c,d,…,x,y,z} P2 (x): x是十进制数字 B={x|P2(x)}= {x|x是十进制数字} ={0,1,2,3,4,5,6,7,8,9} 描述法(续) 两种表示法可以互相转化,例如 E={2,4,6,8,…} ={x|x0且x是偶数} ={x|x=2(k+1),k为非负整数} ={2(k+1) | k为非负整数} 有些书在描述法中用:代替|, 例如 {2(k+1): k为非负整数} 特征函数法(characteristic function) 集合A的特征函数是?A (x): 1,若x?A ?A (x) = 0,若x?A 对多重集, ?A (x)=x在A中的重复度 常用的数集合 N:自然数(natural numbers)集合 N={0,1,2,3,…} Z:整数(integers)集合 Z={0,?1,?2,…}={…,-2,-1,0,1,2,…} Q:有理数(rational numbers)集合 R:实数(real numbers)集合 C:复数(complex numbers)集合 集合之间的关系 子集、相等、真子集 空集、全集 幂集、n元集、有限集 集族 子集(subset) B包含于A, A包含B: B?A ? ?x(x?B?x?A) B不是A的子集: B?A ? ?x(x?B?x?A) ??x(x?B?x?A)??x?(?x?B?x?A) ??x(x?B??x?A)??x(x?B?x?A) 相等(equal) 相等: A=B ? A?B ? B?A ? ?x(x?A?x?B) A=B ? A?B?B?A (=定义) ??x(x?A?x?B)??x(x?B?x?A) (?定义) ??x((x?A?x?B)?(x?B?x?A))(量词分配) ??x(x?A?x?B) (?等值式) 包含(?)的性质 A?A 证明: A?A??x(x?A?x?A) ?1 若A?B,且A?B,则 B?A 证明: A?B ? ?(A=B) ? ?(A?B?B?A) (定义) ??(A?B) ? ?(B?A) (德?摩根律) A?B (已知) ??B?A (即B?A) (析取三段论) # 包含(?)的性质(续) 若A?B,且B?C, 则A?C 证明: A?B ? ?x(x?A?x?B) ?x, x?A ? x?B (A?B) ? x?C (B?C) ? ?x(x?A?x?C), 即A?C. # 真子集(proper subset) 真子集: B真包含A: A?B ? A?B ? A?B

文档评论(0)

gpcjc1996 + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档