《第九章 格与代数.pptVIP

第十三章 格与布尔代数 第一节 格的定义与性质 第9章 格与代数 第9章 格与代数 第9章 格与代数 第9章 格与代数 第9章 格与代数 第9章 格与代数 第9章 格与代数 第9章 格与代数 第9章 格与代数 第9章 格与代数 第9章 格与代数 第9章 格与代数 * * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一、偏序格的定义 定义 设A，≤是一个偏序集，如果A中任意两个元素x,y∈A，都有上确界和下确界，则称A，≤为格。 [注]：对任意的x,y∈A,记 x∨y=sup{x,y} x∧y=inf{x,y} Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 二、 偏序格的基本性质 1、对偶命题 设f是含有格中元素以及符号=，≤，≥，∧和∨的命题，令f*是将f中的≤替换成≥，≥替换成≤，∧替换成∨，∨替换成∧所得到的命题，称f*为f的对偶命题。 2、对偶原理 设f是含有格中元素以及符号=，≤，≥，∧和∨的命题，若f对一切格为真，则f的对偶命题f*也对一切格为真。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3、定理 设A，≤是格，则对任意的x,y∈A，有 (1)交换律 x∨y=y∨x x∧y=y∧x (2)结合律 (x∨y)∨z=x∨(y∨z) (x∧y)∧z=x∧(y∧z) (3)等幂律 x∨x=x x∧x=x (4)吸收律 x∨(x∧y)=x x∧(x∨y)=x Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 三、代数格及与偏序格的等价性 定义 设集合S关于其上的二元运算*，+封闭，若*，+满足交换律、结合律和吸收律，则称(S,*,+)是一个格，称为代数格。 定理 一个偏序格当且仅当为代数格。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 【注】：将偏序格S,≤和代数格(S,*,+)统称为格，这样可以从两个不同的角度描述格。 ≤与运算*，+间的关系为： a*b=inf{a,b}，a+b=sup{a,b} Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 四、格的其他性质 1、设L是格，则对任意的a,b∈L，有 a≤b?a*b=a?a+b=b 2、设L是格，对任意的a,b,c,d∈L,若a≤b且c≤d，则 a*c≤b*d,a+c≤b+d Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义 设〈L，*，+〉是一个格，S是L的非空子集。 若〈S，*，+〉是格，则称之为L的子格。 第二节 子格 一、子格 [注] 〈S，*，+〉是〈L，*，+〉的子格当且仅当运算*和+在S上是封闭的。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1、定义 设〈L，*，+〉是格，若*，+满足分配律，即对任意的a，b，c∈L，有 a*（b+c）=（a*b）+（a*c） a+（b*c）=（a+b）*