.第二节 普通集合及其等价关系.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文档。上传文档
查看更多
第二节普通集合及其等价关系

第二节 普通集合及其等价关系 1.1 集合论的基本概念 1.2 集合的代数运算 1.3 集合关系 1.1集合论的基本概念 什么是集合? 集合的表示方法 元素与集合的关系 子集及其性质 1.2集合代数运算 并、交、差运算 运算律: 交换律;结合律; 互补律;对偶律 1.3集合关系 定义1 两个元素 组成的序列记作 ,称作二元组. 分别称为二元组 的第一分量和第二分量。 定义2 两个二元组 和 相等当且仅当 定义3 元组 定义4 集合 的笛卡尔乘积 定义5 设 称R为U上的关系,当 时,称 x,y有关系;当 时,称x,y为无关系。 定义6 U上的关系R称为等价关系,若满足以下性质: (1)自反性: ( ); (2)对称性: 时, (x,y属于U); (3)传递性: , 时,则 (x,y,z属于U). 定义7(划分的定义) 设 A 是一个集合, 把 A 分成若干非空的块,使得 A 中每个元素必属于且仅属于一个块.形式上, S = {S1, S2, ?, Sm} 其中 Si ? A, Si ? ?, 当 i ? j 时, Si ? Sj ? ?, i = 1, 2, ?, m. 且 ?i=1m Si = A, 称 S 是 A 的划分. 例1 设 U = (-3, 3),B = {a=(-3,-2), b=[-2,-1),c=[-1,1),d=[1,2),e=[2,3)} 显然,B是U的划分.a,b,c,d,e都是粒(或叫等价类),它们之间的交都是空,不存在非空交. 定理3.1 (划分与等价关系的一一对应) U上的等价关系R必然产生U上的一个划分,U上的一个划分由U上的一个等价关系R产生。 例2 设U={1,2,3},若R为小于关系,则R={(1,2),(1,3),(2,3)}; 若I为恒等关系,则I={(1,1),(2,2),(3,3)}; 若E为全域关系,则 E={(1,1),(1,2),(1,3),(2,1),(2,2),(2,3), (3,1),(3,2),(3,3)}. 注意: 1.关系R是一个以二元序对为元素的集合,R通常称为二元关系。 2.U/I={{1},{2},{3}}为U的最细划分,U/E={{1,2,3}}为U的最粗划分。 例3 设论域 U={x1,x2,x3,x4}, R={(x1,x1),(x2,x2),(x3,x3), (x4,x4),(x3,x4),(x4,x3)}是U的等价关系。 U对应一个划分为:X1={x1},X2={x2},X3={x3,x4}. 例4 设A={1,2,3},求出A的所有等价关系。 解:由定理3.1知,只需列出A上的所有划分,即: {{1,2,3}};{{1},{2,3}}, {{2},{1,3}};{{3},{1,2}}, {{1},{2},{3}}。 因此,所有的等价关系为 R1={(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3)} R2=? R3=? R4=? R5={(1,1),(2,2),(3,3)} 等价类及其性质 定义8(等价类的定义)设R是非空有限论域U上的等价关系,称[x]R={y/yRx}为对象x关于R的等价类,其中x为等价类[x]R的代表元素. (等价类的性质)设R是非空有限集合A上的等价关系,对于A中任意的x,y,有 (1)[x]R非空,且[x]R包含于A; (2)若xRy,则[x]R=[y]R; (3)若xRy不成立,则[x]R与[y]R无公共元素; (4)U[x]R=A. 例5 设U={1,2,3,4,5,6,7,8}是一个积木玩具组成的论域,且 R1=(颜色) 1,3,7——红色; 2,4——蓝色; 5,6,8——黄色。 R2=(形状) 3,4,7,8——三角形; 2,6——正方形; 1,5——圆形。 R3=(大小) 2,7,8——大; 1,3,4,5,6——小。 U/R1={{1,3,7},{2,4},{5,6,8}} U/R2={?} U/R3={?} U/R1R2={?} 定义9(覆盖的定义) 设 A 是一个非空集合,S = {S1, S2,?, Sm} 其中 Si ? A, Si ? ?, I = 1, 2, ?, m. 且?i=1m Si = A 则称集合族 S 是 A 的覆盖。 例6 设A=

文档评论(0)

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

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

1亿VIP精品文档

相关文档