第四章 二元关系和函数 4.4关系的闭包

4.4关系的闭包

在这里插入图片描述
简单来说就是对关系R添加尽可能少的元素得到 R R^{’} ,使得 R R^{’} 有自反/对称/传递的性质。则称 R R^{’} 为R的自反闭包/对称闭包/传递闭包。

例题:
在这里插入图片描述
除了根据其概念特性直接推算出来,我们还可以用集合的运算来求:
在这里插入图片描述

其实这个就是我们刚才思路的具体化:
<1> I A I_A 里的元素都是环,这已经是最小的有用元素的集合了。
<2> R 1 R^{-1} 里的元素是每条边的反方向边,没有冗余元素了。
<3>对其一个周期求并运算就可以使其满足传递且无多余元素。

例:
在这里插入图片描述

下边我们给出闭包的一些定理:
在这里插入图片描述
在这里插入图片描述
注意:
因为这里传递关系的自反闭包不一定能保持其传递性,所以我们要求一个关系的既满足自反,对称和传递闭包时应该最后求传递闭包。

在这里插入图片描述

除了用集合运算的方法来求闭包,我们还可以用矩阵的方法:

  • M r M_r = M M + E E
  • M s M_s = M M + M M^{’} M M^{’} M M 的转置矩阵)
  • M t M_t = M M + M 2 M^{2} + M 3 M^{3} + ……

练习1:
设集合A={1,2,3}上的关系,R={<1,1>,<1,2>,<1,3>,< 3,3>},

则R的自反闭包r( R ) 具备下列哪些性质?

解:
依题得:r(R)= {<1,1>,<1,2>,<1,3>,< 3,3>,<2,2>}
所以其具有自反性,反对称性,传递性。

练习2:
在这里插入图片描述
在这里插入图片描述

练习3:
在这里插入图片描述
在这里插入图片描述

发布了54 篇原创文章 · 获赞 27 · 访问量 2676

猜你喜欢

转载自blog.csdn.net/Deam_swan_goose/article/details/103732492