[离散数学讲义第6章.pptVIP

Discrete Mathematics 离散数学讲义（电子版） 天津财经大学 信息科学与技术系 王宁 ninglw@163.com Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 第六章 格与布尔代数 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 第六章 格和布尔代数 本章包括以下内容： 6-1 格的概念 6-2 分配格 6-3 有补格 6-4 布尔代数 6-5 布尔表达式 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 在第三章曾讨论过偏序集合,定义了有关的术语。并曾证明过:(1)一个偏序集合的子集,如果存在最小上界(lub),则它是唯一的,如果存在最大下界(glb),则它也是唯一的;(2)如果偏序集合拥有最小元素,则它是唯一的,如果偏序集合拥有最大元素,则它也是唯一的。我们就以这些知识为基础介绍格的概念和有关性质。 6-1 格的概念 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 6-1 格的概念（续） 偏序集 由一个集合A以及A上的一个偏序关系 ≤ 所组成的一个序偶〈A， ≤ 〉称为偏序集。 定义：设〈A， ≤ 〉为一个偏序集，如果A中任意两个元素都有最小上界和最大下界，则称〈A， ≤ 〉为格。 注意：偏序集的任意子集不是必定存在最小上界或最大下界的。 例如：正整数集合I+与其上的整除关系 | 组成一个偏序集〈 I+ ，|〉，并且为格。 例如：集合S的幂集P(S)与其上的包含关系 ? 组成一个偏序集〈 P(S) ， ? 〉，并且是格。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 6-1 格的概念（续） 偏序集但不是格 格 a f e d c b Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 6-1 格的概念（续） 代数系统 设〈A， ≤ 〉是一个格，如果在A上定义两个二元运算?和?，使得对于任意的a，b?A，a?b等于a和b的最小上界，a?b等于a和b的最大下界，那么就称〈A， ?， ? 〉为由格〈A， ≤ 〉所诱导的代数系统。二元运算?， ?分别称为并运算和交运算。 例如：S={a, b}，P(S)={?，{a}，{b}，{a，b} }，则由格〈 P(S) ， ? 〉 所诱导的代数系统为〈 P(S)， ?， ? 〉，其中?是集合的并， ?是集合的交。 ? {a} {b} {a，b} Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 定义：设〈A，≤〉是一个格，由〈A，≤〉诱导的代数系统为〈A， ?， ? 〉，设B ? A且B ≠ ?，如果A中的这两个运算?， ?关于B是封闭的， 那么称〈B，≤〉是〈A，≤〉的子格。 可以证明子格本身是一个格，因为交换律，结合律，吸收律都是继承的。显然，对于A的任意非空子集B，〈B，≤〉是偏序集，但不是一定是格，并且即使是格，也不一定是A的子格。 例如右图所示的格中，〈｛a,b,d｝，≤〉 是子格，〈｛b,c｝，≤〉不是子格， 因为｛b,c｝对运算不封闭。 6-1 格的概念（续） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyrig