第五篇代数系统.ppt

  1. 1、本文档共85页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第五篇代数系统

第12章 代数系统 代数系统基本概念 半群与群 环与域 格与布尔代数 12.1 代数系统基本概念 集合上的运算,其运算结果都是在原来的集合R中,具有这种特征的运算是封闭的,简称闭运算。 对于集合A,一个从An到B的映射,称为集合A上的一个n元运算。如果B?A,则称该n元运算是封闭的. 定义5.1 设S为集合(也称为运算的“载体”),函数f:S×S→S称为S上的一个二元运算,简称为二元运算. 例如: f:N×N→N, f(x,y)=x+y 一元运算:从S到S的映射, 诸如给定一个实数x求[x], 给定一个整数y求|y|, 叫做一元运算; 从S2到S的映射, 诸如数的加法和乘法, 都是二元运算。常见的是一元和二元运算, 但理论上可定义任意的m元运算。 普通的减法不是自然数集合上的二元运算,因为两个自然数相减可能得负数,而负数不属于N.这时也称集合N对减法运算不封闭. 算 符 通常用-, ‘, ?等表示一元运算,*,+,?,∧,∨,∪,∩, ⊙…等符号表示二元运算, 称为算符. 设f:S×S→S是S上的二元运算,对任意的x,y∈S,如x与y的运算结果是z,即 f(x,y)=z, 可利用算符?简记为 x?y=z N元运算 定义5.2 设S为集合,n为正整数,则函数 称为S上的一个n元运算,简称为n元运算. 例如,求一个数的相反数是实数集R上的一元运算,求一个数的倒数是非零实数集R*上的一元运算,在幂集合P(S)上,如果规定全集为S,那么求集合的绝对补运算可以看作是P(S)上的一元运算.在空间直角坐标系中求某一点(x,y,z)的坐标在x轴上的投影可以看作是实数集R上的三元运算f(x,y,z)=x,因为参加运算的是有序的3个实数,而结果也是实数. 再例如语句if x≠0 then y else z, 可定义为运算对象是x、 y、 z的三元运算 例2 设S={1,2},给出P(S)上的运算~和?的运算表,其中全集为S. 解 所求的运算表如下表5.3、表5.4所示. 例3 设S={1,2,3,4},定义S上二元运算如下: x?y =(xy)mod 5, ?x,y?S 左幺元,右幺元,幺元 定义5.8 设?为S上的二元运算,如果存在元素el(或er)∈S使得对任何x∈S, 都有 el ? x=x(或x?er =x) 则称el(或er)是S中关于运算?的一个左幺元(或右幺元).若e∈S关于°既是左幺元, 又是右幺元,则称e为S上关于运算?的幺元. 谁是幺元? 自然数集合上的加法运算的幺元是谁? 自然数集合上的乘法运算的幺元是谁? 在Mn(R)上,矩阵加法的幺元是谁? 在Mn(R)上,矩阵乘法的幺元是谁? 在幂集P(S)上,∪运算的幺元是谁? 在幂集P(S)上,∩运算的幺元是谁? R*是非零实数集,任意的a,b?R*有a?b=a,运算?的幺元是谁? 定理5.1 设?为S上的二元运算, el,er分别为运算?的左幺元和右幺元,则有 el=er=e. 且e为S上关于运算?的唯一的幺元. 证明 el=el ? er, el ? er=er 所以, el=er 把el=er记作e.假设S中存在幺元e’,则有 e’=e ? e’=e 所以,e是S中关于运算?的唯一的幺元, 左零元,右零元,零元 定义5.9 设?为S上的二元运算,若存在元素?l (或?r)∈S使得对任意的x∈S有 ?l ?x= ?l (或x ? ?r= ?r) 则称?l (或?r )是S上关于运算?的左零元(或右零元)若 ?∈S关于运算?既是左零元,又是右零元,则称? 为S上关于运算?的零元. 自然数集N上普通乘法的零元是谁?普通加法零元是谁? Mn(R)上矩阵乘法的零元?矩阵加法零元? 在幂集P(S)上∪运算的零元是?∩运算的零元是? R*是非零实数集,任意的a,b?R*有a?b=a,运算?的零元? 定理5.2 设?为S上的二元运算, ?l ,?r分别为运算?的左零元和右零元,则有 ?l =?r = ? 且?为S上关于运算?的唯一的零元. 定理:设A,*是一个代数系统,且集合A中元素的个数大于1.如果该代数系统中存在幺元e和零元θ,则θ≠e. 证明:用反证法,设θ=e,那么对于任意x?A,

文档评论(0)

xcs88858 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

版权声明书
用户编号:8130065136000003

1亿VIP精品文档

相关文档