《格与布尔代数.pptVIP

第三章 格和布尔代数 定理4.3 有界分配格中的元素至多有一个补元. 推论2 有补分配格中的每个元素只有一个补元. 例5. 判定下列图中所示的格是否为分配格,为什么? 此时,元素a的补元记做 全序集是有补格吗? 为什么? Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义4.5 在格L中,对L中元素a,b,c, 时,有: a+(b*c)=b*(a+c), 则L称为模格,称L满足模律. 分配格是模格,反之不然. 你能举个例子吗? 设集合 ,定义M上的二元关系 证明: 是M上的一个部分序关系; （2）画出部分序集 对应的哈斯图, 并指出其中的最大元和最小元; （3）证明：偏序集 是一个布尔格,并指出其中的所有原子 （4）设 ,问 是否为 的子格,为什么? 作业： 分配格是一种特殊的模格. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定理4.4 若a,b,c是格L中任意元素,则在格L中下列三个命题等价: (1) a+(b*c)=(a+b)*(a+c), (2) a*(b+c)=(a*b)+(a*c), (3) (a+b)*(b+c)*(c+a)=(a*b)+(b*c)+(c*a). 定理4.5 设L为一格,则有: L为模格,当且仅当L中不含有与五角格同构的子格. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 下面列出由布尔格B规定的代数系统(B, +, *, , 0, 1)所具有的性质: (1) 由于B是格, 所以“+”和“*”满足交换律, 结合律, 吸收律和幂等律; 例6. 设E是一个非空集合, 则幂集格(P(E), ?)是布尔格. (2) 由于B是分配格, 所以在B中满足“+”关于“*”的分配律及“*”关于“+”的分配律; 定义4.6 有补的分配格称为布尔格. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. (3)由于B是有界格，则对于B中任意元素a，有： a+0=a,a*1=a; (恒等律) a*0=0,a+1=1. (零律) (4)由于B是有补格，则对于B中任意元素a,b,有： (德摩根律) (补律) 交换律，分配律，恒等律，补律蕴涵其余5条. 例7. 证明：布尔格满足德摩根律. 全序集是布尔格吗? Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. §5 布尔代数 定义5.1 若集合B至少含有两个元素(分别记做0和1),且在代数系统(B,+,*,’,0,1)中成立下列公式: (交换律) (2) a+(b*c)=(a+b)*(a+c), a*(b+c)=(a*b)+(a*c); (1) a+b=b+a, a*b=b*a; (分配律) (3) a+0=a,a*1=a; (恒等律) (4) a+a’=1,a*a’=0. (补律) 则称(B,+,*,’,0,1)为布尔代数,0和1分别称为最大元和最小元. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例1. 证明: 例2. Evaluation only. Created with Aspose.Slides for .NET 3.5