第4章-关系.ppt

定义4.3.16 设R是非空集合A上的相容关系，C是R产生的相容类，若A-C中没有元素与C中所有元素都有相容关系，则称C为R的最大相容类，记为CR。 定义4.3.17 设R是非空集合A上的相容关系，其最大相容类集合称为集合A的完全覆盖，记为CR(A)。 显然，对于相容关系R，只能对应唯一的完全覆盖。 利用关系图和关系矩阵都可找出所有最大相容类。 在相容关系图中，容易知道最大完全多边形的顶点集合，就是最大相容类。 a5 a7 a1 a2 a6 a3 a4 这里只介绍利用关系矩阵构成所有最大相容类，其步骤如下： ① 只与自身相容的元素，能够分别单独地构成最大相容类，因此从矩阵中删除这些元素所在行和列。 ② 从由①简化的矩阵最右一列开始向左扫描，发现1时，以相应的行号和列号组成一相容类。 ③ 往左继续扫描，发现1时，以相应的行号和列号组成相容类，将它与前面已有的相容类比较，若可合并到已有相容类中去则合并；若与已有的相容类中的部分元素相容，则另列新相容类，然后删除已被包含在任何相容类中的那些相容类，保留未被合并的相容类。 ④ 重复步骤③直至扫描完所有列。 ⑤ 将求得的最大相容类和孤立元素自身构成的最大相容类合在一起，构成所有最大相容类。 定理4.3.3 给定集合A的覆盖{A1, A2, ···, Am}，由它确定的关系R= 是相容关系。 证明：略，细节可参考P138. 此外，需要指出的是：上述定理说明任意覆盖可确定一个相容关系，但不同的覆盖可能构造出相同的相容关系。而等价关系和划分之间是一一对应的。 例如A={1,2,3,4}. 覆盖1={{1, 2, 3}, {3,4}}; 覆盖2={{1, 2}, {2, 3}, {1, 3}, {3,4}}. 不过，我们有些下列定理： 定理4.3.4 集合A上相容关系R与其完全覆盖CR(A)存在一一对应。 证明 因为由集合A上相容关系R可产生最大相容类集合，这是唯一的，即该最大相容类集合就是其完全覆盖CR(A)；反之，由定理4.3.3可知，由完全覆盖CR(A)确定的相容关系也是唯一的，综上可知，集合A上相容关系R与其完全覆盖CR(A)是一一对应的。 4．准序关系 定义4.3.18 设R是集合A上的二元关系，若R是反自反的和传递的，则称R为A上的准序关系，或拟序关系，通常记为表示准序，称A,为准序集。 准序关系是反对称的，可有下面定理： 定理4.3.5 若R是非空集合A上的准序关系，则R是反对称的。 准序集与偏序集是密切相关，唯一区别是恒等关系IA。下面定理表明这一点。 定理4.3.6 设R是非空集合A上的关系， ① 若R是准序关系，r(R)=R∪IA是偏序关系。 ② 若R是偏序关系，则R-IA是准序关系。 第三章 关系--作业 习题3-5: (2); (4); (5): (b), (c); (6); (7). 习题3-6: (2); (4); (5). 习题3-7: (1); (2); (4); (5). 习题3-8: (1); (2); (5); (6); (7). 习题3-9: (2); (4); (5). 习题3-10: (3); (4); (6). 习题3-11: (3); (7). 习题3-12: (1); (3); (6); (7). 定义4.3.3 设R为非空集合A上的等价关系，对?a?A，令 [a]R={x| x?A?aRx} 称[a]R为a关于R的等价类，简称a的等价类，简记为[a]。 显然，等价类[a]R非空，因为a?[a]R。 例 Z上模m等价关系的等价类： [0]R， [1]R， [2]R，…, [m-1]R 定理4.3.2 设R是非空集合A上的等价关系，则 ① ?a, b?A，若aRb，则[a]=[b]。 ② ?a, b?A，若a~Rb，则[a]∩[b]=?。 ③ =A。 证明 略(课上补证)。 利用非空集合A及其上等价关系可以构造一个新集合—商集。 定义4.3.4 设R是非空集合A上的等价关系，以及 A/R={[a]R|a?A} 则称A/R为A对R的商集。 该定义表明了，商集A/R是以R的所有等价类为元素的集合。 与商集有密切联系的概念是集合的划分。下面给出划分的定义。 定义4.3.5 设A是非空集合，若B={A1, A2, ···, An}，且①Ai??，②Ai∩Aj=?，i?j，③ =A，则称B是A的划分。称B中元素为A的划分块。 可见，集合A上的等价关系R决定了A的一个划分，商集A/R就是A的一个划分，并且不同的商集对应于不同的划分。例如Z/R={[0]R，[1]R，[2]R，…, [m-1]R}形成A的一个划分。 反之，任给A的