东南大学:《离散数学》课程教学资源(PPT课件讲稿)第六章 代数系统(格和布尔代数)

代数系统 第六章格和布尔代数 §1格的概念 §2分配格 §3有补格 §4*布尔代数
1 代数系统 第六章 格和布尔代数 §1格的概念 §2分配格 §3有补格 §4 *布尔代数

s1格的概念 1偏序集合格 《定义》格是一个偏序集合,其中每一对元素 a.b∈L都拥有一个最小上界和最大下界。通常用 a入b表示a和b的最大下界,用avb表示a和b的最小 上界。即GLB{a,b}=ab —称为元素a和b的保交运算, LUBa, b=avb —称为元素a和b的保联运算
2 §1格的概念 1.偏序集合格 《定义》格是一个偏序集合 ,其中每一对元素 都拥有一个最小上界和最大下界。通常用 表示a和b的最大下界,用 表示a和b的最小 上界。即: ——称为元素a和b的保交运算, ——称为元素a和b的保联运算。 L, a,b L ab ab GLB{a,b} = a b LUB{a,b} = a b

s1格的概念 例:以下均为偏序集合格(D为整除关系,Sn为n的因 子集合)
3 §1格的概念 例:以下均为偏序集合格(D为整除关系,Sn为n的因 子集合)

s1格的概念 2代数系统格 《定义》:设是一个格,如果在A上定义两个 二元运算v和∧,使得对于任意的a,b∈A,a∨b等 于a和b的最小上界,a∧b等于a和b的最大下界,那 么就称为由格L>所诱导的代数系统
4 §1格的概念 2.代数系统格 《定义》:设 是一个格,如果在A上定义两个 二元运算和,使得对于任意的a,bA,ab等 于a和b的最小上界,ab等于a和b的最大下界,那 么就称 为由格 所诱导的代数系统。 L, L,

s1格的概念 格的主要性质: (1)格的对偶原理 设是格,“≤”的逆关系“≥”与L组成的偏序集 也是格。两者互为对偶。前者的GLB,LUB恰好 是后者的LUB,GLB。如有关于的有效命题, 将“≤”换成“≥”,“八”换成“v”,“V”换成 ∧”,便能得到的有效命题。反之亦然
5 §1格的概念 3.格的主要性质: (1)格的对偶原理 设是格,“≤”的逆关系“≥”与L组成的偏序集 也是格。两者互为对偶。前者的GLB,LUB恰好 是后者的LUB,GLB。如有关于的有效命题, 将“≤”换成“≥”,“”换成“”, “”换成 “”,便能得到的有效命题。反之亦然

s1格的概念 (2)对格中任意a和b,有aavb及absa (3)是格。对任意a,b,cd∈L,如asb,c≤d,则 avc≤bvd,a∧c≤b/d
6 §1格的概念 (2)对格中任意a和b,有a≤ab及ab≤a。 (3) 是格。对任意a,b,c,dL,如a≤b, c≤d,则 ac≤ bd, ac≤bd

7
7

s1格的概念 (4)(交换律)交和并运算是可交换的 (5)(结合律)交和并运算是可结合的
8 §1格的概念 (4)(交换律)交和并运算是可交换的。 (5)(结合律)交和并运算是可结合的

s1格的概念 (6)(幂等律)对L中每一个a,有aVa=a,a∧a=a。 (7)(吸收律)对L中任意a,b, 有av(ab)=aa∧(ab)=a
9 §1格的概念 (6)(幂等律)对L中每一个a,有aa=a,aa=a。 (7)(吸收律)对L中任意a,b, 有a(ab)=a a(ab)=a

§2分配格 对格所定义的代数系统,其运算∧和∨不一定满 足分配律 《定义》设是由所诱导的代数系统。如果 对任意的a,b,c∈L,满足: a∧(bvc=(a∧b)v(a∧c) 及av(b∧c)=(avb)∧(avc) 则称是分配格 10
10 §2分配格 对格所定义的代数系统,其运算和不一定满 足分配律。 《定义》设是由所诱导的代数系统。如果 对任意的a,b,cL,满足: a (b c)=(a b) (a c) 及 a (b c)=(a b) (a c) 则称是分配格
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
- 东南大学:《离散数学》课程教学资源(PPT课件讲稿)第五章 代数系统(代数结构).ppt
- 东南大学:《离散数学》课程教学资源(PPT课件讲稿)第四章 集合论(函数).ppt
- 东南大学:《离散数学》课程教学资源(PPT课件讲稿)第三章 集合论(集合与关系).ppt
- 东南大学:《离散数学》课程教学资源(PPT课件讲稿)第二章 谓词逻辑.ppt
- 东南大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑.ppt
- 东南大学:《离散数学》课程教学资源(PPT课件讲稿)绪言(计算机数学).ppt
- 中国科技大学:《数值计算方法》课程教学资源(PPT课件讲稿)教学大纲.ppt
- 中国科技大学:《数值计算方法》课程教学资源(PPT课件讲稿)第5章 解线性方程组的直接法.ppt
- 中国科技大学:《数值计算方法》课程教学资源(PPT课件讲稿)第1章 插值.ppt
- 中国科技大学:《数值计算方法》课程教学资源(PPT课件讲稿)第8章 常微分方程.ppt
- 中国科技大学:《数值计算方法》课程教学资源(PPT课件讲稿)第7章 矩阵的特征值和特征向量.ppt
- 中国科技大学:《数值计算方法》课程教学资源(PPT课件讲稿)第6章 解线性方程组的迭代法.ppt
- 中国科技大学:《数值计算方法》课程教学资源(PPT课件讲稿)绪论(张瑞).ppt
- 中国科技大学:《数值计算方法》课程教学资源(PPT课件讲稿)第4章 非线性方程求根.ppt
- 中国科技大学:《数值计算方法》课程教学资源(PPT课件讲稿)第3章 曲线拟合的最小二乘法.ppt
- 中国科技大学:《数值计算方法》课程教学资源(PPT课件讲稿)第2章 数值微分和数值积分.ppt
- 21世纪高职高专新概念教材:Excel在统计学中的应用_第9章 时间数列分析与预测.ppt
- 21世纪高职高专新概念教材:Excel在统计学中的应用_第8章 回归分析.ppt
- 21世纪高职高专新概念教材:Excel在统计学中的应用_第7章 方差分析.ppt
- 21世纪高职高专新概念教材:Excel在统计学中的应用_第6章 假设检验.ppt
- 东南大学:《离散数学》课程教学资源(PPT课件讲稿)第七章 图论(主讲:仲新宇).ppt
- 《泛函分析入门及题解》教学资源:PDF电子书(共七章).pdf
- 北京大学:《离散数学》教学计划大纲.doc
- 北京大学:《离散数学》教学详细计划 Discrete Mathematics.pdf
- 吉林大学:工科数学课程PPT教学课件(概率论与数理统计,主讲:李金玉).ppt
- 吉林大学:工科数学课程PPT教学课件(高等数学)第一章 函数与极限(主讲:李金玉).ppt
- 吉林大学:工科数学课程PPT教学课件(线性代数)第一章 消元法(主讲:李金玉).ppt
- 《数学分析》PPT教学课件:第一章 实数集与函数.ppt
- 《数学分析》PPT教学课件:第二章 数列极限.ppt
- 《数学分析》PPT教学课件:第三章 函数极限.ppt
- 《数学分析》PPT教学课件:第四章 函数的连续性.ppt
- 《数学分析》PPT教学课件:第五章 导数与微分.ppt
- 《数学分析》PPT教学课件:第六章 微分中值定理及其应用.ppt
- 《数学分析》PPT教学课件:第七章 实数的完备性.ppt
- 《数学分析》PPT教学课件:第八章 不定积分.ppt
- 《数学分析》PPT教学课件:第九章 定积分.ppt
- 《数学分析》PPT教学课件:第十章 定积分的应用.ppt
- 《数学分析》PPT教学课件:第十一章 反常积分.ppt
- 《数学分析》PPT教学课件:第十三章 函数列与函数项级数.pps
- 《数学分析》PPT教学课件:第十四章 幂级数.pps