二元关系习题讲解.ppt

* 二元关系 二元关系基本概念(重点) 关系的运算 关系的性质(重点) 关系的闭包运算 等价关系与偏序关系(难点) * 例5 判断下述关系所具备的性质。 (1)集合A上的恒等关系，全域关系。 (2)R1={<x,y>｜x≤y， x,y∈N}注：将≤改为＜? (3)R2={<x,y>｜x|y，x,y∈N-{0}} (4)R3={<S1,S2>｜S1?S2，S1,S2∈P(S)}其中P(S)是S的幂集。注：若?改为?? (5)R4={<x,y>｜x+y=偶数，x,y∈N} (6)R5={<x，y>｜ x ? y(mod3), x,y∈Z} 关系的性质 1．设A={1,2,3,4}，在A?A上定义二元关系R： <<x,y>,<u,v>>?R ? x+y = u+v， 求R导出的划分. 2．设R是Z上的模 n 等价关系, 即 x?y ? x ? y(modn), 试给出由R确定的Z的划分?. * 等价关系 1.设集合A={a,b,c,d,e,f,g,h}，对应的哈斯图见下图令B1={a,b}，B2={c,d,e}。求出B1，B2的最大元、最小元、极大元、极小元、上界、下界、上确界、下确界。 * e a b c d f g h 偏序关系 集合 最大元 最小元 极大元 极小元 上界 下界 上确界 下确界 B1 无 无 a,b a,b c,d,e,f,g,h 无 c 无 B2 无 c d,e c h a,b,c h c * 2.设集合X={x1,x2,x3,x4,x5}上的偏序关系如下图所示，求X的最大元、最小元、极大元、极小元。求子集X1={x2,x3,x4}，X2={x3,x4,x5}，X3={x1,x3,x5}的上界、下界、上确界、下确界、最大元、最小元、极大元和极小元。 x1 x2 x3 x5 x4 作业 集合 最大元 最小元 极大元 极小元 上界 下界 上确界 下确界 X1 无 x4 x2，x3 x4 x1 x4 x1 x4 X2 x3 无 x3 x4，x5 x3，x1 无 x3 无 X3 x1 x5 x1 x5 x1 x5 x1 x5 X x1 无 x1 x4，x5 * * *