第四章 二元关系-4th-zhou-2.ppt

*/43 作业 89页1 90页3,4，5，6，7 95页1，4，5,6 练习1 1．设A = {1, 2, 3}, R = {x,y | x, y?A且x+2y ? 6 }， S = {1,2, 1,3,2,2}, 求: (1) R的集合表达式 (2) R?1 (3) dom R, ran R, fld R (4) R?S, R3 (5) r(R), s(R), t(R) 解答 (1) R = {1,1, 1,2, 2,1, 2,2, 3,1} (2) R?1 = {1,1, 2,1, 1,2, 2,2, 1,3 } (3) domR = {1, 2, 3}, ranR = {1,2}, fldR = {1, 2, 3} (4) R?S = {1,2, 1,3, 2,2, 2,3, 3,2, 3,3} R3 = {1,1, 1,2, 2,1, 2,2, 3,1, 3,2} (5) r(R) = {1,1, 1,2, 2,1, 2,2, 3,1, 3,3} s(R) = {1,1,1,2,2,1, 2,2, 3,1, 1,3} t(R) = {1,1, 1,2, 2,1, 2,2, 3,1, 3,2} 练习2 2．设A={1,2,3,4}，在A?A上定义二元关系R： x,y,u,v?R ? x+y = u+v， 证明R为等价关系并求R导出的划分. A?A={1,1, 1,2, 1,3, 1,4, 2,1, 2,2, 2,3, 2,4,3,1, 3,2, 3,3, 3,4, 4,1, 4,2, 4,3, 4,4} 根据 x,y 中的 x+y = 2, 3, 4, 5, 6, 7, 8 将A划分成等价类： A/R={{1,1}, {1,2,2,1}, {1,3, 2,2, 3,1}, {1,4, 2,3, 3,2, 4,1}, {2,4, 3,3, 4,2}, {3,4, 4,3}, {4,4}} 3．设R是Z上的模 n 等价关系, 即 x?y ? x ? y(modn), 试给出由R确定的Z的划分?. 练习3 解 设除以 n 余数为 r 的整数构成等价类 [r]，则 [r] ={ kn+r | k?Z }, r = 0, 1, …, n?1 ? = { [r] | r = 0, 1, …, n?1} 图11 练习4 4．设偏序集 A, R 的哈斯图如图所示. (1) 写出A和R的集合表达式 (2) 求该偏序集中的极大元、极小元、最大元、最小元 解 (1) A = {a, b, c, d, e} R = {d,b, d,a, d,c, e,c, e,a, b,a, c,a}?IA (2) 极大元和最大元是a, 极小元是d, e； 没有最小元. a b c d e 练习5 5．设R是A上的二元关系， 设 S = {a,b | ?c(a,c?R?c,b?R)}. 证明如果R是等价关系，则S也是等价关系。 证 R是A上的等价关系. (1) 证自反 任取x, x?A ? x,x?R ? ?x (x,x?R?x,x?R) ? x,x?S (2) 证对称 任取x,y, x,y?S ? ?c(x,c?R?c,y?R) ? ?c (c,x?R?y,c?R) ?y,x?S (3) 证传递 任取x,y, y,z, x,y?S ? y,z?S ? ?c (x,c?R?c,y?R) ? ?d (y,d?R?d,z?R) ? x,y?R?y,z? R ? x,z?S 6．设偏序集A,R和B,S，定义A?B上二元关系T: x,yTu,v ? xRu ? ySv 证明T为偏序关系. 练习6 证 (1) 自反性 任取x,y, x,y?A?B ? x?A?y?B ? xRx?y