23定理17.10在有补分配格.pptVIP

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 保序定理 特殊的格及性质 1）分配格 2）有界格 3）有补格 保序定理 定理17.7 设f是从格L，∨，∧到P，?，?的格 同态，其对应的偏序分别是?1， ?2，对任何 a,b∈L,如果a ?1 b，则f（a）?2f（b）。 证明：因为a ?1 b，所以a∧b=a. 利用格同态定义， f(a)=f(a∧b)=f(a)?f(b), 于是 f(a) ?2f(b)。 * 计算机学院 * 保序定理的意义是明显的。如对于例17-2.3中的D6,|和来说，设m,n∈D6,则只要m|n，就能得到f(m)?f(n)的结论。然而，当一个由格L到格P的映射f满足保序性时，并不能保证f是格同态。 * 计算机学院 * * 计算机学院 * 例17-2.3 设D6表示6的正因子集，那么，因子格D6，| 和幂集格2{a,b}，?之间可建立同态关系。 解： 定义映射f：D6→2{a,b}，使得f(1)=?,f(2)={a},f(3)={b},f(6)={a,b},可以验证f满足格同态的定义。注意D6，|对应的运算是lcm和gcd， 2{a,b}，?对应的运算为∪和∩。下面是一些验证数据： * 计算机学院 * f(lcm(1,3))=f(3)={b}= ?∪{b}=f(1)∪f(3), f(gcd(2,6))=f(2)={a}={a}∩{a,b}=f(2)∩f(6), f(lcm(2,3))=f(6)={a,b}={a}∪{b}=f(2)∪f(3), f(gcd(2,3))=f(1)=={a}∩{b}=f(2)∩f(3). 其余情况可以类似地一一验证。 因为f还是双射，所以D6,|和2{a,b}，?是 同构的两个格。它们所对应的Hasse图是完全一致 的。 例17-2.4 设L={1，2，3，12}。在格L，|和格 2L， ? 之间构造映射f：L→2L使得对每个x∈L，f(x)={y|y∈L且y|x}.易知f(1)=1,f(2)={1,2},f(3)={1,3}, f(12)={1,2,3,12},并且容易验证当x|y时，f(x)?f(y),所以f是保序映射。 * 计算机学院 * 但是,f却不是格同态。因为容易算出f(lub(2,3))=f(12)={1,2,3,12},但是f(2)∪f(3)={1,2,3},这说明f(lub(2,3))≠f(2)∪f(3), 所以f不是从L,|和2L, ?的格同态。 * 计算机学院 * 所以，保序与格同态不能等同。 然而当格同构时就不一样了。 定理17.8 双射f：L→P为格 L，∨，∧到P，?，? 的格同构的充分必要条件是：对任意的a，b∈L，a ?1b ?f(a) ?2f(b)。 * 计算机学院 * * 计算机学院 * 证明： 当f是L到P的格同构时，它必须满足保序定理，因此保序为必要条件是成立的。 充分性： ∵ 对任意的a，b∈L， a ?1b ? f(a)?2f(b)(即f是保序的) 设a∨b=c，则a ?1c且b ?1c,从而f(a)?2f(c)，且f(b)?2f(c).再由定理17.5第⑥条知道f(a)?f(b)?2f(c)，这说明f(c)是f(a)和f(b)的一个上界。 下面证明f(c)是f(a)和f(b)的最小上界。设f(d)是f(a)和f(b)的任意一个上界，即 f(a) ?2f(d)且f(b) ?2f(d)。由假设知道 a?1d且b?1d，从而a∨b ?1d，即c ?1d，于是 f(c)?2f(d)。 ∴ f(c)=f(a∨b)=f(a)?f(b)。 同理可证f(a∧b)=f(a)?f(b)。 因此，双射f是格同构。 * 计算机学院 * * 计算机学院 * 分配格 定义17.7 　设L，∨，∧是一个格， 如果对任意a,b,c∈L，都有 a∨(b∧c)＝(a∨b)∧(a∨c) (1) a∧(b∨c)＝(a∧b)∨(a∧c) (2) 则称L,∨，∧是一个分配格。 注意：式(1)和式(2)的两个分配律是对偶的。 即∧对∨，∨对∧都是 满足分配律 * 计算机学院 * 例17-3.1 设A为任意一个集合，则幂集格2A,?是否是分配格？ 设?为命题公式集合，∧、∨分别是命题合取与析取运算，则?,∧,∨是否是分配格？ 解　1) 对任意P、Q、R∈2A ，有 P∩