复旦大学 计算机院 赵一鸣 离散数9学(中文课件)5.pptVIP

4.偏序集合中的几个特殊元素 定义：设(A,≤)是一个偏序集合, B?A,若存在一个元素b?B,对所有b‘?B都有b’≤b, 则称b是B的最大元；若都有b≤b‘, 则称b是B的最小元。特别B=A时，称b为A的最大元或最小元。 例：A1={1,2,3,4,5,6},(A1,?) 1为A1的最小元，6为A1的最大元 (A1,|) A1的最小元为1，A1的最大元无。 A2={2,3,6,12,24,36},(A2,|) A2既无最小元，也无最大元。 偏序集或它的子集不一定存在最小元(最大元) 偏序集存在最小元(最大元)，它的子集也不一定存在最小元(最大元) 定理：在(A,≤)中，B?A，若B存在最大元(最小元)，则必唯一。 证明：假设B有两个最大元a1,a2, 定义：设(A,≤)是一个偏序集合, B?A,若存在一个元素b?B, 且在B中不存在元素b‘使b?b’,b≤b‘,则称b是B的极大元；若B中不存在元素b’使b?b‘, b’≤b,则称b是B的极小元。特别B=A时，称b为A的极大元(极小元) 注意极大元与最大元的区别。 例：A1={1,2,3,4,5,6},(A1, ≤) 1为A1的极小元，6为A1的极大元 (A1,|) 这些说明： 极大元(极小元)不唯一 最大元(最小元)必是极大元(极小元) 对任何非空有限子集，极大元、极小元一定存在 若子集B有最大元(最小元)，则B的极大元(极小元