安徽大学《离散数学》课件-第7章.pptVIP

第七章 格与布尔代数 §7.1 格 §7.2 格是代数系统 §7.3 特殊的格 §7.4 布尔代数 不讲原子表示及范式 格的定义 格是任二元都(在其中)有glb 和lub 的偏序集,具体说:偏序集 ?S,?? 称为格,如果 ?a?b(a,b?S?glb{a,b}?S∧lub{a,b}?S). 我们知道:glb 或lub 若存在必唯一,故对于格 S ,glb:S?S?S,lub:S?S?S 都是映射,从而定义格 S 中的两个二元运算,我们分别把它们记为 a*b= glb{a,b} 和 a?b= lub{a,b},并分别称为的 a 与 b 保交与保联. a,b可比较 ? a*b,a?b都存在 格的举例 对有限偏序集常用它的Hasse图验证它是否组成一个格,例如教本p215的图7.1-1(a) —(e)是格,7.1-2(a)—(c)不是格. 例① 集S的幂集?(S)和包含关系组成偏序集,对任意A,B??(S), glb{A,B}=A∩B??(S); lub{A,B}=A∪B??(S). 因此,??(S),?? 是格.例如 ??({a,b,c}),? ? 的Hasse图如图7.1-1(c)所示. 例② 每个线性序集,例如 ?R,? ? 及其子集,都是格, glb{a,b}= min{a,b};lub{a,b}=max{a,b}. 例③ 正整数集I+与整除关系组成偏序集