离散数学课件：3-11 序关系.ppt

若集合A上的二元关系R是自反的、反对称的和传递的，则称R是A上的偏序关系（或偏序），序偶A,R称为偏序集. 偏序，又称半序(semi-ordering). 若R是偏序关系， A,R常记为A, ，“ ”是序关系符号，读作“小于或者等于”. R是偏序时，aRb就记为a b. 顶点的“盖住”关系 偏序集的哈斯图表示 偏序集合的子集的特殊元素 偏序集合的子集的特殊元素 偏序集合的子集的特殊元素 偏序集合的子集的特殊元素 偏序集合的子集的特殊元素 良序集合 良序集合 良序集合 良序集合 拟序集合(见3-12习题(2)) 若集合A上的二元关系R是传递的和反自反的，则称R是A上的拟序关系. 在偏序集A, 中，若A的每一非空子集总含有最小元，则 称A, 为良序集合(well-ordered set)； 二元关系 称为A上的良序(well-ordering). 例3.11.16 判断下列偏序集是否是良序集. Q, ? Z, ? N, ? R, ? 良序集 {1,2,…,n}, ? 子集 Y Y N N N 十一、序关系 定理 每一良序集合，一定是全序集合. 证： 对? a, b?A, 可构成子集{a, b}, 设A, 为一良序集合， 则A, 已经是偏序集. 要进一步证A, 为全序集，只需要证 成立. (?a) (?b)((a, b?A) ? (a b) ? (b a)) 因A, 为良序集，则{a, b}必存在最小元：a或b. 从而(a b) ? (b a), 所以A, 是全序集. 十一、序关系 定理 每一有限的全序集合，一定是良序集合. 证： 设A={a1, a2, …,an}，令A, 为一全序集. 由于B是一个有限集合，故一定可以找出两个元素x与y是无关(不可比)的. 则必存在一个非空子集B?A，在B中不存在最小元. 假设A, 不是良序集， 由于A, 是全序集，x,y∈A， 故A, 必是良序集. 所以x, y必有关系（可比），得出矛盾. 上述结论对无限的全序集合不一定成立. 例如Z, ? , Q, ? , R, ? 是全序集合，但不是良序集合. 十一、序关系 总的来说，偏序（半序）、全序（线序）、良序依次加强，它们的关系可用下图来表示. 偏序 全序 良序 十一、序关系 定理 设R是集合A上的二元关系， (1) 若R是一拟序关系，则r(R)=R∪IA是偏序关系； (2) 若R是一偏序关系，则R-IA是一拟序关系. HW: 3-12习题 (1);(2);(6);(7) 十一、序关系 * * 十一、序 关 系 序(order)，指一类定义在非空集合A上，以满足传递性为基本条件的二元关系，它是通常的实数之间大小次序概念的推广. 在实数系中，两个实数之间的“小于或等于”关系（记为? ）是一种序，它满足： (1) 自反性：a ? a. (2) 反对称性：若a ? b且b ? a ，则a = b. (3) 传递性：若a ? b且b ? c ，则a ? c. (4) 强连结性：任給a, b, 则a ? b和b ? a中至少有一个成立. 一般说来，如果任何集合A上存在二元关系（记为 ）， 能满足上述(1)~(4)，则称A上有一全序(线序)关系，称A, 为全序（线序）集; 只能满足(1),(2),(3)，称为偏序关系. 此外还有良序关系、拟序关系等不同的序关系。 (一) 偏序(partial-ordering) 十一、序关系 例3.11.1 判断以下关系是否是偏序关系. (2)集合A的幂集P(A)上的包含关系“?”; (3)在正整数集上的整除关系; (5) 若R是A上的偏序关系，则Rc (4)在一群人的集合上的朋友关系. ? ? ? 对称，且可能不传递 (1)在任意实数集A上的大小关系“? ”; ? 若用 表示R，则可用 表示Rc. 十一、序关系 例3.11.2 令A?N+，对任意m, n?A, m|n表示m整除n的关系（即n为m的整数倍：存在整数k满足n=km），试证A, |是偏序集. 证： 即要证整除关