离散数学412 关系.pptVIP

课件 第4章 关系 第4章 关系 4.1 关系的定义及其表示 4.2 关系运算 4.3 关系的性质 4.4 等价关系与偏序关系 4.1 关系的定义及其表示 4.1.1 有序对与笛卡儿积 4.1.2 二元关系的定义 4.1.3 二元关系的表示 有序对 定义4.1 由两个元素，如x和y，按照一定的顺序 组成的二元组称为有序对，记作 x,y 实例：点的直角坐标 (3,?4) 有序对的性质 有序性 x,y?y,x （当x? y时） x,y与u,v相等的充分必要条件是 x,y=u,v ? x=u ? y=v 例1 2,x+5=3y?4,y，求 x, y. 解 3y?4=2, x+5=y ? y=2, x= ?3 笛卡儿积 笛卡儿积的性质 有序 n 元组和 n 阶笛卡尔积 二元关系的定义 实例 例3 (1) R={x,y | x,y?N, x+y3} ={0,0, 0,1, 0,2, 1,0, 1,1, 2,0} (2) C={x,y | x,y?R, x2+y2=1}，其中R代表实数集合， C是直角坐标平面上点的横、纵坐标之间的关系， C中的所有的点恰好构成坐标平面上的单位圆. (3) R={x,y,z | x,y,z?R, x+2y+z=3}， R代表了空间直角坐标系中的一个平面. 5元关系的实例—数据库实体模型 从A到B的关系与A上的关系 A上重要关系的实例 A上重要关系的实例（续） 关系的表示 实例 4.2 关系运算 4.2.1 关系的基本运算 定义域、值域、域、逆、合成 基本运算的性质 4.2.2 关系的幂运算 幂运算的定义 幂运算的方法 幂运算的性质 关系的基本运算 关系的基本运算（续） 合成运算的图示方法 基本运算的性质 基本运算的性质（续） 基本运算的性质（续） 基本运算的性质（续） 定理4.3 设 R 为 A上的关系, 则  R°IA= IA°R = R 证明任取x, y x, y∈R°IA ? ?t (x, t∈R∧t, y∈IA) ? ?t (x, t∈R∧t=y∧y∈A) ? x, y∈R 从而有R°IA=R. 同理可证 IA°R=R.. A上关系的幂运算定义 幂运算的方法 幂运算的方法（续） 幂运算的方法（续） 幂运算的性质 幂运算的性质（续） 幂运算的性质（续） 幂运算的性质（续） 定理4.6 设R 是A上的关系, 若存在自然数 s, t (st) 使得 Rs = Rt, 则 (1) 对任何 k∈N 有 Rs+k = Rt+k (2) 对任何 k, i∈N 有Rs+kp+i = Rs+i, 其中p = t?s (3) 令S={R0,R1, …, Rt?1}, 则对于任意的 q∈N有 Rq∈S 证明 (1) Rs+k = Rs°Rk = Rt°Rk = Rt+k （2）对 k 归纳. 若k=0, 则有 Rs+0p+i = Rs+i 假设 Rs+kp+i = Rs+i, 其中p = t?s, 则 Rs+(k+1)p+i = Rs+kp+i+p = Rs+kp+i°Rp = Rs+i°Rp = Rs+p+i = Rs+t?s+i = Rt+i = Rs+i 由归纳法命题得证. 幂运算的性质（续） (3) 任取 q∈N, 若qt, 显然有 Rq∈S. 若 q≥t, 则存在自然数 k 和 i 使得 q = s+kp+i，其中0≤i≤p?1. 于是 Rq = Rs+kp+i = Rs+i 而 s+i ≤s+p?1 = s+t?s?1 = t?1 这就证明了 Rq∈S. 课件 * 课件 课件 课件 课件 课件 定义4.2 设A, B为集合，A与B 的笛卡儿积记作A?B， A?B = { x,y | x?A ? y?B }. 例2 A={0, 1}, B={a, b, c} A?B={0,a,0,b,0,c,1,a,1,b,1,c} B?A ={a,0,b,0,c,0,a,1,b,1,c,1} A = {?}, B = ? P(A)?A = {?,?, {?},?} P(A)?B = ? 课件 对于并或交运算满足分配律 A?(B?C)=