63格及布尔代数.docVIP

  1. 1、本文档共10页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
63格及布尔代数

授课时间 第 十三周 第 1/2 次课 授课章节 6.2环合域 任课教师 及职称 唐新华 讲师 教学方法 与手段 板书和电子课件结合 课时安排 2课时 使用教材和 主要参考书 1、教材: 耿素云等,离散数学,清华大学出版社,2008 2.参考书 左孝琳、李为槛、刘永才,离散数学(上海科技文献版)2006 教学与目的要求: 1、判别给定代数系统是否为环、交换环、含幺环、无零因子环、整环和域; 2、了解环的运算性质, 能进行环中的运算; 3、能判别环的子集是否为子环; 4、能判别映射φ是环R1到R2的同态映射。 教学重点、难点: 重点:环的定义及其运算规则、子环、交换环、含幺环、无零因子环、整环。 难点:环的同态、整环和域 教学内容: 6.3 格与布尔代数 一、本节主要内容 格的定义与实例 格的性质 对偶原理 交换律、结合律、幂等律、吸收律 格的等价定义 子格 格的同构 特殊的格:分配格、有界格、有补格、布尔格 二、教学内容 格的定义 定义 设S, ?是偏序集,如果(x,y?S,{x,y}都有 最小上界和最大下界,则称S关于偏序?构成一个格。 由于最小上界和最大下界的惟一性,可以把求{x,y} 的最小上界和最大下界看成 x 与 y 的二元运算∨和 ∧,即 x∨y 和 x∧y 分别表示 x 与 y 的最小上界和 最大下界. 注意:这里出现的∨和∧符号只代表格中的运算, 而不再有其他的含义.? 格的实例 例 设n是正整数,Sn是n的正因子的集合. D为 整除关系,则偏序集Sn,D构成格.(x,y∈Sn, x∨y 是 lcm(x,y),即 x 与 y 的最小公倍数. x∧y 是 gcd(x,y),即 x 与 y 的最大公约数. 下图给出了格S8,D,S6,D和S30,D. 格的实例(续) 例 判断下列偏序集是否构成格,并说明理由. (1) P(B),( ,其中P(B)是集合B的幂集. (2) Z, ≤,其中Z是整数集,≤为小于等于关系. (3) 偏序集的哈斯图分别在下图给出. 格的性质:对偶原理 定义 设 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 格的性质:算律 定理 设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 算律的证明 证 (1) 交换律. a∨b 是 {a,b} 的最小上界 b∨a 是 {b,a}的最小上界 { a, b } = { b, a } ( a∨b = b∨a. 由对偶原理, a∧b = b∧a 得证. 算律的证明(续) (2) 结合律. 由最小上界的定义有 (a∨b)∨c?a∨b?a (I) (a∨b)∨c?a∨b?b  (II) (a∨b)∨c?c  (III) 由式 (II) 和 (III) 有 (a∨b)∨c?b∨c  (IV) 由式 (I) 和 (IV) 有 (a∨b)∨c?a∨(b∨c). 同理可证 (a∨b)∨c ? a∨(b∨c). 根据偏序的反对称性得到 (a∨b)∨c = a∨(b∨c). 由对偶原理, (a∧b)∧c = a∧(b∧c) 得证. 算律的证明(续) (3) 幂等律. 显然 a ? a∨a, 又由 a ? a 得 a∨a ? a

文档评论(0)

liwenhua00 + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档