第04章二元关系.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文档。上传文档
查看更多
第04章二元关系.ppt

第四章 二元关系 第四章 二元关系 4.1 关系及其表示 4.2 关系的性质 4.3 逆关系和复合关系 4.4 关系的闭包 4.5 等价关系与划分 4.6 相容关系与覆盖 4.7 偏序关系 4.1 关系及其表示 一、二元关系的定义 定义4.1.1 任一序偶的集合确定了一个二元关系R。如果x,y?R,可记作xRy;如果x,y?R,可记作 x y。 定义4.1.1’ 设A、B为集合,A?B的任一子集所定义的二元关系称作从A到B的二元关系。当A=B时,则叫作A上的二元关系。 例:A={0,1},B={1,2,3},那么 R1={0,2,1,2,0,1,0,3}, R2=A×B, R3=? , R4={0,1,1,1} …… 都是从A到B的二元关系,其中R3和R4同时也是A上的二元关系。 关系的个数 对给定的集合A、B可定义多少个不同的二元关系? 不同关系的数目依赖于A、B的基数。|A|=n,|B|=m,|A?B|=n?m A?B共有2n?m个不同的子集,每个代表一个从A到B的二元关系。 二、二元关系的特例 对于任何集合A,空集?是A×A的子集,叫做A上的空关系。 定义4.1.2 对任意集合A,定义: EA={x,y|x?A∧y?A}=A×A——全域关系 IA={x,x|x?A}——恒等关系 其它常用的关系 小于或等于关系:LA={x,y|x,y∈A∧x≤y}。其中 A?R 整除关系:DB={x,y|x,y∈B∧x整除y},其中 B?Z* Z*是非零整数集 包含关系:R?={x,y|x,y∈A∧x?y},其中 A是集合族。 例 设A={1,2,3,4},下面各式定义的R都是A上的关系,试用列元素法表示R。 (1) R={x,y | x是y的倍数} (2) R={x,y | (x-y)2∈A} (3) R={x,y | x/y是素数} (4) R={x,y | x≠y} 三、关系的前域、值域和域 定义4.1.3:设R是二元关系, (1) R中所有的序偶的第一元素x构成的集合称为R的前域:domR ={ x | ?y(x,y?R) } ? X (2) R中所有序偶的第二元素y构成的集合称为R的值域:ranR ={ y | ?x(x,y?R) } ? Y (3) R的前域和值域的并集称为R的域: fldR = domR∪ranR ?X∪Y 四、关系的集合运算 关系是特殊的集合,因此,也可对关系进行集合的并、交、差、补等运算,产生新的关系。 定理4.1.1 若R和S是从集合X到集合Y的两个关系,则R∪S、R∩S、R?S、?R仍是从X到Y的关系。(同类关系) 证:∵ R?X?Y,S?X?Y ∴ R∪S?X?Y,R∩S?X?Y, R?S=R∩?S?X?Y,?R=X?Y?R?X?Y 例:设X={a,b,c,d},X上的二元关系R、S分别为: R={a,b,b,b,c,d},S={a,d,c,d} 求:domR,ranR、R∪S、R∩S、R?S、?S 解:domR={a,b,c}, ranR={b,d} R∪S={a,b,b,b,c,d,a,d}, R∩S={c,d} R?S={a,b,b,b} ?S={a,a,a,b,a,c,b,a,b,b,b,c,b,d, c,a,c,b,c,c,d,a,d,b, d,c,d,d} 例:已知A={0,1,2,3},R={a,b|a,b?A∧|a?b|=1},S={a,b| a,b?A∧(a+b=3)} 求:R∪S、R∩S、R?S、S?R、?R 解:R={0,1,1,0,1,2,2,1,2,3,3,2} S={0,3,3,0,1,2,2,1} R∪S={0,1,1,0,2,1,1,2,2,3, 3,2,0,3,3,0} R∩S={2,1,1,2} R?S={0,1,1,0,2,3,3,2} S?R={0,3,3,0} ?R=0,0,0,2,0,3,1,1,1,3,2,0,2,2, 3,0,3,1,3,3} 五、关系的表示 表达从有穷集合到有穷集合的二元关系时,矩阵和有向图都是得力的工具。 定义4.1.3 给集合A={a1,a2,···,am}和B={b1,b2,···,bn},且R?A?B,若 1 aiRbj rij= 0 否则 则称矩阵MR=(rij)m?n为R的关系矩阵。 五、关系的表示 关系矩阵 当给定关系R,可求出关系矩阵MR;反之,若给出关系矩阵MR,也能求出关系R。 例:A={1,2,3,4}, R={1,1,1,2,2,3,2,4,4,

文档评论(0)

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

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

版权声明书
用户编号:8124126005000000

1亿VIP精品文档

相关文档