离散数学 第四章：二元关系和函数.pptVIP

偏序关系例子： （1）任何集合A上的恒等关系 （2）集合A的幂集P(A)上的包含关系 （4）正整数集上的整除关系都是偏序关系. （3）实数集上的小于等于，大于等于关系, 相关概念： 偏序集：集合A和偏序关系R≤ 构成一个偏序集， 记作A, R≤ 。如：A, R ? ,A, R整除等 可比：对于任意两个元素x和y，若x≤y或y ≤x， 则x与y是可比的 全序关系与全序集：若A中任意两个元素都是可比的， 则R≤为全序关系； A, R≤ 为全序集。 盖住：如果x≤y，且不存在z使x ≤z ≤y (不是间接的), 则称y能盖住x。 例： 锅，笼屉，锅盖 火车卧铺的下铺，中铺，上铺 例4.5.4 设A={1,2,3,4}，求出A上的整除关系： 解: R整除={1,1,1,2,1,3,1,4, 2,2,2,4,3,3,4,4} 则：2,3能盖住1；4能盖住2；4不能盖住1 偏序集的哈斯图 (1) 去掉箭头；（盖住） (2) 去掉间接关系；（传递） (3)去掉环。（自反的） 哈斯图实例 例4.5.5：画出 { 1, 2, 3, 4, 5, 6, 7, 8, 9 }, R整除 和P({a, b, c}), R? 全序关系的哈斯图： 全序集中全部元素可以排序，它的哈斯图为一条直线。也称为线序集。 集合A上的偏序关系与哈斯图是一一对应的。