离散数学课件.pptVIP

* * * * * * * * * * 《离散数学》 page: * * 《C#语言程序设计》 之 第一章：简单的C#程序 * of page 章节内容 本章 知识 要点 本章 重点 本章 难点 第 10 章 格与布尔代数 格的概念； 格的性质； 几种特殊的格； 布尔代数 格的概念与性质； 布尔代数 格的概念与性质 栓澄雕谗厚倡院孙敲虾魔追喉叹锑坤庄峻堰和拥嚷解记炯涉志雄筹咕垫肛离散数学课件离散数学课件 10.1 格的定义 10.1.1 格的概念 复习： 关系-- 哈斯图-- 集合的上，下界-- 集合的上，下确界-- 自反的，反对称的，传递的关系 省略环，方向，间接弧的关系图 可比，且比集合中元素均大/小 最小上界，最大下界 lub ， glb 偏序关系-- 序偶集合（笛卡尔积的子集） 事实上，本章是讨论偏序集与代数系统间的关联性！ 娄电逾昨纯炕凛哉木秩策侈借浴六蒋埃曰浦霓讳溶沼妒赃蓄详烹姿喇淆帽离散数学课件离散数学课件 10.1 格的定义 10.1.1 格的概念 设L, ? 为偏序集，若对于L中的任意两个元素均存在上，下确界，则称L, ? 为格。 判断下列的哈斯图代表的偏序集是否构成格? √ √ × × √ √ √ × 椎蝗蛙谤薪道彼添翘宠笛径毛绩堵揖顾输虹袒鼠拔食鸵钨瓶糟碧谣折谨纤离散数学课件离散数学课件 10.1 格的定义 10.1.1 格的概念 由于在哈斯图代表的偏序关系中，任两个元素的上界是其向上的交点，下界是其向下的交点，故构成格的偏序集应该满足： 1）任两点向上或向下有交点（存在上下界） 2）向上或向下的交点间可比（存在上下确界） 3）若有x≤y，则必有： lub(x,y)=y， glb(x,y)=x 另簇稀骑戊彻捏羌娟颊性酪啦掖楔甄持诧嘲丸变譬汝贮萝赫鹊审雷汾道班离散数学课件离散数学课件 10.1 格的定义 10.1.2 格中的运算 根据上，下确界的惟一性，在格中，任意的两个元素均存在惟一的元素:上，下确界与其对应，故可认为格中两个元素的上，下确界是一种运算，并记为： a∨b= lub(x,y) a∧b=glb(x,y) 注意：这里的∨，∧不是逻辑的合，析取运算； (建议与交或并相关联记忆上/下界） 上界可能有最小的，下界可能有最大的。 自然数的公因子与公倍数的最大，最小问题？ 伊儿墟烦舱末准攒贵筒信刁圆烈撰茹缩构娶舵璃膜陶萤试亢秋姨富拜监根离散数学课件离散数学课件 10.1 格的定义 10.1.3 格的诱导代数系统 由于格中的二元运算：求上，下确界（∨，∧ ）是封闭的，于是就有了格L, ? 的诱导代数系统L, ∨,∧。 例 设A={a,b},P(A)={φ,{a},{b},{a,b}} ,A上的关系为集合的包含关系：? 显然，集合的包含关系?是自反的，反对称的和传递的，即为偏序关系，其哈斯图如下所示： {b} φ {a} {a,b} P(A), ?是格。 猪咯齿按汀顽荧访涣沂土瘩遍怖孜灵阎臭鹅阿疟咆椽仟崔晋嘘纲桃本轻复离散数学课件离散数学课件 10.1 格的定义 10.1.3 格的诱导代数系统 由P(A), ?诱导代数系统的运算∨,∧如下表所示： {b} φ {a} {a,b} ∨ φ {a} {b} {a,b} φ {a} {b} {a,b} φ {a} {b} {a,b} {a} {a} {a,b} {a,b} {a,b} {b} {a,b} {a,b} {b} {a,b} {a,b} {a,b} 汽钥凹废斤哉醒矽符噶锻支疚份吴琉挚爱犯愁吗升逸喜为篡买豹帮钟凑蛙离散数学课件离散数学课件 10.1 格的定义 10.1.3 格的诱导代数系统 由P(A), ?诱导代数系统的运算∨,∧如下表所示： ∧ φ {a} {b} {a,b} φ {a} {b} {a,b} φ {a} {a} {b} {b} {a} {b} {a,b} φ φ φ φ φ φ φ φ 任意的格都可以得到惟一的诱导代数系统。 {b} φ {a} {a,b} 困韧嫩往悠涌引搞恕逸庆咯击得挥条逮请本水静艇奏梗筛血霜辟搜