关系与序系.ppt

2.9 其他序关系 [定理] 设有拟序集 A, ，对任何 x,y,z?A, ① xy, x=y, yx 中至多有一种情况成立 (三分律) ； ② x?y?x 则 x=y，这里 x?y 表示 xy 或 x=y。 [证明] 利用拟序集的反自反性和传递性。 2.9 其他序关系 (4) 词典次序 设字母表为X，“ ? ” 为X上的自然次序。显然 X, ? 为全序集合。 ① 长度为2的词库 A=X ? X 在A上定义全序关系S： x1, y1Sx2, y2 ? (x1x2)?(x1=x2?y1?y2) 2.9 其他序关系 ② 长度不大于n的词库 A=X?X2?…..?Xn 在A上定义全序关系S： 设 x1,x2,…,xp, y1,y2,…,yq?A,其中p?q?n。 x1,x2,…,xpSy1,y2,…,yq 当且仅当下列三个条件之一得到满足： (ⅰ) x1,x2,…,xp=y1,y2,…,yp (ⅱ) x1?y1且在X中有x1?y1 (ⅲ) xi=yi,i=1..k,kp,xi+1?yi+1且在X中有 xi+1?yi+1 否则 y1,y2,…,yqSx1,x2,…,xp 2.9 其他序关系 (5) 格 [格] 设偏序集合 A, ? ,若其中任何二个元素在A中都有上、下确界，则称 A, ? 为一个格。 [例] 如下的Hasse 图描述了三个格： 2.9 其他序关系 [例] 如下的Hasse 图描述的不是格：（没有下确界） [例] I+, ? ，I+ 正整数，a “?” b iff a 整除 b。 任何 {x,y}?I+，其上确界为其最小公倍数，下确界为其最大公约数，均存在于I+ 中。故 I+, ? 为格。 2.9 其他序关系 [上下确界] 设 A, ? 为格，对任意 a,b?A，记 a,b的上确界元素为a?b，下确界元素为a?b。 [性质] 设 A, ? 为格，对任意 a,b,c,d?A，有 ① a ? a?b, a?b ? a ② 若 a ? b ,c ? d，则 a?c ? b?d, a?c ? b?d ③ a?b = b?a, a?b = b?a （交换律） ④ a?(b?c) = (a?b)?c, a?(b?c) = (a?b)?c（结合律） ⑤ a?(a?b)=a, a?(a?b)=a （吸收律） 2.9 其他次序关系 (6) 良序集合 [良序集合] 设偏序集合 A, ? ，若其任意非空子集都在该子集中存在最小元，则称 A, ? 为良序集合。 [例] 如图的偏序集不是良序集。 2.9 其他次序关系 [定理] 每个良序集合本身也是一个全序集合。有限的全序集合是一个良序集合。 [证明] 留作习题。 2.7 关系的运算 (1) 关系的一般运算 [定义] 设 R、S是X到Y的二元关系，定义运算如下： R?S={x,y|xRy?xSy} R?S={x,y|xRy?xSy} R?S={x,y|xRy?x?Sy} ~R=X?Y?R 2.7 关系的运算 (2) 关系的复合运算 [复合关系] 设二元关系R:X?Y，S:Y?Z，则称 R ? S={x,z|x?X?z?Z?(?y)(y?Y?xRy?ySz)} 为R和S的(右)复合关系，或(右)复合运算结果。 注意关系的复合运算定义中的右复合和左复合给出的构造定义不同：右复合 R ? S 中右边的S在R之后进行第二步复合构造。在函数理论中，与右复合函数 S*R对应：S*R = R ? S 即 S*R(x)=S(R(x)) 2.7 关系的运算 [例] X={x1, x2, x3}，Y={y1, y2, y3, y4}，Z={z1, z2, z3} R={x1,y1,x2,y3,x2,y4} S= {y1,z3,y2,z1,y4,z2} 显然有：Dom(R ? S) ? Dom(R) Ran (R ? S) ? Ran(S) R ? S={x1,z3,x2,z2} 2.7 关系的运算 关系的复合运算没有交换律。 [定理] 关系复合运算的结合律：设二元关系 R：X?Y，S：Y?Z， P：Z?W， 则有 (R ? S) ? P=R ?(S ? P) [证明] 2.7 关系的运算 [定理] 关系复