离散数学教程-6-1-关系运算.pptVIP

. -吴扬扬制- P75 4 证明:若A??, A?B=A?C，则B=C 证明： 方法1(反证法)： 主要内容： §4.3 关系的运算 关系交并差 关系的逆 求逆关系方法 逆关系的性质 合成关系 求合成关系方法 合成关系的性质 §4.3 关系的运算 1. 交、并、差、补(1) 设A、B是集合，R?A?B, S?A?B, 则 R?S, R?S, R?S 和 §4.3 关系的运算(2) 有限集合上关系的交、并、差和补可用矩阵运算表达: MR?S[i,j]=( MR ? MS )[i, j] = MR [i, j] ? MS [i, j] MR?S[i,j]=( MR ? MS )[i, j] = MR [i, j] ? MS [i, j] MR-S[i,j]=( MR - MS )[i, j] = MR [i, j] ?? MS [i, j] §4.3 关系的运算 2. 关系的逆（1） 定义: 设A、B是集合，R?A?B, 称从B到A的关系 §4.3 关系的运算 2. 关系的逆（2） 性质: 定理4.3.1:设A、B是集合，Ri?A?B (i=1,2), 则 §4.3 关系的运算 2. 关系的逆（3） 例3: 设A为集合，R?A?A，则R是对称的，当且仅当 §4.3 关系的运算 3. 关系的合成（1） 定义: 设A、B、C为集合，R1?A?B，R2?B?C，则称关系 R1oR2={x,z|x?A?z?C??y(y?B?xR1y?yR2z)} 为R1与R2的合成。 例4: 设A={a, b, c}, B={1, 2, 3, 4}, C={?, ?}， R?A?B，S?B?C, R={a,2, a,3, c,1, c,3}, S={1,?, 2,?, 3,?}, 求：RoS . 解: RoS={a,?,c,?} §4.3 关系的运算 3. 关系的合成（2） 关系的合成可用矩阵的运算来实现 §4.3 关系的运算 3. 关系的合成（3） 关系的合成也能用关系图求得 §4.3 关系的运算 3. 合成关系（4） 合成关系的性质 定理4.3.2(结合律): 设A、B、C、D为集合， R1?A?B，R2?B?C，R3?C?D，则R1?(R2?R3)=(R1?R2)?R3 证明：∵ R1?(R2?R3)和(R1?R2)?R3都是A到D的二元关系，且 ?a,d,a,d?R1?(R2?R3) 合成定义 ??b(b?B?a,b?R1?b,d?(R2?R3)) 合成定义 ??b(b?B?a,b?R1??c(c?C?b,c?R2?c,d?R3)) 量词辖域扩张 ??b?c(b?B?a,b?R1?(c?C?b,c?R2?c,d?R3)) 量词辖域收缩 ??c(?b(b?B?a,b?R1?b,c?R2)?c?C?c,d?R3))合成定义 ??c(a,c?(R1?R2)?c?C?c,d?R3) 合成定义 ?a,d?(R1?R2)?R3 ∴ R1?(R2?R3)=(R1?R2)?R3 §4.3 关系的运算 3. 合成关系（2） 定理4.3.3设A、B、C、D为集合，R1?A?B，R2,R3?B?C，R4?C?D，则 (1) R1?(R2?R3)=(R1?R2)?(R1?R3 ) (2) (R2?R3)?R4=(R2?R4)?(R3?R4) 作业：P91 3求RoS,RoR,5(1，2) P91 2.设A是集合，R1,R2 ?A×A，若R1,R2具有某性质，  运算后能否保持性质？ * * 若B?C， 则?b(b?B?b?C或b?C ?b?B)。 不妨设b?B?b?C， ∵ A?? ∴ 有a?A, 使得a,b?A?B, 但a.b? A?C 与 A?B=A?C矛盾 ∴ B=C 方法2(直接证法)：若B=?，则A?B=A?C =? ∵ A?? ∴ C=? ∴ B=C 若 B??, ?b?B ∵ A?? ∴ 有a?A, 使得a,b?A?B, ∵ A?B=A?C ∴ a,b?A?C, ∴ b?C, ∴ B?C, 同理可证 C?B, 因此，必有B=C S都是A和B上的二元关系，并且 x(R?S)y ? (xRy)?(xSy) x(R?S)y ? (xRy)?(xSy) x(R-S)y ? (xRy)?(xSy) xRy ? xRy 例1:设A={a,b,c,d},B={1,2,3},R={