哈斯图寻找极小元与极大元最小元与最大元上界与下界最小上界（上确界）和最大下界（下确界）（一。。。.pdfVIP

哈斯图寻找极⼩元与极⼤元最⼩元与最⼤元上界与下界最⼩上界（上确界）和最

⼤下界（下确界）（⼀。。。

⽬录

⽰例

前置知识：

1）偏关系与偏集

2）哈斯图的概念及绘画

⽰例是整除关系，C表⽰全集{1,2,3,6,12,24,36}。画出哈斯图，为⽅便理解，由下往上分为5⾏。

极⼩元与极⼤元

定义：

判断标准：列出⼦集中所有元素的关系，利⽤定义判断。

通常（有特例，不建议以此为判断标准），在⼦集B中，最上⾯⼀⾏元素是极⼤元；最下⾯⼀⾏元素是极⼩元。

极⼤元与极⼩元不是唯⼀的。

解释：

1）⼦集{2,3}中，2,3不可⽐较，因此⼦集中既没有⽐2,3更⼤的元素，也没有⽐2,3更⼩的元素，所以2,3既是极⼤元，⼜是极⼩元。

2）⼦集{1,2,3}中，1≤2，1≤3,2,3不可⽐较，因此⼦集中没有⽐1更⼩的元素，没有⽐2,3更⼤的元素，所以1是极⼩元，2，3是极

⼤元。

3）4）留给读者⾃⼰分析。

最⼩元与最⼤元

定义：

判断标准：先求出该⼦集的极⼩元与极⼤元。如果极⼩元只有⼀个，那么最⼩元就是该极⼩元；若极⼩元有多个，就没有最⼩元。最⼤元的

判断同理。

解释：

2）⼦集{1,2,3}中，极⼩元是1，极⼤元是2,3。极⼩元只有⼀个数，因此最⼩元就是极⼩元。极⼤元有两个数，因此没有最⼤元。

1）3）4）留给读者⾃⼰分析。

上界与下界

定义：

判断标准：就是在全集⾥⾯，寻找⽐⼦集B的所有元素都⼤（都⼩）的元素。（注意，在哈斯图⾥，可以认为⼀个元素⼩于本⾝的同时⼤于

本⾝。）

最⼩上界(上确界)和最⼤下界(下确界)

判断标准：上确界就是上界⾥⾯最⼩的元素，下确界就是下界⾥⾯最⼤的元素。

有⽤的技巧：⼦集B如果有最⼤元，上确界就是该最⼤元。如果有最⼩元，下确界就是该最⼩元。

练习题

设集合A={1,2,3,6,8,12,24,36}上的整除关系R的哈斯图，如图所⽰。试求⼦集B={2,6,8}的极⼤元，极⼩元，最⼤元，最⼩元，上界，下

界，上确界，下确界。

答案：（建议先⾃⼰做）

0

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

14

13

12

11

10

9

8

7

6

5

4

3

2

1

0

极⼤元：6,8

极⼩元：2

最⼤元：⽆

最⼩元：2

上界：24

下界：1,2

上确界：24

下确界：2