第七章_格与布尔代数.pptVIP

定义 设L; ∧,∨是一个含有元素1和0的格, 如果L中每一个元素都有补元, 则称格L; ∧,∨为有补格。 6. 有补分配格（布尔代数） 定义 若一个格既是有补格又是分配格, 则称它为有补分配格。 记为 L, ∧,∨,1,0, 5. 有补格的定义 6.有补分配格的性质 定理 在有补分配格L; ∧,∨中 任意元素l∈L的补元是唯一的。 证明: 如果有两个元素l1和l2使得: l∨l1=1, l ∧ l1=0 l∨l2=1, l ∧ l2=0 则有l∨l1= l∨l2, l ∧ l1= l ∧ l2, 则有前面的定理2有l1=l2成立。 定理 (对合律)在有补分配格L; ∧,∨中, 对于任意元素l∈L, 有 =l。 证明: 因为l∨ =1, l∧ =0, 由交换律知元 素l显然是 的补元。又根据定理3知 分配格中任意元素的补元是唯一的, 故有l= 成立。 定理 (德.摩根定律) 在有补分配格L; ∧,∨中， 对于任意的l1,l2∈L,有 (1) , (2) 定理 在有补分配格L; ∧,∨中, 对任意的l1,l2∈L,有: (l1≤l2) (l1∧ =0) ( ∨l2=1) 第7章 格与布尔代数 本章主要内容： 偏序集、格的定义、格的性质； 分配格、有补格、布尔代数的概念。 7.1 偏序集 定义 将集合L和L上的偏序关系“≤”一起 称为一个偏序集, 用L; ≤ 来表示。 二、偏序集L,≤ 中元素性质 对于偏序集L,≤ 中所有元素l1,l2,l3∈L有： (1) l1 ≤ l1; (1’) l1 ≥ l1; (2) 若l1 ≤l2, l2 ≤l1, 则有l1 =l2; (2’) 若l1 ≥l2, l2 ≥l1, 则有l1 =l2; (3) 若l1 ≤l2, l2 ≤l3, 则有l1≤l3; (3’) 若l1 ≥l2, l2 ≥l3, 则有l1≥l3; 一、偏序集 a) 定义 设l1,l2是偏序集L;≤ 中的两个元素, 若存在元素a∈L, 如果满足a≤l1,且a≤l2, 则称a是 l1和l2的下界。 如果元素a是l1和l2的下界，且对于任意a’∈L, 若a’是l1和l2的下界,且有a’≤a,则a是l1和l2的最大下界, 记为glb(l1,l2). b) 定义 设l1,l2是偏序集L;≤ 中的两个元素, 若存在元素b∈L, 如果满足l1≤b,且l2≤b, 则称b是l1和l2的上界。 如果元素b是l1和l2的上界,且对于任意b’∈L, 若b’是l1和l2的上界,且有b≤b’,则b是l1和l2的最小上界, 记为lub (l1,l2)。 三、偏序集中的特殊元素 1. 两元素的下界（最大下界）、上界（最小上界） c) 定理 设l1,l2是偏序集L;≤ 中的两个元素, 如果l1和l2有glb, 则glb是唯一的； 如果l1和l2有lub, 则lub是唯一的。 证明：假设a1和a2都是l1和l2的glb, 则由最大下界 的定义知： a1 ≤l1 , a1 ≤l2 , a2 ≤l1, a2