华南理工离散复习.pptVIP

**************************************************练习44．设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)domR,ranR,fldR(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}*练习55．设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}}*6．设R是Z上的模n等价关系,即x?y?x?y(modn),试给出由R确定的Z的划分?.练习6解设除以n余数为r的整数构成等价类[r]，则[r]={kn+r|k?Z},r=0,1,…,n?1?={[r]|r=0,1,…,n?1}*图11练习77．设偏序集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；没有最小元.abcde*练习88．设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*9．设偏序集A,R和B,S，定义A?B上二元关系T:x,yTu,v?xRu?ySv证明T为偏