离散数学及应用第3版习题答案习题3.2.docxVIP

应用离散数学 集合与关系 PAGE 杭电－周丽、方景龙 第三章 PAGE 6 §3.2 二元关系及其运算 习题3.2 设，求。 解 ρ(A)={ ?，{?}，{{?}}，{?，{?}}} A?ρ(A) = {?,?, ?,{?}，?,{{?}}，?,{?，{?}}，{?},?, {?},{?}，{?},{{?}}，{?},{?，{?}}} 2. 设是任意集合，若，是否一定有成立？为什么？ 解 当时，若，不一定成立； 当时，若，则一定成立，反证如下： 若不成立，则存在；又因为，所以存在，这样，序偶，与矛盾。 3. 列出集合上的恒等关系，全域关系，小于或等于关系，整除关系所包含的序偶。 解 ， 4. 设，求出下列关系（列出其中的序偶）及其定义域和值域。 （1） （2） （3） （4） 解 R1={1，2，1，4，1，6，2，1，2，2，2，4，2，6，4，1，4，2，4，4，4，6，6，1,6，2,6，4,6，6} ， 定义域和值域都是{1，2，4，6}。 （2）R2={1，2，2，1} ， 定义域和值域都是{1，2}。 （3）R3={1，1，2，1，2，2，4，1，4，2，4，4，6，1，6，6} ， 定义域和值域都是{1，2，4，6}。 （4）R4={1，1，1，2，2，1，2，2，4，1，4，2，6，1，6，2} ， 定义域是{1，2，4，6}，值域是{1，2}。 5.设集合A={0，1，2，3}，给出上的二元关系 的关系矩阵和关系图。 解 MR= 1 0. .1 3. .2 6. 设，和是上的二元关系： 求下列关系及其关系矩阵和关系图。 （1） （2） （3） （4） （5） （6） （7） （8） 解 （1） （2）={b，d} （3） （4）={a，a，a，b} （5）={a，d，a，c} （6） （7）={a，a，a，b，a，d} （8）={a，a， b，a ， d，b} 他们的关系矩阵分别如下： M R?S =1100 01110 M RC =0011 1110111 M R 。S =0000 00 M R 2=1100 他们的关系图分别如下： a a abb a b b dccd d c c d acabd a c a b d b b cd c d a a bcabd b c a b d dc d c ab a b dc d c a a b b cd c d 7. 设是从集合到集合的关系，是从集合到集合的一个关系，是从集合到集合的一个关系，证明下列等式。 （1） （2） （3） （4） 解 （1）设x,y? R?(S1∪S2) ??t(x,t∈ R∧t,y∈ S1 ∪S2) ??t(x,t∈ R∧(t,y∈ S1∨t,y∈S2)) ??t((x,t∈ R∧t,y∈ S1) ∨ (x,t∈ R∧ t,y∈S2)) ??t((x,t∈ R∧t,y∈ S1) ∨ ?t (x,t∈ R∧ t,y∈S2)) ?x,y? R?S1 ∨ x,y? R? S2 ?x,y? R?S1 ∪ R? S2 所以，。 （2） 所以，。 （3）设x,y? (S1∪S2) ?T ??t(x,t∈ S1 ∪S2∧t,y∈T) ??t((x,t∈ S1∨x,t∈ S2)∧t,y∈T) ??t((x,t∈ S1∧t,y∈T) ∨ (x,t∈ S2∧ t,y∈T)) ??t((x,t∈ S1∧t,y∈T) ∨ ?t (x,t∈ S2∧ t,y∈T)) ?x,y? S1?T ∨ x,y? S2?T ?x,y? S1?T∪S2?T 所以，。 （4）x,y? (S1?S2) ?T ??t(x,t∈ S1 ?S2∧t,y∈T) ??t((x