离散数学课房件-次序关系.pptVIP

离散数学 次序关系 偏序关系 拟序关系 全序关系 良序关系 偏序关系 定义1：R是A上的关系，如果它是自反、反对称和传递的，则称R 是A上的偏序关系。并称A,R是偏序集。 课堂小测验： (1) D={1,2,3,5,6,10,15,30},≤ 是D上整除关系， 求D, ≤ Hasse图， （2）A={a,b,c} ，求P(A),?的Hasse图 偏序集中的特殊元素 一.极小元与极大元 设集合A上有一个偏序关系≤且设B是 A的子集，则 (1）如果存在一个元素b∈B且在B中找不到元素b’有b’ ≠b且b ≤ b’ 则称b是B的极小元 .） （在B中没有比b更小的元素了，b就是极小元） （2）如果存在一个元素b∈B且中找不到元素b’有b’ ≠b且 b’ ≤ b ，则称b是B的极大元 . (在B中没有比b更大的元素了，b就是极大元) 二.最小元与最大元 （1）如果存在一个元素b∈B对每一个b’∈B 均有b ≤ b’ 则称b是B的最小元 (最小元b是B中元素，该元素比B中所有元素都小) （2）如果存在一个元素b∈B对每一个b’∈B 均有b’ ≤ b 则称b是B的最大元 (最大元b是B中元素，该元素比B中所有元素都大) 举例，给定C,≤的Hasse图如图所示： 从Hasse图找最小(大)元：子集中如果只有唯一的极 小(大)元，则这个 极小(大)元，就