二元关系、代数系统的一般性质(习题答案)
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
1.
,为上关系,关系图为 下图,则
具有性质()
A .反自反
B. 对称
C .反对称
D .传递
2.给定A={1,2,3,4},A 上的关系R={(1,3),(1,4),(2,3),(2,4),(3,4)}满足的性质是 ( )。 A .自反的 B .对称的 C .传递的 D .不可传递的
3.R={<1,1>,<2,2>,<2,3>,<4,4>},S={<1,1>,<2,2>,<2,3>,<3,2>,<4,4>}。则S 是R 的 对称 闭包。
4、已知集合
{,,}A a b c =,A 上的两个关系:1{,,,,,}R a b a c b c =<><><>,
2{,,,}R a b a a =<><>,则12R R =( )
。 A.
φ B.{,,,,,}a b a c b c <><><>
C.{,,,}a b a c <><>
D.{,,,}a b a a <
><>
5.对集合A={1,2,3,4,6,8,12,14}中的整除关系, 画出哈斯图,并写出集合A 中的最大元, 最小元, 极大元, 极小元。
6。集合
}4,3,2,1{=A ,A 上的关系}4,3,3,2,1,2,2,1{><><><><=R ,
求)(R r 、)(R s 、)(R t ,并分别画出它们的关系图。(12分)
解:}4,4,3,3,2,2,1,1{E ><><><><=A
}
4,4,3,3,2,2,1,1,4,3,3,2,1,2,2,1{)(><><><><><><><><==A E R R r
}3,4,2,3,2,1,1,2{1><><><><=-R
}3,4,2,3,4,3,3,2,1,2,2,1{)(1><><><><><><==-R R R s }4,2,2,2,3,1,1,1{2><><><><==R R R }3,2,1,2,4,1,2,1{23><><><><==R R R }4,2,2,2,3,1,1,1{34><><><><==R R R
}
4,1,4,2,2,2,3,1,1,1,4,3,3,2,1,2,2,1{)(4
32><><><><><><><><><==R R R R R t
…………(9分)
)(R r 的关系图1所示:
3
4
1
2
…………(10分)
)(s R 的关系图2所示:
…………(11分)
)(t R 的关系图3所示:
…………(12分)
7、设R 是集合}5,4,3,2,1{=S
上的关系
}
5,5,2,5,4,4,3,3,1,3,5,2,2,2,3,1,1,1{><><><><><><><><><=R (1)画出R 的关系图;
(4分) (2)证明
R 是等价关系;
(5分) (3)求由R 决定的S 的一个划分。(5分) 解:(1)R 的关系图如下:
图1
3 1
图2
4
2
3 4
1 2
图3
4
2
1
…………(4分)
(2)由
R 的关系图知,每个结点均有子回路,说明R 是自反的;
结点1与3,2与5之间的边都是有一对方向相反的边,说明R 是对称的; 逐个检查有序偶,可知R 具有传递性;
故R 是S 上的等价关系。 …………(9分)
(3)
}
3,1{]1[R =,
}
3,1{]3[R =,
}
5,2{]2[R =,
}
5,2{]5[R =,
}4{]4[R =
…………(12分)
∴S 的一个划分是:}}4{},5,2{},3,1{{}]4[,]2[,]1{[R /S R R R == …………(14
分)
8、设为一个偏序集,其中,A = {1, 2, 3, 4, 6, 8},
R 是A 上的整除关系。
(1)画出R 的哈斯图;
(4分) (2)求
A 的极大元和极小元;
(4分) (3)求B = {2, 3}的最小上界和最大下界。(4分)
解:
}
,8,8,6,6,8,4,4,4,6,3,3,3,8,2,6,2,
4,2,2,2,8,1,6,1,4,1,3,1,2,1,1,1{><><><><><><><><><><><><><><><><=R
(1)哈斯图:
6
1
2
3
4 8
(2)从哈斯图中可以看出:
A的极大元为6, 8;极小元为1。
(3)B = {2, 3}的最小上界为6.
最大下界为1。
9.若为有理数集,上定义运算*为,则〈,*〉的幺元是()A.a B.b C.1 D.0
10.整数集Z关于普通加法运算的幺元是0
11.设运算如下定义:
(1) 是实数集上的二元运算吗? (2) 满足结合律吗?
(1) 是实数集上的二元运算(2) 对任意a,b,c属于R,
(a*b)*c=(a+b-3ab)*c=a+b-3ab+c-3(a+b-3ab)*c=a+b+c-3ab-3ac-3bc+9abc
a*(b*c)=a*(b+c-3bc)=a+b+c-3bc-3a(b+c-3bc)=a+b+c-3ab-3ac-3bc+9abc 所以(a*b)*c=a*(b*c),所以满足结合律。