5.9 格和布尔代数_第1页
5.9 格和布尔代数_第2页
5.9 格和布尔代数_第3页
5.9 格和布尔代数_第4页
5.9 格和布尔代数_第5页
已阅读5页,还剩7页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

格和布尔代数5.9特殊的代数系统(三)目录CONTENTS01格的概念与性质深入探讨格的数学定义,通过经典实例加深理解,并掌握其核心基本性质。02特殊的格解析分配格、有界格与有补格的特性与判定方法,构建更完整的格论知识体系。03布尔代数探究布尔格的数学模型,理解布尔代数的公理系统,并掌握布尔表达式的运算规则。格的定义定义5.40:格(Lattice)定义5.40设<A,≼>是一个偏序集,如果集合A中任意两个元素都存在最小上界(LUB)和最大下界(GLB),则称该偏序集<A,≼>为一个格(Lattice)。💡核心要点格是一种特殊的偏序集,其核心特征是:对集合中的任意两个元素进行运算,都能在集合内找到它们的上确界和下确界,即“结构完整”,无孤立的元素对。格的示例与非格示例格的示例(哈斯图)以下哈斯图表示的偏序集均为格:

任意两个元素都能找到上确界(最小上界)和下确界(最大下界)。非格的示例(哈斯图)以下哈斯图表示的偏序集都不是格:

存在某些元素对无法同时找到上确界或下确界,不满足格的定义。格的典型例子01/整除格02/幂集03/小于等于格的代数性质定理5.32:格的代数性质设<A,∨,∧>是由格<A,≼>诱导的代数系统,则对任意的a,b,c∈A,有以下四条基本性质:1.交换律(Commutativity)a∨b=b∨a,a∧b=b∧a2.结合律(Associativity)a∨(b∨c)=(a∨b)∨ca∧(b∧c)=(a∧b)∧c3.幂等律(Idempotence)a∨a=a,a∧a=a4.吸收律(Absorption)a∨(a∧b)=aa∧(a∨b)=a特殊的格:分配格定义5.45:分配格(DistributiveLattice)若格的并、交运算满足分配律,则称此格为分配格。注:在分配格中,对于任意元素a,b,c,均满足a∧(b∨c)=(a∧b)∨(a∧c)及a∨(b∧c)=(a∨b)∧(a∨c)。判定定理(Characterization)一个格是分配格,当且仅当它不含有与“钻石格”(DiamondLattice)或“五角格”(PentagonLattice)同构的子格。哈斯图(HasseDiagram)直观展示了两种非分配格的结构:•钻石格(M₅):五个元素,中间一个,上下各一个,左右各一个,形似钻石。它不满足分配律,而是满足模律。•五角格(N₅):五个元素呈线性偏序关系的变形,既不满足分配律,也不满足模律。特殊的格:有界格定义5.47有界格(BoundedLattice)若一个格既有全上界(1)又有全下界(0),则称此格为有界格。核心性质:设<A,≼>为有界格,则对任意a∈A,必有:a∨1=1任意元素与全上界的并运算,结果为全上界a∧1=a任意元素与全上界的交运算,结果为元素本身a∨0=a任意元素与全下界的并运算,结果为元素本身a∧0=0任意元素与全下界的交运算,结果为全下界特殊的格:有补格定义5.49:有补格(ComplementedLattice)在一个有界格中,如果每个元素都至少有一个补元素,则称此格为有补格。什么是“补元”?对于集合中的任意元素a,若存在元素b,使得两者的并运算结果为全上界(1),且交运算结果为全下界(0),则称b是a的补元。哈斯图示例:不同结构的格中,补元数量可能不同,

有的元素有一个补元,有的元素有多个补元。布尔代数定义5.51:布尔代数(BooleanAlgebra)一个有补分配格<A,≼>,称为布尔格。由布尔格诱导的代数系统<A,∨,∧,¬>称为布尔代数。核心要点布尔代数是一种性质极佳的格结构,它同时满足两个关键条件:一是满足分配律,二是每个元素都存在唯一的补元。这使其成为逻辑电路、集合论等领域的重要数学基石。布尔代数的性质定理5.40:对于布尔代数中任意两个元素a,b,必定有:01.对合律InvolutionLaw¬(¬a)=a双重否定等于肯定,

逻辑上与自然语言表述一致02.德·摩根律(一)DeMorgan'sLaw(OR)¬(a∨b)=¬a∧¬b两个元素“或”运算的否定

等于各元素否定的“与”运算03.德·摩

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论