序关系和结构OrderRelationsandStructures.docVIP

序关系和结构Order Relations and Structures §6.1 偏序集Partial Orsered Sets 偏序关系Partial Order 1.自反 Reflexive (a(A, (a,a)(R 2．反对称antisymmetric (a,b)∈R ∧ (b,a)∈R ( a=b 3．传递Transitive (a,b)∈R ∧ (b,c)∈R ( (a,c)∈R. 大于等于，小于等于，恒等，整除关系都是偏序关系。 树是偏序。（A, (）(是集合偏序。不是偏序。 例4． R，S都是A上等价关系， R(S(xRy→xSy R：A上全体等价关系， （R ，(）构成偏序。 对偶偏序集：如果R是A上偏序，则R－1也是A上偏序。（A，R－1）称为（A，R）的对偶偏序集。 （A，≥）是（A，≤）的对偶偏序。 全序关系，线性序关系linear order偏序1.2.3.＋4． (a,b(A,(a,b)(R∨(b,a)∈R. 大于等于，小于等于是全序，整除，（A, (）不是。’,b’) (a≤a’,b≤b’ 设（A，≤）是偏序， 令ab(a≤b，a≠b， 称（A，）大于，小于都是严格线性序。 (a,b)(a’,b’)(aa’or a=a’,bb’ 是字典序lexicograpjic （A，≤）是偏序， An＝A×A×……×A (a1,a2,……,an