离散数学第4章(屈).ppt

第4章 关系;4.1 关系的定义及其表示;定义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 阶笛卡尔积 ;二元关系的定义;实例;5元关系的实例—数据库实体模型;从A到B的关系与A上的关系;A上重要关系的实例;A上重要关系的实例（续）;矩阵的定义;定义 ;矩阵的乘法;关系的表示;实例;4.2.1 关系的基本运算 定义域、值域、域、逆、合成 基本运算的性质 4.2.2 关系的幂运算 幂运算的定义 幂运算的方法 幂运算的性质;关系的基本运算;关系的基本运算（续）;合成运算的图示方法;若X={x1,x2,x3,…xm} Y={y1,y2,y3,…yn} Z={z1,z2,z3,…zp} R是X到Y的关系，关系矩阵MR是m×n阶矩阵, S是Y到Z的关系，关系矩阵MS是n×p阶矩阵. 设C=R ? S, 关系矩阵MC为m×p阶矩阵，其中;R是X到Y的关系，S是Y到Z的关系， R={(1,2),(3,4),(2,2)}， S={(4,2),(2,5),(3,1),(1,3)}，则;基本运算的性质 ;定理4.2 设F, G, H是任意的关系, 则 (1) (F°G)°H=F°(G°H) (2) (F°G)?1= G?1°F?1 证 (1) 任取x,y,  x, y?(F°G)°H ? ?t (x, t∈F°G∧t, y∈H) ? ?t (?s (x, s∈F∧s, t∈G)∧t, y∈H) ? ?t ?s (x, s∈F∧s, t∈G∧t, y∈H) ? ?s (x, s∈F∧?t (s, t∈G∧t, y∈H)) ? ?s (x, s∈F∧s, y∈G°H) ? x, y∈F°(G°H) 所以 (F°G)°H = F°(G°H);(2) 任取x, y,  x, y∈(F°G)?1  ? y, x∈F°G ? ?t (y, t∈F∧(t, x)∈G) ? ?t (x, t∈G?1∧(t, y)∈F?1) ? x, y∈G?1°F?1 所以 (F°G)?1 = G?1°F?1 ;定理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上关系的幂运算定义;幂运算的方法;同理R3和R4的矩阵是： 因此M4 = M2, 即R4 = R2. 因此可以得到R2 = R4 = R6 = …, R3 = R5 = R7 = …而R0 = IA的关系矩阵;用关系图的方法得到R0, R1, R2, R3,…的关系图如下图所示;幂运算的性质;定理4.5 设 R 是 A 上的关系, m, n∈N, 则 (1) Rm°Rn = Rm+n (2) (Rm)n = Rmn 证 用归纳法 (1) 对于任意给定的 m∈N, 施归纳于 n.若n=0, 则有 Rm°R0 = Rm°IA= Rm = Rm+0 假设 Rm°Rn = Rm+n, 则有Rm°Rn+1 = Rm°(Rn°R) = (Rm°Rn)°R = Rm+n+1 , 所以对一切 m, n∈N 有 Rm°Rn = Rm+n. ;(2) 对于任意给定的 m∈N, 施归纳于 n. 若 n = 0, 则有 (Rm)0 = IA = R0 = Rm×0 假设 (Rm)n = Rmn, 则有 (Rm)n+1 = (Rm)n°Rm = (Rmn)°Rm = Rmn+m = Rm(n+1) 所以对一切 m, n∈N 有 (Rm)n = Rmn. ;定理4.6 设R 是A上的关系, 若存在自然数 s, t (st) 使得 Rs