大学课件--关系.ppt

例如，在例1中，{a，b，c}、{a，d}、{e}等都是最大相容类，而{a，c，d}、{c，d}、{b，a，e}等都不是最大相容类。 在相容关系的关系简图中，我们定义每个结点都与其他结点相连接的多边形为完全多边形。显然，该图中最大多边形的结点集合就是最大相容类。另外，对于关系简图中只有一个孤立结点，以及不是完全多边形的两结点的连线的情况，也容易知道它们各自对应一个最大相容类。 例2 设给定相容关系简图如图4-3所示，写出其所有最大相容类。 解 最大相容类为{a1，a2，a4，a6}、{a3，a4，a6}、{a4，a5}、{a7} 定理4.26 设R为有限集A上的相容关系，C是一个相容类，那么必存在一个最大相容类CR使得C?CR。 证明 设A＝{a1，a2，…，an}，构造相容类序列C0?C1?C2?…，其中C0＝C且Ci＋1＝Ci∪{aj}，其中j是满足aj?Ci而aj与Ci中各元素都有相容关系的最小足标。 由于A的元素个数|A|＝n，所以至多经过n－|C|步就使这个过程终止，而此序列的最后一个相容类，就是所要找的最大相容类。 由定理4.26可知，A中任一元素a，它可以组成相容类{a}，因此必包含在一个最大相容类CR中，因此如由所有最大相容类作成一个集合，则A中每一元素至少属于该集合的一个成员之中，所以最大相容类集合必覆盖集合A。 定义4.25 设R为集合A上的相容关系，其最大相容类的集合称为集合A的完全覆盖，记为CR(A)。 定理4.27 给定集合A的覆盖{A1，A2，…，An}，则由它确定的关系R＝A1×A1∪A2×A2∪…∪An×An是A上的相容关系。 证明 因为A＝ Ai，则对任意的x∈A，存在某个k使得x∈Ak，于是x，x∈Ak×Ak，即有x，x∈R，所以R是自反的。 对任意x、y∈A，若x，y∈R，则存在某个k使得x，y∈Ak×Ak，于是y，x∈Ak×Ak，即有y，x∈R，所以R是对称的。 因此证得R是A上的相容关系。 由定理4.27可知，给定集合A上的任意一个覆盖，必可在A上构造对应于此覆盖的一个相容关系，但不同的覆盖可能构造出相同的相容关系。因而，覆盖与相容关系之间不具有一一对应关系。 例如，若A＝{1，2，3，4}，则集合{{1，2，3}，{3，4}}和{{1，2}，{2，3}，{1，3}，{3，4}}都是A的覆盖，但它们产生相同的相容关系： R＝{1，1，1，2，2，1，2，2，2，3，3，2，1，3，3，1，3，3，4，4，3，4，4，3}。 定理4.28 集合A上的相容关系R与完全覆盖CR(A)存在一一对应。 证明 由定理4.27知只需证明必要性。 由定理4.26可知A中任一元素必属于R的某个最大相容类，因而CR(A)是A的一个完全覆盖。 4.8 偏序关系 本节将讨论对集合中元素进行排序的一种关系—偏序关系。 定义4.26 对集合A上的二元关系R，如果R是自反的、反对称的和传递的，则称R为A上的偏序关系。偏序关系R通常记作 。当xRy时，可记作x y，读作x“小于等于”y。 定义4.27 集合A与A上的偏序关系R一起称为一个偏序结构，或称偏序集，记作A，R。 例如，幂集上的包含关系、实数集上的小于等于关系等都是偏序关系。 定义4.28 设R为A上的偏序关系，定义： (1)?x、y∈A，x y?x y∧x≠y，其中x y读作x“小于”y。 (2)?x、y∈A，x与y可比?x y∨y x。 由上述定义可知，在具有偏序关系 的集合A中，任取x和y，可能有下列情况发生：x y(或y x)；x＝y；x与y不可比。 例如，若 是{1，2，3}上的整除关系，则有1 2，1 3，1＝1，2＝2，3＝3，2和3不可比。 定义4.29 设R为A上的偏序关系，如对任意的x、y∈A，x与y都是可比的，则称R为A上的全序关系(或线序关系)。 例如，实数集上的小于等于关系是全序关系；而整除关系不是全序关系。 定义4.30 对偏序集A， ，如果x、y∈A，x y，且不存在元素z∈A使得x z y，则称y盖住x。并且记COV A＝{x，y|x、y∈A∧y盖住x}。 例如，对{1，2，4，6}上的整除关系，有2盖住1，4和6盖住2，但4不盖住1，因为1 2 4，6不盖住4，因4 6不成立。于是COV A＝{1，2，2，4，2，6}。 对于偏序集A， ，它的盖住关系是惟一的，所以可以用盖住的性质画出偏序关系图，称之为哈斯图。其作图规则是： (1)用小圆圈代表元素； (2)若x y，则将x画在y的下方； 例2 设A＝{1，2，3}，R1＝{1，1，2，2}、R2＝{1，1，1，2，2，1}、R3＝{1，2，1，3