第2章 关系与序关系.pptVIP

2.6 相容关系 [相容关系] X 上的二元关系 R，若 R 是自反的、对称的，则称 R 为 X 上的一个相容关系，记作 ? 。 [例] 设 X={2661, 243, 315, 648, 455}，定义 R={x, y|x, y?X，x 与 y 至少含有一个相同数字} 容易看出，R 具有自反性、对称性。 R 不具有传递性： 如 2661,243,243,455?R 但 2661,455?R 因此 R 不是等价关系，R 是一个相容关系。 第30页，共81页，编辑于2022年，星期五 2.6 相容关系 [相容类] 设 ? 是集合 X 上的一个相容关系，Ai ?X。称 Ai 是 X 上的一个相容类当且仅当 Ai 中任二元素相容，即 (?x)(?y)(x, y?Ai? x ? y)。 [最大相容类] 设 Ai 是X上的一个相容类，若 X-Ai 中不存在与 Ai 中所有元素相容的元素，则称 Ai 为 X的一个最大相容类。 最大相容类不一定是含有最多元素个数的相容类 在相容关系的关系图中，最大相容类对应于一个最大完全子图（在图论中进一步讨论）。 第31页，共81页，编辑于2022年，星期五 2.7 关系的运算 假设以下讨论的集合 X、Y、Z、W 都是非空集合。 (1) 关系的一般运算 [定义] 设 R、S 是 X 到 Y 的二元关系，定义运算如下： R?S={x, y|xRy?xSy} R?S={x, y|xRy?xSy} R?S={x, y|xRy?x?Sy} ~R=X?Y?R 第32页，共81页，编辑于2022年，星期五 2.7 关系的运算 (2) 关系的复合运算 [复合关系] 设二元关系 R:X?Y，S:Y?Z，则称 R☉S={x, z|x?X?z?Z?(?y)(y?Y?xRy?ySz)} 为 R 和 S 的(右)复合关系，或(右)复合运算结果。 注意关系的复合运算定义中的右复合和左复合给出的构造定义不同：右复合 R☉S 中右边的 S 在 R 之后进行第二步复合构造。在函数理论中，与右复合函数 S*R 对应：S*R = R☉S 即 S*R(x)=S(R(x)) 第33页，共81页，编辑于2022年，星期五 2.7 关系的运算 [例] X={x1, x2, x3}，Y={y1, y2, y3, y4}，Z={z1, z2, z3} R={x1, y1,x2, y3,x2, y4} S= {y1, z3,y2, z1,y4, z2} 显然有：Dom(R☉S) ? Dom(R) Ran (R☉S) ? Ran(S) R☉S={x1, z3,x2, z2} 第34页，共81页，编辑于2022年，星期五 2.7 关系的运算 关系的复合运算没有交换律。 [定理] 关系复合运算的结合律：设二元关系 R：X?Y，S：Y?Z， P：Z?W， 则有 (R☉S)☉P=R☉(S☉P) [证明] 第35页，共81页，编辑于2022年，星期五 2.7 关系的运算 [定理] 关系复合运算与一般运算的结合律：设二元关系 R1 : X?Y， R2, R3 : Y?Z， R4 : Z?W，则有 R1☉(R2?R3)=(R1☉R2)?(R1☉R3) R1☉(R2?R3)?(R1☉R2)?(R1☉R3) (R2?R3)☉R4 =(R2☉R4)?(R3☉R4) (R2?R3)☉R4 ?(R2☉R4)?(R3☉R4) [证明]按照定义转换为逻辑运算，证明逻辑等值式。 第36页，共81页，编辑于2022年，星期五 2.7 关系的运算 [关系的幂运算] 设R为X上的二元关系，R☉R☉…☉R 记为 Rn，规定 Rn=Rn?1☉R，R0=IX 注意到笛卡尔乘积 A?A ? .. ?A 记为 [定理] 设R为X上的二元关系，m, n ?N（自然数），则：① Rm ☉ Rn = Rm+n； ② (Rm)n = Rmn 。 第37页，共81页，编辑于2022年，星期五 2.7 关系的运算 [定理] 设R为X上的二元关系，m, n ?N（自然数），则： ① Rm ☉ Rn = Rm+n；② (Rm)n = Rmn 。 ①证明：对任意给定的 m，施归纳于 n。 n=0 时，有 Rm ☉ R0 = Rm ☉IX = Rm = Rm+0 ； 设 n=k 时结论成立，即有 Rm ☉ Rk = Rm+k； 当 n=k