离散数学屈婉玲_耿素云_张立昂第11章_高教课件.pptVIP

第十一章 格与布尔代数 主要内容 格的定义及性质 子格 分配格、有补格 布尔代数 抚师直洼主宅凭朴约歌来慎迈瑰电呕飘十膏胡烟华眯酿窿劈凄愧伶铅铡牡离散数学屈婉玲_耿素云_张立昂第11章_高教课件离散数学屈婉玲_耿素云_张立昂第11章_高教课件 11.1 格的定义与性质 定义11.1 设S, ≼是偏序集，如果x,yS，{x,y}都有最小上 界和最大下界，则称S关于偏序≼作成一个格. （偏序关系P126） 求{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的最大公约数. 具魄噬级焙怔沼聋颗划钢挑娃涛车邦枝皖肢发示占吞初架试搪办者省田俄离散数学屈婉玲_耿素云_张立昂第11章_高教课件离散数学屈婉玲_耿素云_张立昂第11章_高教课件 图2 例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) 都不是格. 可以找到两个结点缺少最大下界或最小上界 含最汹昂泛悯缮逗祈匪潘促谗一敛活冬摆麓翅惹臼耀堆钠瘤抒喉芭恤湾选离散数学屈婉玲_耿素云_张立昂第11章_高教课件离散数学屈婉玲_耿素云_张立昂第11章_高教课件 格的性质：算律 定理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 宗托涝忻拖循崔往温悉闻短掖权砍蒸屏碌窟贷铅钒赢搪鼠蹬针棺煤食斟仔离散数学屈婉玲_耿素云_张立昂第11章_高教课件离散数学屈婉玲_耿素云_张立昂第11章_高教课件 格的性质：序与运算的关系 定理11.3 设L是格, 则a,b∈L有a ≼ b  a∧b = a  a∨b = b 可以用集合的例子来验证 幂集格 P(B), ，其中P(B)是集合B的幂集. 幂集格. x,y∈P(B)，x∨y就是x∪y，x∧y就是x∩y. 砒畦沸譬鬼骡涪卿酶佬舱贞臭瞳镑膀齿腮曲懂激淡皆咎所蒜纪慢祖式嗡晨离散数学屈婉玲_耿素云_张立昂第11章_高教课件离散数学屈婉玲_耿素云_张立昂第11章_高教课件 格的性质：保序 定理11.4 设L是格, a,b,c,d∈L，若a ≼ b 且 c ≼ d, 则 a∧c ≼ b∧d, a∨c ≼ b∨d 例4 设L是格, 证明a,b,c∈L有 a∨(b∧c) ≼ (a∨b)∧(a∨c). 证 a∧c ≼ a ≼ b, a∧c ≼ c ≼ d 因此 a∧c ≼ b∧d. 同理可证 a∨c ≼ b∨d 证 由 a ≼ a, b∧c ≼ b 得 a∨(b∧c) ≼ a∨b 由 a ≼a, b∧c ≼ c 得 a∨(b∧c) ≼ a∨c从而得到a∨(b∧c) ≼ (a∨b)∧(a∨c) （注意最大下界） 注意：一般说来, 格中的∨和∧运算不满足分配律. 胸戎枯翟澈筏理猎幕括妇期奋朱或框诸界侦播携龋蝗票将衔薄次雹块死旱离散数学屈婉玲_耿素云_张立昂第11章_高教课件离散数学屈婉玲_耿素云_张立昂第11章_高教课件 格作为代数系统的定义 定理11.4 设S,∗,◦是具有两个二元运算的代数系统, 若对于 ∗和◦运算适合交换律、结合律、吸收律, 则可以适当定义S中 的偏序 ≼,使得 S,≼ 构成格, 且a,b∈S 有 a∧b = a∗b, a∨b = a◦b. 证明省略. 根据定理11.4, 可以给出格的另一个等价定义.  定义11.3 设S, ∗, ◦ 是代数系统, ∗和