- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
1
第十一章 格与布尔代数
主要内容
11.1 格的定义及性质
11.2 分配格、有补格与布尔代数
2
11.1 格的定义与性质
定义11.1 设S, ≼是偏序集,如果x, yS,{x, y}都有最小上
界和最大下界,则称S关于偏序≼作成一个格.
求{x, y} 最小上界和最大下界可看作 x 与 y 的二元运算∨和∧。
例1 设n是正整数,Sn是n的正因子的集合. D为整除关系,则偏序集Sn, D构成格.
x, y∈Sn,x∨y是lcm(x, y),即x与y的最小公倍数. x∧y是gcd(x, y),即x与y的最大公约数.
3
实例
例2 判断下列偏序集是否构成格,并说明理由.
(1) P(B), ,其中P(B)是集合B的幂集.
(2) Z, ≤,其中Z是整数集,≤为小于或等于关系.
(3) 偏序集的哈斯图分别在下图给出.
解:(1) 幂集格. x, y∈P(B),x∨y就是x∪y,x∧y就是x∩y.
(2) 是格. x, y∈Z,x∨y = max(x, y),x∧y = min(x, y),
(3) 都不是格. 可以找到两个结点缺少最大下界或最小上界
4
实例:子群格
例3 设G是群,L(G)是G 的所有子群的集合. 即L(G) = { H | H≤G }
对任意的H1, H2∈L(G),H1∩H2是G 的子群,H1∪H2是由
H1∪H2生成的子群(即包含着H1∪H2的最小子群).
在L(G)上定义包含关系,则L(G)关于包含关系构成一个
格,称为G的子群格.
在 L(G)中,
H1∧H2 就是 H1∩H2
H1∨H2 就是 H1∪H2
5
格的性质1:对偶原理
定义11.2 设 f 是含有格中元素以及符号 =, ≼, ≽, ∨和∧的命题.
令 f*是将 f 中的≼替换成≽, ≽替换成≼,∨替换成∧,∧替换成∨
所得到的命题. 称 f* 为 f 的对偶命题.
例:在格中令 f 是 (a∨b)∧c ≼ c, 则 f*是 (a∧b)∨c ≽ c.
格的对偶原理:
设 f 是含有格中元素以及符号=, ≼, ≽, ∨和∧等的命题. 若 f 对
一切格为真, 则 f 的对偶命题 f*也对一切格为真.
例:如果对一切格L都有 a, b∈L, a∧b ≼ a,那么对一切格L
都有 a, b∈L, a∨b ≽ a
注意:对偶是相互的,即 ( f*)* = f
6
格的性质2:算律
定理11.1 设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
7
格的性质2:算律 证明
定理11.1 设L, ≼是格, 则运算∨和∧适合交换律、结合律、幂等律和吸收律, 即
(2) a, b, c∈L 有(a∨b)∨c = a∨(b∨c), (a∧b)∧c = a∧(b∧c)
证明:由最小上界的定义有 (a∨b)∨c ≽ a∨b ≽ a (1) (a∨b)∨c ≽ a∨b ≽ b (2) (a∨b)∨c ≽ c (3)
由式(2)和(3)有 (a∨b)∨c ≽ b∨c (4)
由式(1)和(4)有 (a∨b)∨c ≽ a∨(b∨c)
同理可证 (a∨b)∨c ≼ a∨(b∨c)
根据反对称性 (a∨b)∨c = a∨(b∨c)
由对偶原理, (a∧b)∧c = a∧(b∧c)
8
格的性质2:算律 证明(续)
定理11.1 设L, ≼是格, 则运算∨和∧适合交换律、结合律、幂等律和吸收律, 即
(4) a, b∈L 有 a∨(a∧b) = a, a∧(a∨b) = a
证明:显然 a∨(a∧b) ≽ a (5)
由 a ≼ a, a∧b ≼ a 可得
文档评论(0)