03-关系及其运算.pptVIP

关系及其运算 离散数学：第3讲 上一讲内容的回顾 基本的证明方式 直接使用集合包含或相等定义 利用运算定义作逻辑等值式推演 利用已知恒等式或等式作集合代数推演 循环证明一系列逻辑等值式 关于文氏图的进一步讨论 有限集合的计数 包含-排斥原理 广义并与广义交 二元关系及其运算 集合的笛卡尔乘积 有序对-一种特殊的集合 笛卡尔乘 笛卡尔乘积的性质 二元关系的定义 关系的运算 一般集合运算 与定义域或值域有关的运算 逆运算 复合运算(乘法) 有序对（Ordered pair） a,b是集合{{a},{a,b}}的简写 次序的体现 x,y=u,v iff. x=u 且 y=v 若{{x},{x,y}}={{u},{u,v}}，则{x}={u}或{x}={u,v},因此总有x=u。 假设y?v, （1）若x=y,左边={{x}}, 而v?x,?右边?{{x}}; (2) 若x?y,则必有{x,y}={u,v},但y既非u,又非v,矛盾。 笛卡尔乘积(Cartesian Product) 对任意集合A,B 笛卡尔积 A?B = {a,b|a?A, b?B} 例：{1,2,3}?{a,b} = {1,a, 2,a, 3,a, 1,b, 2,b, 3,b} 若A，B是有限集合， |A?B|= |A|?|B| 关于笛卡尔乘积的性质的讨论（1） A??=??A=? 注意： A??={x,y|x?A且y??} A?B=B?A ? A=B ? A=? ? B=? ? 注意：如何证明“…或者…或者…” 前提： A?B=B?A，额外假设：A?B, A?? 证明： B=? 不满足结合律 A?(B?C)的元素形如a,b,c; 而(A?B)?C的元素形如a,b,c 关于笛卡尔乘积的性质的讨论（2） 对集合交、并满足第一和第二分配律 A?(B?C) = (A?B) ? (A?C) A?(B?C) = (A?B) ? (A?C) 关于笛卡尔乘积的性质的讨论（3） A?C ? B?D ? A?B ? C?D。 对任意的x,y?A?B, 必有：x?A, y?B; 由已知条件可得：x?C, y?D。?x,y?C?D “?”是否成立？ 二元关系的定义 集合 集合的元素是有序对 或者是空集合 从集合A到B的二元关系 笛卡尔乘积的子集 “从A到B的关系”R；R?A?B 可以有A=B： “集合A上的二元关系” 例子 常用的数学关系：不大于、整除、集合包含等 A={1,2,3,4}上的“倍数”、“(x-y)2?A”、“x/y是素数”、不等于 特殊的二元关系 集合A上的空关系? 全域关系EA 恒等关系IA 关系的表示 (假设A={a,b,c,d}, B={α,β,γ}) 集合表示: R1={a,β ,b,α,c, α,c,γ} 关系矩阵 关系图（有向图） 二元关系和有向图 关系的运算: (1) 关系是集合, 所有的集合运算对关系均适用 例子: 自然数集合上: “” ? “=” = “?” 自然数集合上: “?” ? “?” = “=” 自然数集合上: “” ? “” = ? 关系的运算 (2) 与定义域和值域有关的运算 domR = {x | ?y (x,y?R)} ranR = {y | ?x (x,y?R)} FldR = domR ? ranR R ?A = {x,y | xRy ? x?A} ? R R[A] = {y | ?x (x?A ? x,y?R)}= ran(R?A) ? ranR 关系的运算 (3) 逆运算 R-1 = {y,x| x,y?R} 注意:如果R是从A到B的关系,则R-1是从B到A的。 (R-1)-1 = R 例子：(R1?R2)-1 = R1-1?R2-1 x,y?? (R1?R2)-1 ? y,x ?(R1?R2) ? y,x ?R1 或者y,x ?R2 ? x,y ?R1-1 或者x,y ?R2 -1 关系的运算 (4) 关系的复合运算 运算法则： 如果R1?A?B, R2?B?C, 则： R1与 R2的复合关系R1°R2?A?C 且： R1°R2={x,z|x?A, z?C, 且存在 y?B，使得x,y? R1, y,z?R2} 复合关系的图示 x,z?R1°R2 当且仅当 x?A, z?C, 且存在t?B，使得x,t? R1, t,z?R2 关系的复合运算：例子 设A={a,b,c,d}, R1, R2为A上的关系，其中： R1 = {a,a,a,b,b,d} R2 = {a,d,b,c,b,d,c,b} 则： R1? R2 = {a,d,a,c,} R2? R1, = {c,d} R