第三章 集合与关系-20111024.ppt

* 3-12 序关系 定义3-12.4[全序关系linear order]： 在偏序集<A,≤>中，如果A是一个链，则称<A, ≤>为全序集合或称线序集合，在这种情况下，二元关系“≤”称为全序关系或线序关系。 全序集[linearly ordered sets] <A, ≤>就是对任意x，y?A，或者有x≤y或者有y≤x成立。 例如，定义在自然数集合N上的“小于等于”关系“≤”是偏序关系，且对任意i，j?N，必有 i≤j 或 j≤i 成立，故也是全序关系。 * 3-12 序关系 定义3-12.5 设<A, ≤>为偏序集，B? A ， b?B，如果B中没有任何元素x满足x≠b且b≤x (x≤b)，则称b是B的极大元(极小元)。 当B=A时，B的极大元(极小元)称为偏序集 <A, ≤>的极大元(极小元)。 * 3-12 序关系 例6 设A=?a,b,c,d,e,f,g,h?，A上的二元关系 R=??b,d?,?b,e?,?b,f?,?c,d?,?c,e?,?c,f?,?d,f?,?e,f?,?g,h??∪IA 验证R是A上的偏序关系。写出盖住关系COV A，画出哈斯 图。找出集合A的极大元和极小元。 解：容易验证R是自反的，反对称的和传递的，R是A上的偏序关系。 COV A=??b,d?,?b,e?,?c,d?,?c,e?,?d,f?,?e,f?,?g,h?? 集合A的极大元是：a,f,h。 集合A的极小元是：a,b,c,g。 * 3-12 序关系 定义3-12.6 设<A, ≤>是偏序集，B?A，b?B，如果对任意x?B，都有 x≤b (b≤x)，则称b是B的最大元(最小元)。 当B=A时，B的最大元(最小元)称为偏序集<A, ≤>的最大元(最小元)。在例6中，集合A没有最大元和最小元。 在例5中，令B=??,?a??，B的最大元是?a?，B的最小元是?。令B=??a?, ?b??，B没有最大元和最小元。 * 3-12 序关系 定理3-12.1 设<A, ≤>是偏序集，B?A，如果B有最大元(最小元)，则必惟一。 证明：设a，b都是B的最大元，由a是B的最大元得b≤a，由b是B的最大元得a≤b，因为≤是反对称的，所以a=b。即B的最大元惟一。 类似地可证明最小元惟一。 * 3-12 序关系 定义3-12.7 设<A, ≤>是偏序集，B?A ，b?A，对任意x?B，都有 x≤b (b≤x)，则称b是B的上界(下界)。 例7: 设A=?2,3,6,12,24,36?，其上的整除关系 R=??a, b?? a?A∧b?A∧a能整除b? 是A上的偏序关系，试求盖住关系COV A，画 出哈斯图，确定下列集合的上界和下界。 ⑴ B1=?2,3,6? ⑵ B2=?12,24,36? * 3-12 序关系 解：用列举法将R表示为： R=??2,6?,?2,12?,?2,24?,?2,36?,?3,6?,?3,12?,?3,24?, ?3,36?,?6,12?,?6,24?,?6,36?,?12,24?,?12,36??∪IA 盖住关系COV A=??2,6?,?3,6?,?6,12?,?12,24?,?12,36?? B1的上界是6,12,24,36。没有下界。 B2的下界是2,3,6,12。没有上界。 * 3-12 序关系 定义3-12.8 设<A, ≤>是偏序集，B?A，如果存在B的一个上界(下界)b，对B的任意一个上界(下界)y，都有b≤y (y≤b)，则称b是B的最小上界(最大下界)。也叫上确界(下确界)。记为LUB B (GLB B)。 在例7中B1的最小上界是6；B1无下界，当然无最大下界。B2的最大下界是12；B2无上界，当然无最小上界。 * 3-12 序关系 作业：(3-12) P145 （1） * * 3-10 等价关系与等价类 定义3-10.1[等价关系Equivalence Relations]： 设A ??，R ? A ? A，若R是自反的、对称的和传 递的，则称R为A上的等价关系。 例如平面上三角形集合中，三角形的全等关系、 相似关系是等价关系。同姓关系也是等价关系。 * 3-10 等价关系与等价类 例1：设A=?1,2,3,4,5?，R是A上的二元关系， R=??1,1?,?1,2?,?2,1?,?2,2?,?3,3?,?3,4?,?4,3?,?4,4?,?