离散数学 课件.ppt

(2)?? = ? ?a,b?L，(a,b)???? a??b ? a?b=a (定理2的定义) ? GLB({a,b})= a (定理3的定义) ? a? b (因 GLB({a,b}) ? b) ?(a,b)?? 所以 ?? = ? 。 定义1?.(半序格) 设(L,?) 是半序集，?是L上的半序关系。若L中任意两个元素都有上、下确界存在，即 　　 ?a,b?L， LUB({a,b})?L， GLB ({a,b})?L ， 则称(L,?) 是格(半序格) 。 例4. (2X , ? )是(半序)格 包含关系?是集合上的半序关系(第一章§1定理1)； 　其次?A,B?2X，都有 　　LUB({A,B})=A?B?2X (第一章§2定理2(3)(3?))； GLB ({A,B})=A ?B?2X (第一章§2定理2(3)(3??))； 所以，根据定义1?可知， (2X , ? )是格。 　　 注：?由于定义1和定义1?的等价性，以后关于格，既可以用 (L, ?, ? ) 表示，也可以用 (L, ?) 表示； 　　?当用 (L, ?, ? )表示格时，半序关系?是用 a ? b=a 或 a ? b=b 定义的； ?当用(L, ?) 表示格时，两个运算是用 a ? b = GLB{a,b} 及 a ? b = LUB{a,b} 定义的； ?更多的时候则用(L, ?,?, ? ) 表示格，即将格中的代数性质和序性质都表示出来，这样就将格的性质描述的比较全面了； 例如 (2X ,∩,∪)是格，(2X , ? )也是格，且是同一个格，因此通常用(2X ，?，∩，∪)表示这个格。 定理4.设(L, ?,?, ? ) 是格。则?a,b?L， 　　　a?b ? a?b=a ? a?b=b 。 [证]. 根据定理1的注， 有 　　 a??b ? a?b=a ? a?b=b 根据定理3， 有 　　 ?? = ? 因此， 得到　 　　 a?b ? a?b=a ? a?b=b 。 例5. (N, GCD, LCM )是格；且其伴随关系是整除关系 ‘ | ’ 。 　这里： N 为自然数集合，?a,b?N, 　　GCD{a,b}= a和b最大公约数 　　LCM{a,b}= a和b最小公倍数 　由于两个自然数的最大公约数和最小公倍数是唯一的，且为自然数，故? 和 ? 是N上的两个二元运算。 (1)?a,b,c?N，由于有 　GCD{GCD{a,b},c}=GCD{a,b,c}=GCD{a,GCD{b,c}} 　LCM{LCM{a,b},c}= LCM{a,b,c}＝LCM{a, LCM{b,c}} 故GCD运算和GCD运算满足结合律。 (2)?a,b?N，由于有 　　 GCD{a,b}= GCD{b,a} 　 LCM {a,b}= LCM {b,a} 故GCD运算和LCM运算满足交换律。 (3)?a?N，由于有 　　 GCD{a,a} = a 　　 LCM{a,a} = a 故GCD运算和LCM运算满足幂等律。 (4)?a,b?N，由于有 　 GCD{a, LCM{a,b}}= a 　 LCM{a, GCD{a,b}}= a 故GCD运算和LCM运算满足吸收律。 　由格的定义1知 (N, GCD, LCM)是格(代数格)。 　根据定理2，其伴随关系 ??? N?N的定义 如下： 　 ?a,b? N ，a??b ? GCD{a,b}=a ? LCM{a,b}=b 从而可得 a??b? a |b ? a整除b 。 　因此，格(N, GCD, LCM)的伴随关系??就是N上的