相容关系与大相容类定义及图形表示方法.pdfVIP

定义

设为非空集合上的关系，如果是自反的和对称的，则称为上的相容关系。

根据该定义，相容关系有以下三个性质：

（）所有的等价关系都是相容关系。

（）相容关系的关系矩阵主对角线全为且是对称矩阵。

（）相容关系的关系图每一个节点上都有环，且每两个不同节点间如果有边，一定有

方向相反的两条边。

例设，定义该集合上的关系为：

和至少有一个相同的数码

显然，是自反的和对称的，但它不是可传递的，故是上的一个相容关系。

相容关系的图形表示中，每个环不必画出，两个元间方向相反的有向边用一条无向边替代，这样的

图称为相容关系的简化关系图。

例设集合，

，易知是上的相容关系，则其关系图和

简化关系图如下：

定义

设是非空集合上的相容关系，集合，若对任意的都有成立，

则称是由相容关系产生的相容类。

如果是上的相容关系是由相容关系产生的相容类从定义可看出

（）相容类一定是的子集。

（）因为相容关系是自反的，即，有，所以是由相容关系产生

的一个相容类，即中的任何元素组成的单元素集是由相容关系产生的一个

相容类。

定义

设是非空集合上的相容关系，是产生的相容类。如果它不是其他任何相

容类的真子集，则称为最大相容类，记为。

根据定义，最大相容类具有如下的性质：

（）中任意元素与中的所有元素都有相容关系。

（）中没有一个元素与中的所有元素都有相容关系。

利用相容关系的简化关系图求最大相容类的方法：

（）最大完全多边形的顶点构成的集合是最大相容类。

（）孤立点构成的集合是最大相容类。

（）如果一条边不是任何完全多边形的边，则它的两个端点构成的

集合是最大相容类。

例

设给定相容关系的简化关系图如下图所示，写出其所有最大相容类。

a3a2

解：最大相容类为，

a4a1

，，。

aaa

567

定理设是非空有限集合上的相容关系，是产生的相容类，那么

必存在最大相容类，使得。

定理设是非空集合，若的子集族满足以下条件：

（）

（）xA

x

则称为集合的一个覆盖。

定理设是有限集合，是上的相容关系，由产生的所有最大相容类构成

的集合是A的覆盖，叫作集合A的完，记为C(A)。

R

定理

给定集合的覆盖，则由它确定的关系

是上的相容关系。

定理集合上的相容关系与完存在一一对应。