1.5关系的闭.docVIP

1.5 关系的闭包 定义1 设是上的二元关系，的自反（对称、传递）闭包是关系，使 (1) 是自反的（对称的、传递的）；(2) ； (3) 对任何自反的（对称的、传递的）关系，如果，那么。 的自反、对称和传递闭包分别记为，，； 的自反（对称、传递）闭包分别是包含并具有自反（对称、传递）性质的最小的关系。 构造闭包的方法： 定理1.5-1：设是集合上的二元关系，则 (a) ， (b) (c) 。 推论 设是有限集合上的二元关系，，则。 利用关系矩阵求闭包：设关系，，，的关系矩阵分别为，则 (a) ；(b) ；(c) ； 利用关系图求闭包： 设关系，，，的关系图分别记为，则的顶点集与的顶点集相等，除了的边以外，以下述方法添加新的边： (a) 考察的每个顶点，如果没有环就加上一个环，最终得到的是； (b) 考察的每一条边，如果有一条到的单向边，，则在中加一条从到的反方向边，最终得到； (c) 考察的每个顶点，找出从出发的所有步，步，…，步长的路径（为中的顶点数），设路径的终点为，如果没有从到的边，就加上这条边，当检查完所有的顶点后就得到图。 例1：设，，则和，，的关系图如下图所示。其中，，的关系图就是使用上述方法直接从的关系图得到的。 闭包的性质： 定理1.5-2： (1) 设是集合上的二元关系，则 (a) 是自反的当且仅当； (b) 是对称的当且仅当；(c) 是传递的当且仅当