- 1、本文档共224页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第六章 代 数 ;6.1 代数结构 ; 2. 定义在载体上的运算
定义在载体S上的运算是从Sm到S的一个映射, 自然数m的值叫做运算的元数。 从S到S的映射, 诸如给定一个实数x求[x], 给定一个整数y求|y|, 叫做一元运算; 从S2到S的映射, 诸如数的加法和乘法, 都是二元运算。常见的是一元和二元运算, 但理论上可定义任意的m元运算, 例如语句if x≠0 then y else z, 可定义为运算对象是x、 y、 z的三元运算。; 3. 载体的特异元素, 叫做代数常数
有些代数不含常数。这里所谓“不含”只是说我们研究该代数时并不关注这些特异元素, 不一定是真的没有。
代数通常用载体、运算和常数组成的n重组表示。 ; (b) 幂集合ρ(S)、并、交、补、 和S可构成一个代数。
(1) 载体是S的幂集合ρ(S)。
(2) 定义在载体上的运算是: 二个二元运算∪和∩、 一个一元运算。
(3) 常数是和S。
这个代数可记为〈ρ(S), ∪, ∩, , , S〉。 ; 在不产生误解的情况下, 标示代数的记号可以简化, 不一定将所有成分都写出, 有时常数可以不写, 有时仅用载体标记该代数。
通常我们不去研究单个具体的代数, 而是一个种类一个种类地去研究。为此, 我们首先要知道什么样的两个代数是同一种类的。
第一, 要有相同的构成成分。 如果两个代数包含同样个数的运算和常数, 且对应运算的元数相同, 则称两个代数有相同的构成成分。 ; 例 2(a) 代数〈N,·,1〉和〈I, , 0〉有同样的构成成分, 因为都有一个二元运算和一个常数。
(b) 代数〈{0, 1}, ∨, ∧, 0, 1〉和〈ρ(S), ∪, ∩, , S〉有相同的构成成分。两个代数有相同的构成成分, 还不一定有本质的联系, 如例2(a)就是这样。因此
第二, 要有一组相同的称为公理的规则。这里每一公理是用载体元素和代数运算的符号写成的方程。
具有相同构成成分和服从相同公理集合的代数称为同种类的。 对同一种类的代数, 根据它的公理推出的一切定理, 对该种类的一切代数都成立。; 例 3
(a) 考虑具有〈N, +, 0〉形式的构成成分和下述公理的代数类。
(1) a+b=b+a
(2) (a+b)+c=a+(b+c)
(3) a+0=a
那么〈I, ·, 1〉, 〈ρ(S), ∪, 〉和〈R, min, +∞〉(这里R是包含+∞的非负实数)等, 都是这一种类的成员。关于这一类证明了的定理, 对这些特定的代数都成立。; (b) 考虑具有〈I, +, ·, -, 0, 1〉形式构成成分和下述公理的代数类(这里“-”是一元运算)。
(1) a+b=b+a
(2) a·b=b·a
(3) (a+b)+c=a+(b+c)
(4) (a·b)·c=a·(b·c)
那么〈Q, +, ·, -, 0, 1〉和〈R, +, ·, -, 0, 1〉是同类代数, 但〈ρ(S), ∪, ∩, -, , S〉, 这里“-” 表示集合的非, 是不同类的, 因为公理(6)对这个代数不成立。;6.1.2 么元和零元 ; 例4 代数A=〈{a, b, c}, 〉用右表定义, 表中位于x行和y列交叉点的元素是x 。y的值。 可以看出a和b都是右零, 无左零; b是左么, 无右么 。运算既不能结合也不能交换。; 定义 6.1-2 设*是S上的二元运算, 1是S的元素, 如果对S中的每一元素x, 有
1*x = x*1 = x
则称1对运算*是么元。 S中的元素0, 如果对S中的每一元素x, 有
0*x = x*0 = 0
则称0对运算*是零元。 ; 例 5
(a) 代数〈I, ·, 1, 0〉, 这里·表示乘法, 有一个么元1和零元0。
(b) 代数〈N, +〉有一个么元0, 但无零元。
(c) 代数〈K, max, +∞〉, 这里K是非负实数集合与{+∞}之并, 有一个么元0, 有一个零元+∞。
(d) 代数〈N, min〉有一个零元0, 但无么元。
(e) 设S是非空有限集合, 代数〈ρ(s), ∪, ∩, , S〉中有二个二元运算, 对运算∪, 是么元, S是零元。对运算∩, 是零元, S是么
您可能关注的文档
- 【总复习】探析.pptx
- 第二章激光单元技术之调Q实验精编.ppt
- 半导体器件物理习题孟庆巨精编.doc
- §3-1热传递的基本原理探析.ppt
- 半导体物理学(刘恩科)第七版第一章到第五章完整课后题精编.doc
- §5-2__运算放大器的电路模型探析.ppt
- 半导体整流技术与可控硅整流装置精编.doc
- §7.2系统的稳定性探析.ppt
- 第二章可靠性基本精编.ppt
- 第二章控制台电源电路精编.ppt
- 初中物理“实验设计与创新”教学策略对学生科学创新能力的培养教学研究课题报告.docx
- 初中音乐创作教学中的音乐创作与音乐教育理念与实践研究教学研究课题报告.docx
- 小学英语词汇记忆策略对学习兴趣的影响分析教学研究课题报告.docx
- 2025年在线教育行业学员学习动机与课程效果跟踪评估策略研究.docx
- 以合唱团梯队建设为抓手,促进初中学生全面发展研究教学研究课题报告.docx
- 高中化学教师数字技能评价:新手教师与专家教师能力对比研究教学研究课题报告.docx
- 小学英语作业设计对小学生跨文化交际能力培养的实践研究教学研究课题报告.docx
- 2025年在线教育行业学员学习动机与课程教学方法创新建议.docx
- 《生态工业园区循环经济模式与区域产业结构调整策略研究》教学研究课题报告.docx
- 医疗器械制造企业质量风险管理中的风险评估与控制策略研究教学研究课题报告.docx
文档评论(0)