第3章 10偏序关系.ppt

* * 计算机科学与技术学院 3.10 偏序关系 3.10.1 偏序关系的定义 3.10.2 偏序关系的哈斯图 3.10.3 偏序集中特殊位置的元素 3.10.4 几种特殊的偏序集 第三章 集合与关系 计算机科学与技术学院 3.10 偏序关系 例1 实数集R上的“≤”关系显然是一个偏序关系。 3.10.1 偏序关系的定义 定义3.10.1 集合A上的关系ρ,如果它是自反的,反对称的且可传递的,则称ρ是A上的偏序关系.记作“≤”,序偶 称为偏序集。 计算机科学与技术学院 证明 对于任意 ，有 ，所以“ ”是自反的。 对任意 ，若 且 ，则 所以“ ” 是反对称的。 例2 全集合U的幂集2U上的“ ”关系也是一个偏序关系。 对任意 ，若 ， ，则 所以“ ”是可传递的。 计算机科学与技术学院 例3 设A={1,2,3,4,6,8,12}，定义A上的整除关系 如下： 则ρ是A上的偏序关系。 例4 自然数集上的整除关系是偏序关系。 实数集R上的“＜”关系不是偏序关系。 2U上的真包含关系“ ”也不是偏序关系。 计算机科学与技术学院 3.10.2 偏序关系