格与布尔代数.doc

  1. 1、本文档共54页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
天津理工大学本科《离散数学》教学教案 PAGE 186 第6章 格与布尔代数 学习目标: 1.掌握格、格所诱导的代数系统、子格、分配格、有界格、全上(下)界、补元、有补格、布尔格、布尔代数、布尔表达式等概念; 2.掌握格的基本性质及其简单证明; 3.掌握分配格、有补格及布尔格的判别方法; 4.掌握布尔表达式的析(合)取范式的求法。 5.理解布尔函数的概念。 主要内容: 1.格的概念及性质 2.分配格与模格 3.有界格与有补格 4.布尔代数 5.布尔表达式与布尔函数 重点: 1.格的基本性质; 2.分配格、有补格及布尔格的判别方法; 3.布尔表达式的析(合)取范式的求法。 难点: 子格的概念的理解; 有补格、布尔格的判别。 教学手段: 通过多个实例的精讲帮助同学理解重点和难点的内容,并通过大量的练习使同学们巩固和掌握格的概念及其基本性质、分配格、有补格及布尔格的判别方法、布尔表达式的析(合)取范式的求法。 习题: 习题6.1:1,2,4,8;习题6.2:1,4,6,;习题6.3:2,4,8;习题6.4:1,4(双号题);习题6.5:1(双号题),4。 本章将讨论另外两种代数系统——格与布尔代数,它们与群、环、域的基本不同之处是:格与布尔代数的基集都是一个偏序集。格是具有两个二元运算的代数系统,它是一个特殊的偏序集,而布尔代数则是一个特殊的格。 6.1 格的概念及性质 6.1.1 格的概念 1. 格的定义 在第3章,对偏序集的任意一个子集可引入上确界(最小上界)和下确界(最大下界)的概念,但并非每个子集都有上确界或下确界,例如在图6-1所示的偏序集中,{24,36}没有上确界,{2,3}没有下确界。然而有一些偏序集却有这样一个共同特征,即任意两个元素都有上、下确界(不妨把的上(下)确界称为元素的上(下)确界)。例如图6-2中哈斯图所示的偏序集。把具有这种性质的偏序集称为格(Lattices)。 图6-1 非格示例 图6-2 格的示例 定义6.1.1 (格的偏序定义)如果偏序集中的任何两个元素都有上确界和下确界,则称偏序集为格。 例6.1.1 设是一正整数,是的所有正因子的集合。例如,,“|”是整除关系,则是格,因为,有 (与的最小公倍数) (与的最大公约数)。 例如,,,的哈斯图如图6-2a、b、c所示。 例6.1.2 图6-3中的偏序集都不是格,因为图6-3中无上确界。 图6-3 例6.1.2图 虽然偏序集合的任何子集的上确界、下确界并不一定都存在,但存在,则必唯一,而格的定义保证了任意两个元素的上确界、下确界的存在性。因此我们通常用表示的上确界,用表示的下确界,即 , , 由于对任何,及都是中确定的成员,因此从代数的意义上说,和都是格中的二元运算,分别称为并(join)和交(meet)运算。这样我们便有如下定义: 定义6.1.2 设是一个格,和分别为上的并和交运算,则称代数系统为由格所诱导的代数系统。 例6.1.3 (1)对任意集合,偏序集为格,其中并、交运算即为集合的并、交运算,即对, , 和在上封闭,所诱导的代数系统为。 (2)设为所有命题公式的集合,逻辑蕴涵关系“”为上的偏序关系(指定逻辑等价关系“”为相等关系),那么,为格,对任何命题公式、, (等式右边的和分别为析取与合取逻辑运算符),因此由所诱导的代数系统为。 (3)设表示正整数集,“|”表示上整除关系,那么为格,其中并、交运算即为求两正整数的最小公倍数和最大公约数的运算,即 , 所以由所诱导的代数系统为。 (4)任一全序集是一个格。因为, , 所以由所诱导的代数系统为。 2.子格 若偏序集是格,非空集合,显然也是一个偏序集,我们自然会问,是否是格? 若是格,是否对任意的,有 为此考察下面的例子。 例6.1.4 设是一个格(见图6-4),取, ,的哈斯图如图6-4。显然偏序集不是格,而都构成格,但是在 图6-4 中, 关于中的“”运算不封闭。在中, 关于中的“”运算也不封闭。而在和中,显然对任意的,均有 即关于中的代数运算“”和“” 是封闭的。我们称和 为的子格。 定义6.1.3 设是一个格,诱导的代数系统为,为的非空子集,若关于中的运算和封闭,则称是的子格。 例6.1.5 是一个格,其中并、交运算即为求两正整数的最小公倍数和最大公约数的运算,即 , ,则也是偏序集,且关于中的和封闭,故是的子格。 例6.1.6 设是一个格,,且。令,则是的一个子格。 证明:首先,故。又对,有,于是, , 所以。并且 , 所以。因此,即。 同理可

文档评论(0)

小教资源库 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档