离散数学及其应用-傅彦-第15章 格与布尔代数.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 例15.2.9（续） 解 对于图a 0 = 1，1 = 0， a = e，d = c， c = d，e = a， b无补元。 对于图b 0 = 1，1 = 0， a = d，a = c， b = d，b = c， c = a，c = b， d = a，d = b 则图a不是有补格，图b是有补格。 * 定理15.2.9 在有界分配格(既是有界格又是分配格，简称为有界分配格)L, ?, ?中，如元素a∈L有补元存在，则此元素的补元必惟一。 证明 设a有两个补元b和c，由补元的定义知 a?b = 0 = a?c，a?b = 1 = a?c 由定理15.2.6知，b =