09-5-11等价关系12.ppt.ppt

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

复习上次课内容: 一、关系的复合运算 1)定义:设F,G为二元关系,G对F的右复合记作F o G , F o G ={ x,y | ? t (x,t∈F ∧ t,y∈G ) 注:(1)两个关系进行右复合运算后是一个新关系, 若F是A到B的关系,G是B到C的关系则F o G 是A到C的关系 R是父子关系 ,那么R o R 是什么关系 S是兄弟关系,那么 S o R是什么关系 (2)复合关系中的元素x,y的存在必须有一个相同中介 t 存在, 使x,t∈F ∧ t,y∈G ,这在进行运算时要注意。 关于复合运算与集合运算的性质(复合运算的优先级高于集合运算) (1) F o (G ∪ H)= F o G ∪ F o H (2) (G ∪ H) o F =G o F ∪ H o F (3) F o ( G∩H ) ? (F o G ) ∩ (F o H) 利用关系矩阵和关系图计算关系的幂 a) 利用关系矩阵进行幂运算,要用到矩阵的布尔乘方法: 布尔运算:布尔加(相当于命题的析取): 布尔乘(相当于命题的合取): 对于两个关系R与S复合关系矩阵MR o S是由MR 和MS 的布尔乘积得到 MR o S= MR ΧMS = ( Cij) 其中Cij= ∑k aik ? bkj 其中的 ? 为布尔乘 Σ为布尔加 二、关系的性质 1、自反性和反自反性 (1) 若 ?x( x∈A → x,x∈R),则称R在A上是自反的. 注:a)R在A上是自反的,要求A中所有成员与其自身所成的序对均在R中 b)具有自反性的关系矩阵的特征是:主对角线上元素均为1 具有自反性的关系图的特征是:每个结点均有环 (2) 若?x ( x∈A → ┓x,x∈R) ,则称R在A上是反自反的 注:a)R在A上是反自反的,要求A中所有成员与其自身所成的序对均不能在R中 b)具有反自反性的关系矩阵的特征是:主对角线上元素均为0 具有自反性的关系图的特征是:每个结点均没有环 自反性和反自反性不是互逆的 2、对称性与反对称性 1) 若 ?x?y(x,y∈A ∧x,y∈R→y,x∈R)称R为A上的对称的关系. 注:a)R在A上是对称的,要求R中如有x,y就必须有y,x,定义是由蕴含式给出的,那么空关系具有对称性。 b)具有对称性的关系矩阵的特征是:是对称矩阵 具有对称性的关系图的特征是:两个互异结点之间有弧必有方向相反的两条 2) 若 ?x ?y(x,y ∈A ∧ x,y∈R ∧ y,x∈R → x = y) 则称R为A上的反对称的关系. 注:R在A上是反对称的,要求R中如有x,y就不能有y,x,除非x = y 存在既不是对称的又不是反对称的关系,存在既是对称的又是反对称的关系 3、传递性 定义 设及为A上的关系,若 ?x?y?z(x,y,z∈A∧x,y∈R∧y,z∈R→x,z∈R), 则称 R为A上传递的关系。 注:a) A上的全域关系EA,恒等关系IA和空关系? 都是A上的传递 小于等于关系、小于关系、整除关系、直线的平行关系、包含关系、真包含关系均具有传递性. 朋友关系、同学关系、父子关系、直线的垂直关系均不具有传递性 例 设A=1,2,3} Rl={ 1,1,2,2 } R2 = { 1,2,2,3 } R3 = { 1,3 ,2,3} R4={1,1,1,2,2,3, 3,3,2,1 ,3,2,1,3 } 定理7.9 设R为A上的关系,则 1)R在A上自反当且仅当 IA ? R. 2)R在A上反自反当且仅当 R ∩ IA = ? , 3)R在A上对称当且仅当 R = R—1. 4)R在A上反对称当且仅当 R∩R—1 ? IA 5)R在A上传递当且仅当 R ?R ? R. 设A是集合,Rl和R2是A上的关系,证明: (1 若Rl,R2是自反的和对称的,则Rl ∪ R2也是自反的和对称的. (2 若Rl和R2是传递的,则Rl∩R2 也是传递的. 下面给出五种性质经运算后是否仍然保持 自反性 反自反性 对称性

文档评论(0)

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

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

1亿VIP精品文档

相关文档