- 29
- 0
- 约7.82千字
- 约 6页
- 2017-11-24 发布于天津
- 举报
格与代数
离散数学教案
第九章 格与代数
本章学习 目标
本章将介绍另外的代数系统——格和布尔代数,格论大体形成于 20 世纪 30
年代,它是数学的一个分支,不仅在近代解析集合有重要的作用,而且在计算机
领域也有一定的用途;布尔代数形成比较早,在 19世纪,就已经有了相当的发展,
布尔代数是研究和逻辑、集合等运算有关的知识。
1.掌握格的定义和性质
2.掌握分配格与有补格的概念和性质
3.掌握布尔代数的概念和性质
4.掌握布尔表达式的概念和性质,掌握同构的概念及其判定
内容:
格的概念,子格、代数格、有余格、分配格,
教学 目的:
1.掌握格、子格、代数格的概念。
2.掌握有余格、分配格的概念、性质及判断。
3.了解布尔代数的概念。
教学重点:
1.格的定义和性质布尔代数的概念和性质
2.布尔表达式的概念和性质
教学难点:
1.格、子格、代数格的概念
2.布尔表达式的概念和性质
1
离散数学教案
9.1 格的定义和性质
9.1.1 格的定义
定义 9.1 设A,≤是一个偏序集,如果 A 中任意两个元素x,y∈A,都有
最小上界(上确界)和最大下界(下确界),则称A,≤为格。
定理 9.1 (对偶原理)一个关于格的上、下确界以及偏序关系≤,≥的命题是
真命题,当且仅当将命题中的上确界换成下确界、下确界换成上确界、将关系“≤”
换成“≥”、将“≥”换成“≤”后是一个真命题。
9.1.2 格的性质
定理 9.2 在一个格A,≤中,对任意的 a,b∈A,都有 a≤a∨b,b≤a∨b
a∧b≤a a∧b≤b
定理 9.3 在一个格A,≤中,对于 a,b,c,d∈A,如果
a≤b , c≤d
则,
a∨c≤b∨d
a∧c≤b∧d
定理 9.4 设A, ≤是一个格, 由格A, ≤所诱导的代数系统为A, ∨, ∧,
则对任意的 a,b,c,d∈A,有如下的规律:
(1)a∨b=b∨a (交换律)
(2)a∨(b∨c)=(a∨b)∨c (结合律)
(3)a∨a=a (等幂律)
(4)a∨(a∧b)=a (吸收律)
定理 9.5 在一个格A,≤中,对任意的a,b,c∈A,都有
a∨(b∧c)≤(a∨b)∧(a∨c)
(a∧b)∨(a∧c)≤a∧(b∨c)
定理 9.6 设A,≤是一个格,那么,对于任意的 a,b,c∈A 有,a≤b 等价
于 a∧b=a 等价于 a∨b=b
定理 9.7 设A,≤是一个格,那么,对于任意的 a,b,cŒA,
有 a≤c¤ a∨(b∧c)≤(a∨b)∧ c
9.1.3 格与代数系统的对应
定义 9.2 设 L 是非空集合,在其上定义一个“加法”运算和一个“乘法”运算,
即“+”和“*”。并且满足交换律、结合律和吸收律。代数系统L,*,+就称为代数
格。
定理 9.8 任何一个偏序格与一代数格等价。
定义 9.3 设 〈L,*,+〉是一个格,S 是 L 的子集。〈S,*,+〉是 L 的子格,
当且仅当运算*和+在 S 上是封闭的。
您可能关注的文档
最近下载
- 电子倍增层背散射效应对增益及噪声的影响研究.pdf
- 弹簧模型-2023年高考物理动量常用模型模拟题精练(解析版).pdf VIP
- REF615使用操作说明书 (1).pdf
- (高清版)DB33 686-2019 机制纸板和卷烟纸单位产品能耗限额及计算方法.pdf VIP
- 7.3 世界上最大的黄土堆积区—黄土高原 第2课时(教学课件)-2025-2026学年八年级地理下册(人教版2024).pptx
- 深度解析(2026)《SFT 0074-2020耕地和林地破坏司法鉴定技术规范》.pptx VIP
- 2024年贵州省高考生物真题卷(含答案与解析)_7674.pdf VIP
- 弹簧模型-动量守恒的十种模型2025高考物理专项复习含答案.pdf VIP
- 市政协领导班子2024年民主生活会对照检查发言材料(四个带头).docx VIP
- 市政协副主席2024年民主生活会对照检查材料(四个带头).docx VIP
原创力文档

文档评论(0)