证对称任取.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 解答 (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导出的划分. 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} * 练习4 例15 设X为集合, A＝P(X)－{?}－{X}, 且A≠?. 若|X|=n, n≥2. 问： (1) 偏序集 A, R? 是否存在最大元？ (2) 偏序集 A, R? 是否存在最小元？ (3) 偏序集 A, R? 中极大元和极小元的一般形式是什么？ 并说明理由. 解 (1) A, R? 不存在最小元和最大元, 因为n≥2. (2) A, R? 的极小元就是 X 的所有单元集, 即{x}, x∈X. (3) A, R? 的极大元恰好比 X 少一个元素, 即X?{x}, x∈X. * 练习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?ySy ? x,yTx,y (2) 反对称性 任取x,y,u,v x,yTu,v?u,vTx,y ? xRu ? ySv ? uRx ? vSy ? (xRu ?