关系的性质判断(自反,对称,传递)_对称与非对称是矛盾关系吗

(3) 2024-07-27 20:23

Hi,大家好,我是编程小6,很荣幸遇见你,我把这些年在开发过程中遇到的问题或想法写出来,今天说一说
关系的性质判断(自反,对称,传递)_对称与非对称是矛盾关系吗,希望能够帮助你!!!。

首先,求出关系的关系矩阵,即布尔逻辑0、1矩阵。

例如,集合A={1,2,5,8,12,16} R是整除关系。

那么我们写成关系矩阵。

关系矩阵 M=

1 1 1 1 1 1

0 1 0 1 1 1

0 0 1 0 0 0

0 0 0 1 0 1

0 0 0 0 1 0

0 0 0 0 0 1

R={<1,1>,<1,2>,<1,5>,<1,8>,<1,12>,<1,16>,<2,2>,<2,8>,<2,12>,<2,16>,<5,5>,<8,8>,<8,16>,<12,12>,<16,16>}
这时,我们要判断是否为自反关系,只需检查关系矩阵

对角线上的元素是否全为1。

全为1则关系是自反关系;

不全为1(只要对角线上有1个0),则不是自反关系。

显然,整除关系是自反的。
要判断是否为反自反关系,同样只需检查关系矩阵上的元素是否全为0

值得注意的是,如果集合A非空,则空关系满足反自反,不满足自反关系。

但集合A为空集,则空关系满足自反关系,也满足反自反。

从中我们可以看出,关系有可能既是自反关系,又是反自反关系。

同样,关系有可能不是自反关系,也不是反自反关系。

这一点值得注意。
接下来,我们来看如何判断关系的对称性。

只需检查关系矩阵的主对角线两侧的元素,是否一一对应,保持一致即可。

显然,整除关系不是对称关系。
如何判断关系是反对称关系呢?

同样检查关系矩阵的主对角线两侧的元素,是否一一对应,保持互补(有1的地方,对角线另一侧的位置的元素为0)即可。

显然,整除关系是反对称关系。

注意,对称关系与反对称关系是互斥的,两者只能最多出现一种情况。现在进行修改两者并不是互斥的,可以看评论区

而不像自反与反自反可以同时满足。
下面来看如何通过关系矩阵,判断是否是传递关系。

传递关系,在关系矩阵不能一眼直接看出,但是同样可以按照步骤来检查。

方法是:

按从上到下,从左到右,逐一检查某行(例如a行)非对角线上的1元素,

定位到该1元素所在列,所对应的关系矩阵行,

检查该行所有的1元素(或只检查非对角线上的1元素),

将这些1元素所在列的a行元素找出,判断是否都为1

都为1则,是传递关系;

但只要出现1个0,则不是传递关系。

显然,整除关系满足传递性。

今天的分享到此就结束了,感谢您的阅读,如果确实帮到您,您可以动动手指转发给其他人。

上一篇

已是最后文章

下一篇

已是最新文章

发表回复