[工学]12-关系_ou-简化.ppt

  1. 1、本文档共129页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
[工学]12-关系_ou-简化

§1.2 关 系(relations) 1.2.1 关系的基本概念及其性质 1.2.2 等价关系 1.2.3 部分序关系 1.2.1 关系的基本概念及其性质 一、关系的定义 二、关系的表示 三、关系作为集合的运算 四、几种特殊关系及特点 五、闭包运算 一、关系的定义 定义 设A1,A2,?,An是n个集合, 集合A1?A2 ???An的一个子集 F 称为A1,A2,?,An上的一个n元关系。 特别地,集合A?B中的一个子集R,称为集合A与B上的一个二元关系(binary relation),简称为关系。 对于x?A,y?B,R是A与B上的一个二元关系,若(x,y)?R,则称x,y有关系R,记为xRy;若(x,y)?R,则称x,y没有关系R,记为xRy。 若B=A,则R称为A上的二元关系。 关系的特点 1. A?A的任一子集都是A上的一个关系; 2. 若?A?=n,则A上的关系有 个。 3. A上有三个特殊关系,即 空关系?; 全域关系EA=A?A; 相等关系IA={(x,x)?x?A}。 4. 5. 有序对(a,b)=(c,d)的充要条件是a=c,b=d。 例 设A={1,2,3,4},A?A={(1,1),(1,2),(1,3),(1,4),(2,1),(2,2),(2,3),(2,4), (3,1),(3,2),(3,3),(3,4),(4,1),(4,2),(4,3),(4,4)} 则R1={(2,1),(3,1),(4,1),(3,2),(4,2),(4,3)} R2={(1,1),(2,2),(3,3),(4,4)} R3={(1,1),(1,2),(1,3),(1,4),(2,2),(2,4),(3,3),(4,4)} R4={(1,1),(2,2),(1,2),(2,1)} 均是A上的关系。 例 人群中的父子关系R={(x,y)|x,y是人且x是y的父亲} 例 例 N上的小于关系R: R={(x, y)|xy, 且x, y ∈N} 用枚举法表示为: R={(0, 1), (0, 2),(0,3),… (1, 2), (1,3), …,(n,n+1),(n,n+2) …} 二、关系的表示 1、集合表示(直接用定义)--便于书写 例 设A={1,2,3,4}, A上的关系R={(1,1),(1,2),(1,3),(2,1),(2,2)} 例 设A={1, 2}, B={a, b}, A与B上的关系R={(1, a), (2, b)}, 则R的关系矩阵为: 例 A = {1,2,3,4}, A上二元关系 R = {(1,1),(1,2),(1,3),(3,2),(3,4)} 1 1 1 0 MR = 0 0 0 0 0 1 0 1 0 0 0 0 关系(有向)图常用来表示A×A的子集,即A上的关系。设集合A,A中的每个元素对应图中的一个点,A上关系R中的每个有序对(a, b)在图中表示为有从a到b的一条有向弧。 例如:设A={1, 2, 3},R={(1, 1), (1, 2)},则R的关系图为: 三、关系作为集合的运算 三、关系作为集合的运算 三、关系作为集合的运算 三、关系作为集合的运算 5、 逆关系(inverse relation) 设R是集合A上的一个关系。令 R-1 ={(y, x)?x?A, y?A, 并且有xRy}, 则称关系R-1为关系R的逆。 xR-1y iff (x,y)?R-1 iff yRx 集合表示中将R中每个有序对的顺序颠倒得到R-1 将R的关系图中每条有向弧的方向反过来就得到R-1的关系图 MR-1为MR的转置矩阵 例如,小于关系的逆关系是大于关系,大于关系的逆关系是小于关系,相等关系的逆关系仍是相等关系。 例:R={(a,b),(b,c),(a,c),(b,d)},则 R-1 = {(b,a),(c,b),(c,a),(d,b)} 6、 关系的乘积(composite) 设R是集合A与B上的关系,S是集合B与C上的关系,令R?S={(x, y)?x?A, y?C且存在一个z?B使得xRz,zSy}。则R?S为集合A与C上的关系,称为关系

文档评论(0)

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

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

1亿VIP精品文档

相关文档