[工学]应用离散数学第四章第1讲.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 定理3(证明(1)) (1) dom(F?G) = domF ? domG 证明: (1) ?x, x?dom(F?G) ? ?y( x(F?G)y ) ? ?y(xFy ? xGy) ? ?y(xFy)??y(xGy) ? x?domF ? x?domG ? x? domF ? domG ? dom(F?G) = domF ? domG. 应用离散数学 第四章 第1讲 基本证明思路： 1. 任意取其中的一个元素；2. 应用dom或ran的概念转化为关系；3. 应用关系的概念转化为逻辑演算；4. 在使用dom或ran的概念。 定理3(证明(4)) (4) ran(F?G) ? ranF ? ranG 证明: (4) ?x, x?ran(F?G) ? ?y( y(F?G)x ) ? ?y(yFx ? yGx) ? ?y(yFx) ? ?y(yGx) ? x?ranF ? x?ranG ? x? ranF ? ranG ? ran(F ? G) ? ranF ? ranG. 应用离散数学 第四章 第1讲 定理3(证明(5)) (5) domF-domG ? dom(F-G) 证明: (5) ?x, x?domF-domG ? x?domF ? x?domG ? ?y(xFy)???y(xGy) ? ?y(xFy)??y(xGy) ? ?y( x(F-G)y ) ? x? dom(F-G) ? domF-domG ? dom(F-G). # 应用离散数学 第四章 第1讲 定理4（证明自学） 定理4: 设F是任意集合, 则 (1) domF-1 = ranF; (2) ranF-1 = domF; (3) (F-1)-1 ? F, 当F是关系时, 等号成立. 应用离散数学 第四章 第1讲 定理4(证明(1)) (1) domF-1 = ranF; 证明: (1) ?x, x?domF-1? ?y(xF-1 y) ? ?y(yFx) ? x?ranF ? domF-1 = ranF. (2)可类似证明. 应用离散数学 第四章 第1讲 定理4(证明(3)) (3) (F-1)-1 ? F, 当F是关系时, 等号成立. 证明: (1) 设F是关系, 则 ?x,y, x,y?(F-1)-1 ? x(F-1)-1y ? yF-1x ? xFy. 这时 (F-1)-1 = F. 当F不是关系时, (F-1)-1?F, 例如, 设 F={a,b,a}, 则 F-1={b,a}, (F-1)-1 ={a,b} ? F ? (F-1)-1 ? F. # 应用离散数学 第四章 第1讲 定理5 定理5: 设R1,R2,R3为集合, 则 (R1○R2)○R3 = R1○(R2○R3) 证明: ?x,y, x,y?(R1○R2)○R3 ? ?z( xR3z ? z(R1○R2)y ) ? ?z( xR3z ? ?t( zR2t ? tR1y ) ) ? ?z?t( xR3z ? ( zR2t ? tR1y ) ) ? ?t?z( xR3z ? zR2t ? tR1y ) 应用离散数学 第四章 第1讲 基本方法： 集合的逻辑演算 定理5(续) 证明(续): ? ?t?z( xR3z ? zR2t ? tR1y ) ? ?t( ?z( xR3z ? zR2t) ? tR1y ) ? ?t( x(R2○R3)t ? tR1y ) ? xR1○(R2○R3)y ? x,y?R1○(R2○R3) ? (R1○R2)○R3 = R1○(R2○R3). # 说明: 定理5说明合成运算具有结合律. 应用离散数学 第四章 第1讲 x z t y R3 R2 R1 总结 1. 有序对与卡氏积: a,b, A?B 2. 二元关系: R?A?B, R?A?A; ?, IA, EA; xRy 3. 二元关系的基本运算: dom(R), ran(R), fld(R); R?A, R[A]; R-1, R○S 应用离散数学 第四章 第1讲 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *