- 3
- 0
- 约4.64千字
- 约 6页
- 2019-01-11 发布于广东
- 举报
PAGE / NUMPAGES
《计算机数学基础》离散数学辅导(8)
??第8章其它代数系统(2021级用) 中央电大 冯 泰
本章重点:格与布尔代数概念,布尔代数运算、化简和恒等式证明.
一、重点内容
1. 环与域
?环,设G是非空集合,在G上定义加法+和乘法?两种运算,如果满足:
(1) (G,+)是交换群(阿贝尔群); (2) (G,?)是半群;
(3) 乘法对加法适合左、右分配律,即对?a,b,c?G,有
a?(b+c)=a?b+a?c (a+b)?c=a?c+b?c
则代数系统(G,+,?)为环.
环就是定义了代数运算+,?,其中“+”满足交换律,“?”满足结合律,?对+满足左右分配律的代数系统.
?交换环,环(G,+,?)的乘法满足交换律:a?b=b?a. 则(G,+,?)是交换环.
交换环就是两个代数运算都满足交换律的环.
?除环,环(G,+,?)的乘法?存在单位元;非0元对?有逆元的环.
?域 设(S,+,?)是代数系统,如果满足:
(S,+)是交换群; (2) (S-{0},?)是交换群;
(3) 运算?对运算+是可分配的.
则(S,+,?)为域..
交换除环是域.
环与域关系图
?环的同态、同构
注意:群是定义了一个代数运算的代数系统;环、域是是定义了两个代数运算的代数系统.
2. 格
偏序格,设(L,?)是一个偏序集,如果对于?a,b?L,L的子集{a,b}在L中都有一个最大下界(记为inf{a,b})和一个最小上界(记为sup{a,b}),则(L,?)是一个偏序格.
子集在L中有上确界和下确界的偏序集,就是格.
代数格,在L定义二元运算*,?满足:对?a,b,c?L,有
(1) 交换律 a*b=b*a,a?b=b?a (2) 结合律 (a*b)*c=a*(b*c) , (a?b) ?c=a? (b?c)
(3) 吸收律 a*(a?b)=a, a? (a*b)=a
则(L,*, ? )是代数格.
用代数的语言,格就是在非空集合上定义了两个满足结合律、交换律和吸收律的代数系统.
偏序格?代数格.
?对偶式,由1,0和可以代表格中的任意元素的变量通过+,×运算连结起来的式子,就是格中的表达式,记作f. 将f中的0换成1,1换成0,+换成×,×换成+所得的表达式,就是表达式f的对偶式记作f*.
对偶原理 若f为真,则f*为真.
3. 特殊格
?有界格,设(L,?)是格,如果L有最大元素(记作1)和最小元素(记为0),则(L,?)称为有界格,记作(L,?,1,0)或(L,*, ?,0,1).
存在最大和最小元素的格,就是有界格.
?有余格,设(L,*,?,0,1)是有界格,如果L中的每一个元素都至少有一个余元素,则(L,*,?,0,1)为有余格(或称为有补格).
有最大和最小元素,且存在余元的格.亦即有余元的有界格就是有余格.
它们的关系:格有界格有余格.
?分配格, (L,*,?)是格,如果对?a,b,c?L,有
a*(boc)=(a*b) ? (a*c) a? (b*c)=(a?b)*(a?c)
则(L,*,?)为分配格.
满足左、右分配律的格就是分配格.
?格的运算性质
(1) (L,?)是一个格,?a, b?L,有a?b?a*b=a?a?b=b
(2) (L,?)是一个格,?a, b?L,如果b?c,有a*b?a*c, a?b?a?c
(3) (L,?)是一个格,?a,b,c?L,有分配不等式:
a? (b*c)?(a?b)*(a?c) a*(b?c)?(a*b) ? (a*c)
(4) (L,?)是一个格,?a,b,c?L,有a?b?a? (b*c)?b*(a?c)
在格中德?摩根律成立:
4. 布尔代数
?布尔代数,一个有余分配格就是一个布尔代数
?布尔代数的公理定义,设B是一个至少含有两个元素的集合,?,+是定义在B上的两种运算,如果对?a,b,c?B,满足下列公理(定理10):
H1:a?b=b?a a+b=b+a (交换律)
H2:a?(b+c)=a?b+a?c a+(b?c)=(a+b)?(a+c) (分配律)
H3:B中有元素0和1,对?a?B,有
a?1=a a+0=a (有最大元、最小元)
H4:对?a?B,有?a?B,满足
a??a=0 a+?a=1
您可能关注的文档
最近下载
- 中班(4—5岁)孩子学习与发展指南.docx VIP
- 2023市政公用工程最高质量水平评价实体质量核查要点 (11.城市桥梁工程).docx
- 2026 年人教版高一化学上册期末质量检测试卷(附答案可下载).docx VIP
- 轴流风机技术规范.DOC VIP
- 2023市政公用工程最高质量水平评价实体质量核查要点(13.城市隧道工程).docx
- 乳腺癌诊疗指南(2022年版).pdf VIP
- 2023最高质量水平评价实体质量核查要点(1.通用部分).doc VIP
- 2022CSCO乳腺癌诊疗指南.pdf VIP
- 市政工程最高质量水平评价申报注意事项.docx VIP
- 高中数学公式大全--(图片版).docx VIP
原创力文档

文档评论(0)