离散数学课件_第四章_二元关系习题.ppt

ⅰ)证自反性，即证对(?x)(x∈A→x,x∈ R∩(AXA))为真，而 (?x)(x∈A→x,x∈ R∩(AXA)) ＝(?x)(?x∈A∨x,x∈ R∩(AXA)) ＝(?x)(?x∈A∨(x,x∈ R∧x,x∈ (AXA))) ＝(?x)((?x∈A∨x,x∈R) ∧(?x∈A∨x,x∈(AXA))) ＝ (?x)(?x∈A∨x,x∈R) ∧ (?x)(?x∈A∨x,x∈(AXA)) （全称量词对∧的可分配性．） ＝ (?x)(x∈A→x,x∈R) ∧ (?x)(x∈A→x,x∈(AXA)) ＝T∧T=T自反性得证． * ⅱ)证反对称性即证对 (?x)(?y)(x,y∈A∧x,y∈R∩(AXA)∧ y,x∈R∩(AXA) →x=y)为真 上式= (?x)(?y)(?(x,y∈A∧x,y∈R∩(AXA)∧ y,x∈R∩(AXA))∨x=y) =(?x)(?y)(?(x,y∈A)∨?x,y∈R∨?x,y∈ (AXA)∨?y,x∈R ∨?y,x∈(AXA)∨x=y) =(?x)(?y)(( ?(x,y∈A)∨?x,y∈R∨ ?y,x∈R∨x=y)∨(?(x,y∈A)∨?x,y∈(AXA) ∨ ?y,x∈(AXA)∨x=y)) 而上式可由(?x)(?y)(( ?(x,y∈A)∨?x,y∈R∨ ?y,x∈R∨x=y) ∨ (?x)(?y)((?(x,y∈A)∨?x,y∈(AXA) ∨?y,x∈(AXA)∨x=y))逻辑地推出 * 显然此式为真(已知条件)，于是(?x)(?y)(x,y∈A∧x,y∈R∩(AXA)∧ y,x∈R∩(AXA) →x=y)为真 ⅲ)再证R∩(AXA)是可传递的，即证 (?x)(?y)(?z)((x,y,z∈A∧x,y∈R∩(AXA)∧y,z∈R∩(AXA) → x,z∈R∩(AXA))为真,而上式 = (?x)(?y)(?z)(?(x,y,z∈A)∨?x,y∈R ∨?x,y∈(AXA)∨?y,z∈R∨ ?y,z∈(AXA)∨(x,z∈R∧x,z∈(AXA))) * 对上式使用∨对∧的分配律，再利用全称量词对∧的可分配性及已知条件，问题可得证． * * 第四章 二元关系习题 练习 １、(79页第３题) R1,R2是集合Ｘ中的关系，试证明： (1)r(R1?R2)=r(R1) ?r(R2) (2)s(R1?R2)=s(R1) ?s(R2) (3)t(R1?R2)?t(R1) ?t(R2)（书上是等号） 证明(1)左边=r(R1?R2) 　　　　　=R1?R2 ?Ix 右边= r(R1) ?r(R2) =R1 ? Ix ?R2 ? Ix =R1?R2 ?Ix (1)式得证。 * 证(2)左边=s(R1?R2) =(R1?R2) ?(R1 ? R2) ? = R1?R2 ? R1?? R2? = (R1? R1?) ? (R2 ? R2?) =s(R1) ?s(R2) (2)得证。 * 证(3)t(R1?R2)?t(R1) ?t(R2) t(R1?R2)=(R1?R2) ?(R1?R2)2 ?┄? (R1?R2)n 而(R1?R2)2= (R1?R2)o (R1?R2) =((R1?R2)oR1) ?((R1?R2)oR2) = R12?R2oR1?R1oR2?R22?R12? R22 ┅ (R1?R2)n ?R1n? R2n 于是有(R1?R2) ? (R1?R2)2 ?┅? (R1?R2)n ? R1? R12?┅? R1n ? R2 ? R22 * ? R22┅? R2n 即t(R1?R2)?t(R1) ?t(R2) (3)得证． ２、(85页第１题) 设｛Ａ1,Ａ2, ┄,Ａn｝是集合Ａ的划分，试证明：｛Ａ1∩Ｂ，Ａ2∩Ｂ, ┄,Ａn ∩Ｂ｝是集合Ａ ∩Ｂ的划分． 证明：因为Ａ1?Ａ 　　　　　　　　Ａ2?Ａ ┄ * Ａn?Ａ 于是有Ａ1∩B?Ａ∩B 　Ａ2 ∩B ?Ａ∩B ┄ Ａn ∩B ?Ａ∩B 并且Ａ1∩B?Ａ2∩B ? ┄ ?Ａn ∩B =(Ａ1 ?Ａ2 ? ┄ ?Ａn) ∩B = A∩B. 对任何(Ａi∩B) ∩(Ａj∩B)=(Ａi∩Ａj) ∩B=Φ∩B= Φ (i≠j) 　　　 * 3.(85页第２题） 把n个元素的集合划分为两个类，共有多少种不同的分法？