离散数学 第四章 二的元关系和函数.pptVIP

第4章 二元关系与函数;4.1 集合的笛卡儿积和二元关系;有序对;有序 n 元组;笛卡儿积;笛卡儿积的性质;性质的证明;例题 ;二元关系的定义;从A到B的关系与A上的关系;A上重要关系的实例;A上重要关系的实例（续）;实例;关系的表示;实例;基本运算定义 定义域、值域、域 逆、合成、限制、像 基本运算的性质 幂运算 定义 求法 性质;关系的基本运算定义;关系的基本运算定义（续）;合成运算的图示方法;限制与像;关系基本运算的性质 ;定理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 ;A上关系的幂运算;幂的求法;同理，R0=IA, R3和R4的矩阵分别是： 因此M4=M2, 即R4=R2. 因此可以得到R2=R4=R6=…, R3=R5=R7=…;R0, R1, R2, R3,…的关系图如下图所示;幂运算的性质;定理4 设 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.