本科课件-离散数学（完整）.ppt

运算共性的研究(如何理解一个新的运算) 运算 基本概念 基本性质 一元运算：对合律等 二元运算：交换律、结合律等 与比较运算的关系 与其他运算的关系 对性质的封闭性 关系复合运算的性质 定理5.4.4 设R是A到B的二元关系,IA,IB分别是A和B上的相等关系,则 IA·R=R·IB=R 例：令A={1,2,3}, B={a,b,c,d} 1。 2。 3。 A IA 。 。 。 B a b c 。 d R 1。 2。 3。 A R IB 。 。 。 a b c 。 d 。 。 。 B a b c 。 d 1。 2。 3。 A B 定理5.4.5 设R1是从A到B的关系,R2和R3是从B到C的关系,R4是从C到D的关系,则 若R2?R3 那么 R1R2?R1R3且 R2R4?R3R4 R1(R2∪R3)=R1R2∪R1R3 (R2∪R3)R4=R2R4∪R3R4 R1(R2∩R3)?R1R2∩R1R3 (R2∩R3)R4?R2R4∩R3R4 (R1R2)-1?R2-1R1-1 证明(1) ?a,c? R1R2 则?b，b ?B使得 aR1b 且 bR2c ∵ R2 ? R3 ∴ bR3c 即a,c? R1R3 ∴ R1R2 ? R1R3 类似可证R2R4 ? R3R4 证明(2) 任取a,c∈R1(R2∪R3) ? ?b(b∈B∧a,b∈R1∧b,c∈R2∪R3) ??b(b∈B∧a,b∈R1∧(b,c∈R2∨b,c∈R3)) ??b((b∈B∧a,b∈R1∧b,c∈R2)∨ (b∈B∧a,b∈R1∧b,c∈R3)) ??b(b∈B∧a,b∈R1∧b,c∈R2)∨ ?b(b∈B∧a,b∈R1∧b,c∈R3) ?a,c∈R1R2∨a,c∈R1R3 ?a,c∈(R1R2)∪(R1R3) 所以R1(R2∪R3)=(R1R2)∪(R1R3) 证明(4) 任取a,c∈R1 (R2∩R3) ? ?b(b∈B∧a,b∈R1∧b,c∈R2∩ R3) ??b(b∈B∧a,b∈R1∧(b,c∈R2∧b,c∈ R3)) ??b((b∈B∧a,b∈R1∧b,c∈R2) ∧ (b∈B∧a,b∈R1∧b,c∈ R3)) ??b(b∈B∧a,b∈R1∧b,c∈R2)∧ ?b(b∈B∧a,b∈R1∧b,c∈ R3) ?a,c∈R1R2 ∧a,c∈R1 R3 ?a,c∈(R1R2)∩(R1R3) 所以 R1 (R2∩ R3)?(R1R2)∩(R1R3) 定理5.4.6 设R1和R2是由A到B的关系， S1和S2是由B到C的关系，若 R1 ? R2 , S1 ? S2 ,则 R1S1 ? R2S2 定理5.4.7 设R1是从A到B的关系,R2是从B到C的关系,R3是从C到D的关系,则 (R1R2)R3=R1(R2R3) (复合运算满足结合律) 证明：?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(c∈C∧(b∈B∧a,b∈ R1 ∧b,c∈ R2 ∧c,d∈ R3)) ??c (c∈C∧?b(b∈B∧a,b∈ R1 ∧b,c∈ R2)∧c,d∈ R3) ??c (c∈C∧a,c∈ R1 R2)∧c,d∈ R3) ?a,d∈(R1 R2) R3 关系R的幂 当R是A上的一个关系时,R可与自身合成任意次而形成A上的一个新关系，即 RR=R2， R2R=RR2 =R3，… 定义5.4.4 设R是集合A上的二元关系,n∈N,那么R的n次幂记为Rn,定义如下: (1) R0 =IA (2) Rn=Rn-1·R 定理5.4.8 设R是A上的关系, m,n ∈Z,那么 (1) (Rn)-1=(R-1) n (2) Rm·Rn=Rm+n (3) (Rm)n=Rmn 定理5.4.9 设R是n元有限集A上的关系,那么?s,t?Z，使Rs=Rt而 0≤s＜t≤ 证明：为方便起见，记 因为总共只有m个定义在n元有限集A上的不同的关系，所以 以下m+1个R的方幂 R0, R1, R2,…, Rm 之中，必有相同者。所以存在s和t， 0≤s＜t≤m 使 Rs=Rt 鸽巢原理（抽屉原则） 定理5.4.10 设R是集合A上的一个二元关系.若?s,t?Z, s＜t,使Rs=Rt.记p=t-s,那么 (a) 对所有i?Z, Rs+i=Rt+i (b) 对所有k,i ?Z, Rs+kp+i=Rs+i