离散数学讲义(第六章).pptVIP

Discrete Mathematics;第六章 格与布尔代数;第六章 格和布尔代数; 在第三章曾讨论过偏序集合,定义了有关的术语。并曾证明过:(1)一个偏序集合的子集,如果存在最小上界(lub),则它是唯一的,如果存在最大下界(glb),则它也是唯一的;(2)如果偏序集合拥有最小元素,则它是唯一的,如果偏序集合拥有最大元素,则它也是唯一的。我们就以这些知识为基础介绍格的概念和有关性质。;6-1 格的概念（续）;;6-1 格的概念（续）;定义：设〈A，≤〉是一个格，由〈A，≤〉诱导的代数系统为〈A， ?， ? 〉，设B ? A且B ≠ ?，如果A中的这两个运算?， ?关于B是封闭的， 那么称〈B，≤〉是〈A，≤〉的子格。 可以证明子格本身是一个格，因为交换律，结合律，吸收律都是继承的。显然，对于A的任意非空子集B，〈B，≤〉是偏序集，但不是一定是格，并且即使是格，也不一定是A的子格。 例如右图所示的格中，〈｛a,b,d｝，≤〉 是子格，〈｛b,c｝，≤〉不是子格， 因为｛b,c｝对运算不封闭。 ;例如：S={a,b,c,d,e,f,g,h}， 取 S1={a,b,d,f}，S2={c,e,g,h}，S3={a,b,c,d,e,g,h}， 则〈S1，≤〉，〈S2 ，≤〉 都是〈S，≤〉的子格。 而 〈S3，≤〉，是格， 但不是〈S，≤〉的子格， 因为b ? d = f ? S3 。; 给定一个偏序集合〈A，≤〉，≤的逆关系≤R或记作≥，表示对于A中的元素a，b，a≤Rb当且仅当b≤a。 显然〈A，≤R〉（或记作〈A，≥〉 ）也是一个偏序集，我们称偏序集合〈A，≤〉和〈A，≥〉互为对偶。从图形上看，后者的哈斯图就是前者哈斯图的上下颠倒。;格的性质;4．a ? b = b ? a a ? b = b ? a;引理：设〈A， ?， ? 〉是一个代数系统，其中，?和?都是二元运算且满足吸收律，则?， ?都满足幂等性。;定理：设〈A， ≤ 〉为一个格，对任意的a，b ? A，有 a ≤ b ? a ? b = a ? a ? b = b;格同态，格同构;定理：设f为从〈A1 ，≤1〉到〈A2 ，≤2〉的格同态，则对任意的x,y ? A1，如果x ≤1 y，则 f(x) ≤2 f(y)。;6-2 分配格;6-2 分配格（续）;定理：如果在一个格中交运算对并运算可分配，则并运算对交运算一定可分配。反之亦然。;定义：设〈A,?,?〉是由格〈A， ≤ 〉所诱导的代数系统。如果对任意的a,b,c?A，当b ≤ a时，有： a ? (b ? c) = b ? (a ? c) 则称〈A， ≤ 〉是模格。;定理：对于模格，若有三个元素a，b，c使得下述三个式子的任何一个式子中把≤换成=成立，则另外两个式子中把≤换成=也成立。 a ? (b ? c) ≤ (a ? b) ? (a ? c) (a ? b) ? (a ? c) ≤ a ? (b ? c) (a ? b) ? (b ? c) ? (c ? a) ≤ (a ? b) ? (b ? c) ? (c ? a) ;6-3 有补格;6-3 有补格（续）;6-3 有补格（续）;6-4 布尔代数;6-4 布尔代数（续）;6-4 布尔代数（续）;6-4 布尔代数（续）;6-4 布尔代数（续）;6-4 布尔代数（续）;6-5 布尔表达式;6-5 布尔表达式（续）;6-5 布尔表达式（续）;6-5 布尔表达式（续）;6-5 布尔表达式（续）;? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?;符号集