格与布尔代数(离散数学).pdfVIP

哈尔滨理工大学本科生课程 离 散 数 格与分配格 学 计算机系 第六章 格与布尔代数 这一章将介绍另一类代数系统，这就是格。 格论大体上是在1935年左右形成的，它不仅是 代数学的一个分支，而且在近代解析几何，半 序空间等方面也都有重要的作用。我们在这里 只介绍格的一些基本知识以及几个具有特别性 质的格——分配格、有补格。 学习 《格与布尔代数》 这一章的要求 一、学习目的与要求 本章在已经学过的群、环和域几个代数系统的 基础上，进一步学习格这个新的代数系统，并 且学习在计算机科学中有重要应用的布尔代数。 通过本章的学习，使学生进一步了解格的基本 概念，掌握布尔代数的运算规律，为学习数字 逻辑、计算机硬件设计等课程打下数学基础。 二、知识点 1．格的概念，偏序集上的并运算、 偏序集上的交运算。 2．分配格、有补格； 3．布尔代数、Stone表示定理及其推 论，布尔表达式、布尔函数、开关代数的 概念。 三、要求 1．识记 根据哈斯图识别是否是格，分配格、有补格， 模格，布尔格、布尔代数。 2 ．领会 格同构的概念，分配格与模格的关系，格的 全上界的唯一性证明，Stone表示定理、布尔表达 式、析取范式和合取范式。 3 ．简单应用 开关代数。 复习 1.偏序集 定义3-12.1：设A是一个集合，如果A上的一个关系R满足 自反性、反对称性和传递性，则称R是A上的一个偏序关 系，记作≤ 。A，≤ 称作偏序集。 2. 最大元、最小元 3-12.6 A ≤ B A 定义 ：设 ， 是一个偏序集，且 是 的子集， b B B x x≤b 若有某个元素  ，对于 中的每一个元素 ，有 ，则 b B ≤ b B 称 为 ， 的最大元；同理，若有某个元素  ，对于 B x b≤x b B ≤ 中的每一个元素 ，有 ，则称 为 ， 的最小元。 3.哈斯图 3-12.2 A ≤ x y A x≤y 定义 ：在偏序集 ， 中，如果 、 ∈ ， ， x≠y z x≤z z≤y y ，且没有其他元素 ，使 ， ，则称元素 盖住元 x COVA={x y|x y A y x} 素 。记 ， 、 ∈ ， 盖住 。 A ≤ 对于给定偏序集 ， ，它的盖住关系是唯一的， 所以可用盖住的性质画出偏序集合图，或称哈斯图，其作 图规则为： (1)小圆圈代表元素。 (2) x≤y x≠y y x 如果 且 ，将代表 的小圆圈画在代表 的小圆圈 之上。 (3) x y COVA x y 如果 ， ∈ ，则在 与 之间用直线连结。 4. 上界、下界 3-12.7 A ≤ B A a A 定义 ：设 ， 是一偏序集，对于  ，如有