离散数学关系的性质.ppt
《离散数学关系的性质.ppt》由会员分享,可在线阅读,更多相关《离散数学关系的性质.ppt(32页珍藏版)》请在三一办公上搜索。
1、1,4.3 关系的性质,关系的性质及特点关系性质的充要条件关系性质的证明运算和性质的关系,2,1.自反的二元关系,(1).定义:R是上的二元关系,若x(xAR),则称R在A上是自反的二元关系。,例如 a,b,c,R=(a,a),(b,b),(c,c),(a,b),则是自反的。,又如1,2,3,R是上的整除关系,显然,是自反的,因为(1,1),(2,2),(3,3)都属于R。,即如果对于中的每一个元素a,都有(a,a)R,则称为自反的二元关系。,一、关系的性质及特点,3,注意,在关系的自反性定义中,要求对于A中的每一个元素a都有(a,a)R。所以当A=a,b,c,而R=(a,a),(b,b)时,
2、R并不是自反的,因为(c,c)R。,又如A=1,2,3,R是A上的二元关系,当a,bA,且a和b都是素数时,(a,b)R。,可见(2,2),(3,3),(2,3),(3,2),也不是自反关系,因为(1,1)R。,4,(2).关系矩阵的特点:,关系矩阵中主对角线上的元素全为1。,(3).关系图的特点:,关系图中每个顶点都有环。,实例:A上的全域关系EA,恒等关系IA,小于等于关系LA,整除关系DA都是自反关系:,5,2反自反的二元关系,(1).定义:R是上的二元关系,若x(xAR),则称R在A上是反自反的二元关系.,例如a,b,c,R=(a,b),(b,c),(b,a),则是反自反的。,又如1,
3、2,3,R是上的小于关系,即当ab时,(a,b)R。显然,是反自反的。,注意,非自反的二元关系不一定是反自反的二元关系,因为存在着这样的二元关系,它既不是自反的又不是反自反的,如=a,b,c,R=(a,a),(a,b),那么不是自反的(因为(b,b),(c,c)都不属于),也不是反自反的(因为(a,a)R)。,即对于中的每一个元素a,都有(a,a)R,则称为反自反的二元关系。,6,实例:实数集上的小于关系,空关系,幂集上的真包含关系都是反自反关系。,(2).关系矩阵的特点:,关系矩阵中主对角线上的元素全为0。,(3).关系图的特点:,关系图中每个顶点都没有环。,7,例1 A=1,2,3,R1,
4、R2,R3是A上的关系,其中R1,R2,R3,R1既不是自反也不是反自反的,R2为自反关系,R3为反自反关系。,8,3.对称的二元关系,(1).定义:R是上的二元关系,若x,y(x,yARR),则称R为A上对称的二元关系.,例如=a,b,c,d,R=(a,a),(a,b),(b,a),(b,d),(d,b)则是对称的二元关系。,又如=1,2,3,4,5,对于中元素a和b,如果a,b是模3同余关系,则(a,b),易见是对称关系。,即如果(a,b)R,就一定有(b,a)R,则称为对称的二元关系。,9,实例:A上的全域关系EA,恒等关系IA和空关系都是对称关系。,(2).关系矩阵的特点:,关系矩阵为
5、对称矩阵。,(3).关系图的特点:,关系图中如果两个顶点之间有边一定是一对方向相反的边。,10,4反对称的二元关系,即R是上的二元关系,每当有(a,b)和有(b,a)时,必有a=b,则称是反对称的二元关系。,反对称的定义也可写为:是上的二元关系,当ab时,如果(a,b),则必有(b,a)R,称为反对称的二元关系。,例如=1,2,3,R是上的小于关系,即ab,(a,b)。易见=(1,2),(1,3),(2,3),所以是反对称的。,又如是一些整数组成的集合,如果a整除b,则(a,b),R也是反对称的。,(1).定义:若 x,y(x,yARRx=y),则称R为A上的反对称关系.,11,注意,“对称的
6、”和“反对称的”这两个概念并非相互对立,相互排斥的。存在着既不是对称的又不是反对称的二元关系,也存在着既是对称的又是反对称的二元关系。,又如A=a,b,c,R=(a,a),可知是对称的,又是反对称的。,因为虽有(a,b)R,(b,a)R,但(c,d)R时(d,c)R,因此R不是对称的,,例如A=a,b,c,d R=(a,b),(b,a),(c,d)这里R既不是对称的,也不是反对称的。,因为有(a,b)R和(b,a)R,因此R不是反对称的。,12,实例:恒等关系IA,空关系都是A上的反对称关系。,(2).关系矩阵的特点:,关系矩阵中以主对角线对称的元素不能同时为1。,(3).关系图的特点:,关系
7、图中如果两个顶点之间有边一定是一条有向边。,13,例2 设A1,2,3,R1,R2,R3和R4都是A上的关系,其中 R1,,R2,R3,,R4,R1 对称、反对称.R2 对称,不反对称.R3 反对称,不对称.R4 不对称、也不反对称.,14,5.可传递的二元关系,(1).定义:R是A上的二元关系,xyz(x,y,zARRR),则称R是A上的传递关系.,例如整除关系是可传递的,因为每当(a,b)R时,即 a 能整除 b,b能整除c时,显然 a 能整除 c,所以必有(a,c)R。,又如A=a,b,c,d,e,其中a、b、c、d、e分别是表示5个人,且a、b、c同住一个房间;d和e同住另一个房间。如
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 关系 性质
链接地址:https://www.31ppt.com/p-4934665.html