离散数学(第14讲).pptVIP

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 1、偏序关系 1）偏序集的哈斯图 2）偏序集中的特殊元素 2、全序集与良序集 1）全序关系 2）良序关系 * 计算机学院 * §5.2 偏序关系 偏序关系是集合上的自反的、可传递、反对称关系,它提供比较集合中元素的工具;也提供了事物之间的顺序关系。 定义5.4 设R是集合A上的自反的、反对称的、可传递的关系，则称R是A上的偏序关系(记为“ ”,读作“小于等于”)。序偶A，R称为偏序集。 容易证明：偏序 的逆关系 也是一个偏序，我们用“ ”表示，读作“大于等于”。 * 计算机学院 * 例5-2.1 集合A的幂集2A上定义的“?”是偏序关系。2A,?是偏序集。 实数集合R上定义的“≤”是偏序关系，R,≤是偏序集。 大于零的自然数集合N＋上定义的“整除”关系“|”也是一个偏序关系,N＋,|是偏序集。 ALGOL或PL/I等都是块结构语言，设： B＝{b1,b2,b3,…,bn} 是这种语言的一个程序中的块的集合。对所有i和j，定义关系“ ”如下： bi bj当且仅当bi被bj所包含。 则“ ”也是一个偏序关系,B, 是偏序集。 设A＝{2,3,6,12,24,36},“