- 1、本文档共44页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第六章格与布尔代数.
复习: 定理(格的基本性质) 设L, ?是格, 则运算∨和∧适合交换律、结合律、幂等律和吸收律, 即 (1) ?a,b∈L 有 a∨b = b∨a, a∧b = b∧a (2) ?a,b,c∈L 有(a∨b)∨c = a∨(b∨c), (a∧b)∧c = a∧(b∧c) (3) ?a∈L 有 a∨a = a, a∧a = a (4) ?a,b∈L 有a∨(a∧b) = a, a∧(a∨b) = a 定理(格的性质:序与运算的关系) 设L是格, 则?a,b∈L有a ? b ? a∧b = a ? a∨b = b 定理(格的保序性) 设L是格, ?a,b,c,d∈L,若a ? b 且 c ? d, 则 a∧c ? b∧d, a∨c ? b∨d 对偶式:格中元素用运算符∧, ∨连接起来的的一个表达式f,将f中的∧换成∨,将∨换成∧,如有0,1,将0换成1,将1换成0,所形成的表达式称为f的对偶表达式记作f* 。 对偶原理: 对于L,R中任一真命题,其对偶命题也真。 三、格的同态与同构 定义:设A1,?1和A2,?2是两个格,它们分别诱导的代数系统为A1, ∧1, ∨1和A2, ∧2, ∨2,若存在一个从A1到A2的映射f,使得对于任意的a,b∈A1,有 f(a∧1b)=f(a)∧2f(b) f(a∨1b)=f(a)∨2f(b) 则称f是从A1, ∧1, ∨1到A2, ∧2, ∨2的格同态。亦称f(A1), ?2是A1,?1的格同态象。当f是双射的,则称f是从A1, ∧1, ∨1到A2, ∧2, ∨2的格同构,亦称格A1,?1和A2,?2是同构的。 定理:设f是格A1,?1到A2,?2格同态,则对任意的a,b∈A1,若a?1b,必有f(a) ?2 f(b)。 定理:设A1,?1和A2,?2是两个格,f是从A1到A2双射,则f是从A1,?1到A2,?2的格同构,当且仅当,对任意的a,b∈A1,a?1b?f(a) ?2 f(b)。 定理2: 如果在一个格中交运算对并运算可分配,则并运算对交运算也是可分配的。反之亦然。 定理4 定理: 设格L, ∧, ∨是分配格,对任意a, b, c∈L,如果 a∧c=b∧c,a∨c=b∨c 则有a=b。 证明:若L, ∧, ∨是分配格,且a∧c=b∧c,a∨c=b∨c,则 a=a∧(a∨c)=a∧(b∨c) =(a∧b)∨(a∧c) =(a∧b)∨(b∧c)=b∧(a∨c) =b∧(b∨c)=b 6.3 有补格 例: 定理: 设L,∧,∨,0,1是有界格, 则?a∈L有:a∧0 = 0, a∨0 = a, a∧1 = a, a∨1 = 1 定理 设L,∧,∨,0,1是有界分配格. 若L中元素 a 存在补元, 则存在惟一的补元. 证: 假设 c 是 a 的补元, 则有 a∨c = 1, a∧c = 0, 又知 b 是 a 的补元, 故 a∨b = 1, a∧b = 0 从而得到 a∨c = a∨b, a∧c = a∧b, 由于L是分配格, b = c. 三、有补格 若有界格L, ?, ? 中的所有元素都存在补元,则称L, ?, ? 为有补格。 6.4 布尔代数 定义: 一个有补分配格是一个布尔代数,可记为B, ∧, ∨, ˉ, 0, 1。 设B, ∧, ∨, ˉ, 0, 1是一个布尔代数,a, b, c是集合B中任意元素,于是,它有如下性质: (1)因为B, ∧, ∨是一个格,所以有 a∧a=a a∨a=a a∧b=b∧a a∨b=b∨a (a∧b)∧c=a∧(b∧c) (a∨b) ∨c=a∨(b∨c) a∧(a∨b)=a a∨ (a∧b)=a (2)因为B, ∧, ∨是分配格,所以有 a∧(b∨c)=(a∧b)∨(a∧c) a∨(b∧c)=(a∨b)∧(a∨c) (3)因为B, ∧, ∨, 0, 1是有界格,所以有 a∧0=0 a∨1=1 a∧1=a a∨0=a (4)因为B, ∧, ∨, ˉ, 0, 1是有补分配格,所以有 a∧ =0 a ∨
文档评论(0)