第章格与布尔代数 表8.1 V 0 a 3bt {a,b} 0 0 Rar b {a,b} a a a Rabr fabi bi b Rabi 3bi Rabi Rabi Rabr Rabr Rabr abi 表8.2 ∧ 0 Rai 3bi Rabi 0 0 0 0 0 Rai ☑ Rar 0 {a} 3bi 0 0 3br 3bi Rabi 0 Rar b Rabi
第 8 章 格与布尔代数 表8. 1 表8. 2 ∨ a a b b a , b a a a a , b a , b a , b b b a , b a , b a , b a , b a , b b a , b a , b ∧ a b a , b a a a b b b a , b a b a , b
第8章格与布尔代数 下面介绍格的对偶原理 设<X,≤>是偏序集，在X上定义二元关系 ≥-<a,b>kb,a心e≤7 可以证明<X,>也是偏序集 定义8.1.3设f是含有格中元素以及符号=，≤，，V和∧的 命题。将中的≤替换成>，≥替换成≤，V替换成个，∧替 换成V,得到一个新命题，所得的命题叫做的对偶命题， 记为f*。 例如，在格中，f为a∧(bVc)≤a,则f的对偶命题f*为 aV(b∧c)≥a 命题和它的对偶命题f*遵循下列的规则，这规则叫做 格的对偶原理。 设f是含有格中元素以及符号=，≤，，V和∧的命题 若f对一切格为真，则的对偶命题∫*也对一切格为真。 格的许多性质都是互为对偶命题的。有了格的对偶原 理，在证明格的性质时，只需证明其中的一个就可以了
第8章 格与布尔代数 下面介绍格的对偶原理。 设X,≼是偏序集，在X上定义二元关系 ≽=a,b|b,a≼ 可以证明X,≽也是偏序集。 定义8.1.3 设f是含有格中元素以及符号=,≼,≽,∨和∧的 命题。将f中的≼替换成≽，≽替换成≼，∨替换成∧，∧替 换成∨，得到一个新命题，所得的命题叫做f的对偶命题， 记为f * 。 例如，在格中，f为a∧(b∨c)≼a，则f的对偶命题f *为 a∨(b∧c)≽a 命题f和它的对偶命题f *遵循下列的规则，这规则叫做 格的对偶原理。 设f是含有格中元素以及符号=,≼,≽,∨和∧的命题。 若f对一切格为真，则f的对偶命题f *也对一切格为真。 格的许多性质都是互为对偶命题的。有了格的对偶原 理，在证明格的性质时，只需证明其中的一个就可以了
第8章格与布尔代数 定理8.1.1设<X,≤>是格，<X,V,∧>是格<X,≤>导出的 代数系统。则Va,b,ceX有 (1)aVb=bVa,a∧b=b∧a (交换律) (2)(aVb)Vc=av(bVc) (a∧b)∧c=a∧(b∧c) (结合律) (3)ava=a, a∧a=a (幂等律) (4)aV(a∧b)=a a∧(aVb)=a (吸收律) 证明：(1)Va,beX,{a,b=b,a,所以它们的最小上界 相等。即aVb=bVa,同理可证a∧b=b个a (2)a和b的最大下界一定是a、b的下界，即a个b≤a, 同理，(a个b)∧c≤a∧b,所以，(a∧b)∧c≤a∧b≤a 同理有(a∧b)∧c≤a∧b<b和(a∧b)∧c<c
第8章 格与布尔代数 定理8.1.1 设X,≼是格，X,∨,∧是格X,≼导出的 代数系统。则a,b,cX有 ⑴ a∨b=b∨a， a∧b=b∧a (交换律) ⑵ (a∨b)∨c=a∨(b∨c) (a∧b)∧c=a∧(b∧c) (结合律) ⑶ a∨a= a， a∧a= a (幂等律) ⑷ a∨(a∧b)=a a∧(a∨b)=a (吸收律) 证明：⑴a,bX，a,b=b,a，所以它们的最小上界 相等。即a∨b=b∨a，同理可证a∧b=b∧a ⑵ a和b的最大下界一定是a、b的下界，即a∧b≼a， 同理，(a∧b)∧c≼a∧b，所以，(a∧b)∧c≼a∧b≼a 同理有 (a∧b)∧c≼a∧b≼b 和 (a∧b)∧c≼c
第8章格与布尔代数 由以上3式得 (a∧b)∧c≤b∧c和(a∧b)∧c≤a∧(b∧c) 类似地可证 a∧(b∧c)≤(a∧b)∧c 根据偏序关系的反对称性有(a∧b)∧c-a∧(b∧c) 由对偶原理得 (aVb)Vc=av(bVc) (3)显然a≤aVa,又由≤的自反性得a≤a,从而推出 aVa≤a,根据偏序关系的反对称性有aVa=a 由对偶原理得a∧a=a (4)显然a≤aV(a∧b), 又由a≤a,a∧b≤a得aV(a个b)≤a,从而得 aV(a∧b)=a。 由对偶原理得a∧(aVb)=a
第8章 格与布尔代数 由以上3式得 (a∧b)∧c≼b∧c和(a∧b)∧c≼a∧(b∧c) 类似地可证 a∧(b∧c)≼(a∧b)∧c 根据偏序关系的反对称性有(a∧b)∧c= a∧(b∧c) 由对偶原理得 (a∨b)∨c= a∨(b∨c) ⑶ 显然a≼a∨a，又由≼的自反性得a≼a，从而推出 a∨a≼a，根据偏序关系的反对称性有a∨a=a 由对偶原理得a∧a=a ⑷显然 a≼a∨(a∧b)， 又由a≼a，a∧b≼a得a∨(a∧b)≼a，从而得 a∨(a∧b)=a。 由对偶原理得a∧(a∨b)=a
第8章 格与布尔代数 定理8.1.2设<XV,个>是代数系统，其中V,∧都是二元 运算。如果V和∧满足吸收律，则V和个满足幂等律。 证明：aVa=aV(a个(aVb)=a,同理可证a个a=a 定理8.1.3设<X,V,∧>是代数系统，其中V,∧都是二元 运算，满足交换律、结合律和吸收律，则可适当定义X的偏 序关系≤，使<X,≤>构成一个格。 证明：定义X上的一个二元关系 ≤=<a,b>la,beX且a个b=aY (1)证明≤是X上的偏序关系 。 由定理8.1.2知个满足幂等律，即a个a=a,所以a≤a。故 ≤是自反的。 设a≤b且b≤a,则a∧b=a且b∧a=b,于是=a个b=b∧a =b。 所以≤是反对称的。 设a≤b且b≤c,则a∧b=a且b个c=b,于是a∧c-(a∧b)个c =a个(b个c)=a个b=a,即a≤c,故≤是传递的。 这就证明了≤是X上的偏序关系
第8章 格与布尔代数 定理8.1.2 设X,∨,∧是代数系统，其中∨,∧都是二元 运算。如果∨和∧满足吸收律，则∨和∧满足幂等律。 证明：a∨a=a∨(a∧(a∨b))=a，同理可证a∧a=a 定理8.1.3 设X,∨,∧是代数系统，其中∨,∧都是二元 运算，满足交换律、结合律和吸收律，则可适当定义X的偏 序关系≼，使X,≼构成一个格。 证明：定义X上的一个二元关系 ≼=a,b|a,bX且a∧b=a ⑴ 证明≼是X上的偏序关系。 由定理8.1.2知∧满足幂等律，即a∧a=a，所以a≼a。故 ≼是自反的。 设a≼b且b≼a，则a∧b=a且b∧a=b，于是a=a∧b=b∧a =b。所以≼是反对称的。 设a≼b且b≼c，则a∧b=a且b∧c=b，于是a∧c=(a∧b)∧c =a∧(b∧c)=a∧b=a，即a≼c，故≼是传递的。 这就证明了≼是X上的偏序关系