题目
设 为一个偏序集,其中 A = 1, 2, 3, 4, 6, 8, 9, 10, 12, 16, 24, 48,R 是 A 上的整除关系。(1)画出 R 的哈斯图;(2)求 A 的极大元和极小元,最大元和最小元;(3)求 B = 2, 3, 4 的最小上界和最大下界。
题目解答
答案
1. 哈斯图结构(基于整除关系的覆盖关系):
- 层级结构如下:
- 第0层:$1$
- 第1层:$2, 3, 10$
- 第2层:$4, 6, 9$
- 第3层:$8, 12$
- 第4层:$16, 24$
- 第5层:$48$
- 主要覆盖边:
- $1 \to 2, 3, 10$
- $2 \to 4, 6$;$3 \to 6, 9$
- $4 \to 8, 12$;$6 \to 12$
- $8 \to 16, 24$;$12 \to 24$
- $16 \to 48$;$24 \to 48$
- 注:$10$ 仅与 $1$ 相连,无其他上下层连接。
2. 极大元、极小元、最大元、最小元:
- 极大元:无上层元素者 → $9, 10, 16, 48$
- 极小元:无下层元素且不可被更小元素整除 → $1$(注意:$10$ 虽无下层,但 $1 \mid 10$,故非极小元)
- 最大元:不存在(因 $10 \nmid 48$ 且 $48 \nmid 10$,无元素可被所有元素整除)
- 最小元:$1$(因 $1 \mid a$ 对所有 $a \in A$ 成立)
3. 子集 $B = \{2, 3, 4\}$ 的界:
- 上界集合:满足 $2 \mid x, 3 \mid x, 4 \mid x$ 的元素 → $\{12, 24, 48\}$
- 最小上界:该集合中最小元素(按整除关系)→ $12$
- 下界集合:满足 $x \mid 2, x \mid 3, x \mid 4$ 的元素 → $\{1\}$
- 最大下界:该集合中最大元素 → $1$