- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 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)