- 26
- 0
- 约 39页
- 2017-05-29 发布于四川
- 举报
代数系统 第六章 格和布尔代数 §1格的概念 §2分配格 §3有补格 §4*布尔代数 §1格的概念 1.偏序集合格 《定义》格是一个偏序集合 ,其中每一对元素 都拥有一个最小上界和最大下界。通常用 表示a和b的最大下界,用 表示a和b的最小上界。即: ——称为元素a和b的保交运算, ——称为元素a和b的保联运算。 §1格的概念 例:以下均为偏序集合格(D为整除关系,Sn为n的因子集合)。 §1格的概念 2.代数系统格 《定义》:设 是一个格,如果在A上定义两个二元运算?和?,使得对于任意的a,b?A,a?b等于a和b的最小上界,a?b等于a和b的最大下界,那么就称L, ?, ? 为由格 所诱导的代数系统。 §1格的概念 3.格的主要性质: (1)格的对偶原理 设L,≤是格,“≤”的逆关系“≥”与L组成的偏序集 L, ≥也是格。两者互为对偶。前者的GLB,LUB恰好是后者的LUB,GLB。如有关于L,≤的有效命题,将“≤”换成“≥”,“?”换成“?”, “?”换成 “?”,便能得到L, ≥的有效命题。反之亦然。 §1格的概念 (2)对格L,≤中任意a和b,有a≤a?b及a?b≤a。 (3) L,≤是格。对任意a,b,c,d?L,如a≤b, c≤d,则 a?c≤ b?d, a?c≤b?d §1格的概念 (4)(交换律)交和并运算是可交换的。 (5)(结合律)交和并运算是可结合的。 §1格的概念 (6)(幂等律)对L中每一个a,有a?a=a,a?a=a。 (7)(吸收律)对L中任意a,b, 有a?(a?b)=a a?(a?b)=a。 §2分配格 对格所定义的代数系统L,?,?,其运算?和?不一定满足分配律。 《定义》设L,?,?是由L,≤所诱导的代数系统。如果对任意的a,b,c?L,满足: a ?(b ? c)=(a ? b) ?(a ? c) 及 a ? (b ? c)=(a ? b) ? (a ? c) 则称L,≤是分配格。 §2分配格 讨论定义: (1)定义中的两式互为对偶式。 (2)如L,≤非为分配格,则有下面的分配不等式: a ? (b ? c) ≤ (a ? b) ? (a ? c) a ? (b ? c) ≥ (a ? b) ? (a ? c) 以及模不等式: a≤c?a ? (b ? c) ≤ (a ? b) ? c §2分配格 《定义》如对L中任意a,b,c有: a≤c?a ? (b ? c) = (a ? b) ? c 则称L,≤为模格。 例: §2分配格 《定理》如果格中交对并是分配的,那么并对交也是分配的,反之亦然。 证明:已知a ? (b ? c) = (a ? b) ? (a ? c) (a ? b) ? (a ? c)=((a ? b) ? a) ? ((a ? b) ? c) =a ? ((a ? b) ? c) =a ?((a ? c) ? (b ? c)) =(a ? (a ? c)) ? (b ? c) =a ? (b ? c) 即:并对交也是分配的。 §2分配格 《定理》分配格是模格。 证明:由于a ? (b ? c) = (a ? b) ? (a ? c) (1)若a≤c,则a ? c=c,代入上式得 a ? (b ? c) = (a ? b) ? c (2)若a ? (b ? c) = (a ? b) ? c,则 a≤ a ? (b ? c) = (a ? b) ? c≤c,即: a≤c ∴分配格是模格 §2分配格 《定理》每个链均是分配格。 证明:设L,≤是链。对任意a,b,c?L (1)若a≤b或a≤c,则 a ? (b ? c) = a, (a ? b) ? (a ? c)=a 即: a ? (b ? c) = (a ? b) ? (a ? c) (2)若a≥b且a≥c,则 a ? (b ? c) = b ? c, (a ? b) ? (a ? c)= b ? c 即:a ? (b ? c) = (a ? b) ? (a ? c)。得证。 §3有补格 《定义》设L,≤是一个格,如果存在元素a?L,对于任意的x ?L,都有: a≤x 则称a为格L,≤的全下界,记格的全下界为0。 例: §3有补格 《定理》如果格L,≤
您可能关注的文档
最近下载
- 食材配送车辆故障全流程应急方案.pdf VIP
- 建筑室内施工图深化设计梁佳慧建筑工程系94课件讲解.pptx VIP
- 标准图集目录(第六版).pdf VIP
- 人教版(2024新版)八年级下册物理全册教案 .pdf VIP
- 2026年春季教科版小学科学一年级下册教学计划含进度表.docx VIP
- PEO基复合固态电解质:制备工艺、性能表征与应用前景的深度剖析.docx VIP
- DLT5170-2015 变电站岩土工程勘测技术规程.docx VIP
- 2025-2024-2023(上半年)中学教师资格证《教育知识与能力》真题及答案解析.docx VIP
- 建筑室内施工图深化设计梁佳慧建筑工程系00课件讲解.pptx VIP
- 学校供电线路改造方案.docx VIP
原创力文档

文档评论(0)