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

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

s1格的概念 1偏序集合格 《定义》格是一个偏序集合,其中每一对元素 a.b∈L都拥有一个最小上界和最大下界。通常用 a入b表示a和b的最大下界,用avb表示a和b的最小 上界。即sGLB{anb}=a∧b —称为元素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为整除关系,Sη为n的因 子集合)
3 §1格的概念 例:以下均为偏序集合格(D为整除关系,Sn为n的因 子集合)

s1格的概念 2代数系统格 《定义》:设是一个格,如果在A上定义两个 二元运算v和入,使得对于任意的a,b∈A,ab等 于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,则 avcs 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∧(avb)=a
9 §1格的概念 (6)(幂等律)对L中每一个a,有aa=a,aa=a。 (7)(吸收律)对L中任意a,b, 有a(ab)=a a(ab)=a

§2分配格 对格所定义的代数系统,其运算∧和∨不一定满 足分配律 《定义》设是由≮,s>所诱导的代数系统。如果 对任意的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课件讲稿)综合试卷.ppt
- 湖南大学:《线性代数与解析几何》课程教学资源(PPT课件讲稿)第六章 线性变换.ppt
- 湖南大学:《线性代数与解析几何》课程教学资源(PPT课件讲稿)第五章 欧氏空间.ppt
- 湖南大学:《线性代数与解析几何》课程教学资源(PPT课件讲稿)第七章 二次型与二次曲面.ppt
- 湖南大学:《线性代数与解析几何》课程教学资源(PPT课件讲稿)自测题.ppt
- 湖南大学:《线性代数与解析几何》课程教学资源(PPT课件讲稿)综合试卷.ppt
- 湖南大学:《线性代数与解析几何》课程教学资源(PPT课件讲稿)第四章 线性方程组.ppt
- 湖南大学:《线性代数与解析几何》课程教学资源(PPT课件讲稿)第二章 矩阵理论.ppt
- 湖南大学:《线性代数与解析几何》课程教学资源(PPT课件讲稿)第三章 向量空间.ppt
- 湖南大学:《线性代数与解析几何》课程教学资源(PPT课件讲稿)第一章 行列式.ppt
- 湖南大学:《线性代数与解析几何》课程教学资源(PPT课件讲稿)目录.ppt
- 湖南大学:《线性代数与解析几何》课程教学资源(PPT课件讲稿)综合试题(共4份,含参考答案).ppt
- 《LINGO8.0forwindows软件及应用》 第十章 利用LING0开发高级模型.doc
- 东南大学远程教育:《离散数学》课程教学资源(PPT课件讲稿)第四章 集合论(函数).ppt
- 《高等数学标准考试卷》 试卷号:B020017(答案).doc
- 《高等数学标准考试卷》 试卷号:B020017.doc
- 《高等数学模拟题》 模拟题1.ppt
- 《高等数学模拟题》 模拟题2.ppt
- 《高等数学模拟题》 模拟题3.ppt
- 《高等数学模拟题》 模拟题4.ppt
- 《高等数学讲义》课程教学资源(电子讲义)第九讲 多元函数微分学.doc
- 《高等数学讲义》课程教学资源(电子讲义)第八讲 多元函数的积分.doc
- 《高等数学讲义》课程教学资源(电子讲义)第七讲 定积分的概念.doc
- 《高等数学讲义》课程教学资源(电子讲义)第六讲 幂级数.doc
- 《高等数学讲义》课程教学资源(电子讲义)第五讲 无穷级数.doc
- 《高等数学讲义》课程教学资源(电子讲义)第一讲 空间解析几何.doc
- 《高等数学讲义》课程教学资源(电子讲义)第三讲 一阶导数应用.doc
- 《高等数学讲义》课程教学资源(电子讲义)第二讲 导数概念.doc
- 《高等数学讲义》课程教学资源(电子讲义)第四讲 一元函数积分的概念、性质与基本定理.doc
- 《概率论与数理统计》课程教学资源(模拟试卷)模拟题3.ppt
- 《概率论与数理统计》课程教学资源(模拟试卷)模拟题1.ppt
- 《概率论与数理统计》课程教学资源(模拟试卷)模拟题2.ppt
- 高等院校非数学类本科数学课程:《大学数学》课程PPT教学课件(一)一元微积分学课件 绪论 微积分的历史简介.ppt