离散数学3-12 序关系.pptVIP

第三章 集合与关系 3-12 序关系 授课人：李朔 Email:chn.nj.ls@ 一．偏序关系 当在一个集合考虑元素的次序问题时，就牵涉一个重要关系部分序关系。 P140 定义3-12.1 A为一个集合，若A上的一个关系R有自反性，反对称性和传递性，则称R为A上的一个偏序关系，记为“?”。序偶＜A，?＞称为偏序集。 例1：易证实数集R上的小于等于关系是偏序关系。I,?是偏序集。 例2：给定A={2, 3, 6, 8}, “?”={x, y?x整除y} *易见 “?”={2, 2, 3, 3, 6, 6, 8, 8, 2, 6，2, 8, 3, 6} 也是一个偏序关系。 集合间的包含关系是偏序关系吗？ 二．盖住 P140定义3-12.2 在偏序集＜A，?＞中，若x, y?A, x?y, x?y, 且没有其它元素子满足x?z, z?y, 则称元素y盖住x，并记 COV A＝{x, y?, x, y?A, y盖住x}. 例3：A={1, 2, 3, 4, 6, 12}, “?”为A上整除关系，则 “?”={1,2,1,3,1,4,1,6,1,12,2,4,2,6, 2,12,3,6,3,12,4,12,6,12}U IA COVA＝{1, 2, 1, 3, 2, 4, 2, 6, 3, 6,4, 12,6, 12} 二．盖住 偏序关系可以用关系图表