首页 > 其他 > 详细

离散数学知识点总结(3)-二元关系

时间:2019-04-09 23:41:32      阅读:653      评论:0      收藏:0      [点我收藏+]

、关系的运算

笛卡尔积/直积A×B={(a , b) | a∈A且b∈B},对于∩和∪都满足分配性。

A×B=B×?(A=)(B=)(A=B)

RA×B,当(a , b)∈R时称a与b具有关系R,即xRyA=B时R就是A上的一个二元关系

例如集合幂集P(A)上的包含关系为P={(x , y) | x∈P(A) y∈P(A) xy}

   A上的恒等关系IA={(a , a) | a∈A}(a , b)∈IA当且仅当a=b

   A上的全域关系EA={(a , b) | a , b∈A}(a , b)∈EA恒成立

注意:关系是集合!对集合成立的运算对关系都成立,例如<∩>=,≤∩≥==

R的定义域(domain)为R中所有有序对第一元素构成的集合;值域(range)为所有有序对第二元素构成的集合

Dom(R-1)=Ran(R),Dom(R)=Ran(R-1)

x的像集(image)为R(x)={y∈B | xRy},子集A1的像集R(A1)={y∈B | xRy对某x∈A1成立}R()=

若R、S是A到B的二元关系,对任意a∈A都有像集R(a)=S(a),那么R=S

证明:对任意(a ,b)∈R,b∈R(a)=S(a),故(a ,b)∈S

R在集合C上的限制R|C={(a , b) | a∈C且(a , b)∈R}

技术分享图片

其中矩阵布尔积SR的计算方法:Rik=1且Skj=1(SR)ij=1。其运算与普通矩阵运算是完全一样的,只不过最后要将所有非0转换为1

(SR)(A1)=S(R(A1)) 

技术分享图片 

技术分享图片

二、幂和道路

设R为集合A上的关系

A上的关系Rn为:a, b∈A,则aRnb当且仅当存在R中从a到b长为n的道路

A上的关系R为:a, b∈A,则aRb当且仅当存在R中从a到b的道路

Rn可递归地定义为: 

技术分享图片

三、关系的性质  

技术分享图片

 技术分享图片

|A|=n,则A上可定义:

1)2n×n个不同的关系

2)2n×n-n不同的自反关系

3)2n×n-n不同的非自反关系

4)2(n×n-n)/2+n不同的对称关系

5)3(n×n-n)/2不同的非对称关系

6)2n×3(n×n-n)/2不同的反对称关系

四、闭包

技术分享图片

关系闭包运算的性质

RS时有r(R)r(S)、s(R)s(S)、t(R)t(S)

s(R)和t(R)能保持自反性;r(R)和t(R)能保持对称性;r(R)能保持传递性s(R)不一定能保持

1rs(R)=r(R∪R-1)=IA∪(R∪R-1)=(R∪IA)∪(R-1IA-1)=(R∪IA)∪(R∪IA)-1=s(R∪IA)=sr(R)

2rt(R)=r(R)=RIA=(R∪IA)=t(R∪IA)=tr(R)

3st(R)ts(R),即传递闭包的对称闭包不一定还是传递的,如{(1, 3)}

证明:只需证明①ts(R)具有对称性、②t(R)ts(R)

①的证明s(R)具有对称性,t(R)能保持对称性,故ts(R)具有对称性

②的证明Rts(R),ts(R)具有传递性,故t(R)ts(R)

Warshall传递闭包算法

技术分享图片

五、等价与划分

等价关系x~y:自反、对称、传递

R(a)称作a所在的等价类[a][a]R

集合{R(a) | a∈A}称作A关于R的商集记作A/R即R的所有等价类作为元素的集合),a是R(a)的代表元

aRb,当且仅当R(a)=R(b)

R、S是等价关系时,RS一定是等价关系,R∪S则不一定,包含R∪S的最小等价关系是(R∪S)

证明R∩S可以保持自反性、对称性、传递性,因此它是对称关系

         R∪S可以保持自反性、对称性,但不一定能保持传递性

         因此(R∪S)=t(R∪S)肯定也具有自反性、对称性作为R∪S的传递闭包显然也具有传递性 因此是等价关系

 对于任何包含R∪S的等价关系T,都是必定具有传递性的,而其中(R∪S)作为R∪S的传递闭包必定是最小的

、偏序关系和偏序集

1.偏序关系

偏序关系:自反反对称、传递。例如恒等关系IA就是偏序关系

偏序集:集合A和偏序关系R构成的有序二元组(A , R)

R-1也是偏序关系,称为R的对偶;(A , R-1)称为(A , R)的对偶

a、b可能可比(a≥b或a≤b),也可能不可比

如果对任意a, b∈A,它们都是可比的,则R称为全序关系/线序关系,(A , R)称为线序集、全序集、链

R-IA是拟序关系

2.拟序关系

拟序关系:非自反、传递、非对称

逆序集(A , <)中肯定不会存在大于1的圈  

R+IA是偏序关系

3.哈斯图

1省略自环

2)删除可通过传递性省略的有向边

3)有向边均向上

4)忽略箭头

5)所有顶点替换为点

只能表示有限偏序集,例如P({a , b , c})上的关系如图

技术分享图片

若(A , ≤)是有限非空偏序集,BA 

技术分享图片

 

离散数学知识点总结(3)-二元关系

原文:https://www.cnblogs.com/yangyuliufeng/p/10680560.html

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!