8.1 引 言 8.2 格定义(离散数学).pptVIP

第八章 格与布尔代数 ;集合代数：（ρ(S)，∪，∩）;命题代数（S，∧，∨）;§8.2 格 的 定 义 ;半序格的例;半序格的例;半序子格;代数格; note: 定义B中由×，⊕ 满足吸收律可推出它们一定满足等幂律。 证明：任取L中元素a，由×，⊕满足吸收律知， a×（a⊕a）=a， a ⊕（a×a）=a。 故 a×a=a×（a⊕（a×a））， a⊕a=a⊕（a×（a ⊕a））。 又由×，⊕满足吸收律知，上面两式的等式右 端都等于a。因此， a×a = a， a ⊕ a = a。 即， 定义B中的×， 运算亦满足等幂律。 ;代数格的例;代数格与半序格的等价性;我们只证明吸收律： a×（a⊕b）=a 为例，其它算律的证明留给读者。 因为a×(a⊕b)是a与(a⊕b)的最大下界，所以a×(a⊕b)≤a 另一方面，由于a≤a，a≤a⊕b，所以，a是a 与a⊕b的下界，故 a≤a×(a⊕b) 所以，a=a×(a⊕b)。 ;证明;证明;证明;代数子格;代数子格与半序子格??关系;a6