习题十二序关系.docVIP

习题十二:序关系 1．设集合为｛3，5，15｝，｛1，2，3，6，12｝，｛3，9，27，54｝，偏序关系为整除，画出这些集合的偏序关系图，并指出哪些是全序关系。 2．设是上的二元关系，如果是传递的和反自反的，称是拟序关系。证明： a）如果是上的拟序关系，则是偏序关系。 b）如果是一偏序关系，则-是一拟序关系。 3．设是集合上的关系，是的子集，定义上的关系如下 确定下述每一断言是真还是假。 a 如果在上是传递的，那么在上是传递的。 b）如果是上的偏序关系，那么是上的偏序关系。 c）如果是上的拟序关系，那么是上的拟序关系。 d）如果是上的线序关系，那么是上的线序关系。 e）如果是上的良序关系，那么是上的良序关系。 4．找出在集合｛0，1，2，3｝上包含序偶和的线序关系。 5．构造下述集合的例子。 a）非空线序集，其中某些子集没有最小元素。 b）非空偏序集，它不是线序集，其中某些子集没有最大元。 c 一偏序集有一子集，它存在一最大下界，但没有最小元素。 d）一偏序集有一子集，它存在一上界，但没有最小上界。 6．设集合 ｛, , , ,｝上的偏序关系如图3-12.10所示。找出的最大元素，最小元素，极小元素，极大元素。找出子集｛ , ,｝,｛ , ,｝和｛,,｝的上界、下界、上确界、下确界。 7．图3-12.11给出了集合｛1，2，3，4｝上的四个偏序关系图，画出它们的哈斯图，并说明哪一个是全序关系，哪一个是良许序关系。 图3-12.10 8. 设，画出其对应格的哈斯图。 9. 集合上的二元关系R为： （1）写出R的关系矩阵； （2）判断R是不是偏序关系，为什么？ 10. 对图2-9所示的哈斯图回答下列各问： 下列关系中哪一个是真的？，，，，。 求出的最大成员和最小成员（如果存在的话）。 求出P中的极大成员和极小成员。 求出子集和的上界、下界、上确界和下确界（如果存在的话）。 11. 设A为由54的因子构成的集合，，且，。画出偏序集的哈斯图。 12. R是集合A上的关系。下列哪些是偏序？若不是，说明哪些条件不满足。 （1）A是整数集，当且仅当; （2）A是集合S的幂集，R是集合包含关系。 13. 画出下列集合上整除关系的哈斯图，并指出它们的最大元、极大元、最小元、极小元。 （1）； （2）。 14. 设有偏序集如图2-10所示，又设A的子集。试求B的上界、下界、上确界及下确界。 15. 设集合，是集合A的子集，试给出的哈斯图，并指出子集的极大元、极小元、最大元、最小元、上界、下界、上确界及下确界（如果存在的话）。 16. 图2-11给出了集合上的4个偏序关系图，画出它们的哈斯图，并说明哪一个是全序，哪一个是良序？ 17. 给出含有3个元素的所有不同的偏序集的哈斯图。 x11 x3 x5 x221 x4 a b c d 1 2 3 4 1 2 3 4 1 2 3 4 1 2 3 4 图3-12.11 x4 x5 x3 x1 x2 图2-9 e 图2-10 f d b a c 2 4 2 1 1 4 1 3 4 2 2 4 1 3 3 3 （3） （4） （1） （2） 图2-11