版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
离散数学第四章1第1页,共29页,2023年,2月20日,星期一第三部分代数结构
代数结构是以研究数字、文字和更一般元素的运算的规律和由这些运算适合的公理而定义的各种数学结构的性质为中心问题。它对现代数学如扑拓学、泛函分析等以及一些其他科学领域,如计算机科学、编码理论等,都有重要影响和广泛地应用。2第2页,共29页,2023年,2月20日,星期一第三部分代数结构主要内容:代数系统----二元运算及其性质、代数系统和子代数半群与群----半群、独异点、群环与域-----环、整环、域格与布尔代数----格、布尔代数3第3页,共29页,2023年,2月20日,星期一第4章代数系统主要内容:(1)二元运算及其性质一元和二元运算定义及其实例二元运算的性质(2)代数系统代数系统定义及其实例子代数积代数(3)代数系统的同态与同构4第4页,共29页,2023年,2月20日,星期一4.1二元运算及其性质定义4.1设S为集合,函数f:SSS称为S上的二元运算,简称为二元运算.S中任何两个元素都可以进行运算,且运算的结果惟一.S中任何两个元素的运算结果都属于S,即S对该运算封闭.例1(1)自然数集合N上的加法和乘法是N上的二元运算,但减法和除法不是.(2)整数集合Z上的加法、减法和乘法都是Z上的二元运算,而除法不是.(3)非零实数集R*上的乘法和除法都是R*上的二元运算,而加法和减法不是.5第5页,共29页,2023年,2月20日,星期一实例(4)
设Mn(R)表示所有n阶(n≥2)实矩阵的集合,即则矩阵加法和乘法都是Mn(R)上的二元运算.(5)S为任意集合,则∪、∩、-、为P(S)上二元运算.(6)SS为S上的所有函数的集合,则合成运算为SS上二元运算.
6第6页,共29页,2023年,2月20日,星期一一元运算的定义与实例定义4.2设S为集合,函数f:S→S称为S上的一元运算,简称一元运算.例2(1)求相反数是整数集合Z,有理数集合Q和实数集合R上的一元运算.
(2)在幂集P(S)上规定全集为S,则求绝对补运算~是P(S)上的一元运算.
(3)在n(n≥2)阶实矩阵的集合Mn(R)上,求转置矩阵是Mn(R)上的一元运算.7第7页,共29页,2023年,2月20日,星期一二元与一元运算的表示1.算符可以用◦,∗,·,,,等符号表示二元或一元运算,称为算符.对二元运算◦,如果x与y运算得到z,记做x◦y=z对一元运算,x的运算结果记作x.2.表示二元或一元运算的方法:解析公式和运算表公式表示例设R为实数集合,如下定义R上的二元运算∗:x,y∈R,x∗y=x.那么3∗4=3,0.5∗(3)=0.58第8页,共29页,2023年,2月20日,星期一运算表:表示有穷集上的一元和二元运算运算表
二元运算的运算表
一元运算的运算表9第9页,共29页,2023年,2月20日,星期一
例3
设S=P({a,b}),S上的和
∼运算的运算表如下:
运算表的实例10第10页,共29页,2023年,2月20日,星期一二元运算的性质定义4.3设◦为S上的二元运算,(1)若对任意x,y∈S有x◦y=y◦x,则称运算在S上满足交换律.(2)若对任意x,y,z∈S有(x◦y)◦z=x◦(y◦z),则称运算在S上满足结合律.(3)若对任意x∈S有x◦x=x,则称运算在S上满足幂等律.11第11页,共29页,2023年,2月20日,星期一二元运算的性质定义4.4设◦和∗为S上两个不同的二元运算,(1)若对任意x,y,z∈S有(x∗y)◦z=(x◦z)∗(y◦z),z◦(x∗y)=(z◦x)∗(z◦y),则称◦运算对∗运算满足分配律.(2)若和∗都可交换,且对任意x,y∈S有x◦(x∗y)=x,x∗(x◦y)=x,则称◦和∗运算满足吸收律.12第12页,共29页,2023年,2月20日,星期一实例Z,Q,R分别为整数、有理数、实数集;Mn(R)为n阶实矩阵集合,n2;P(B)为幂集;AA为从A到A的函数集,|A|2.集合运算交换律结合律幂等律Z,Q,R普通加法+普通乘法有有有有无无Mn(R)矩阵加法+矩阵乘法有无有有无无P(B)并交相对补对称差有有无有有有无有有有无无AA函数复合无有无13第13页,共29页,2023年,2月20日,星期一集合运算分配律吸收律Z,Q,R普通加法+与乘法对+可分配+对不分配无Mn(R)矩阵加法+与乘法对+可分配+对不分配无P(B)并与交对可分配对可分配有交与对称差
对可分配无实例Z,Q,R分别为整数、有理数、实数集;Mn(R)为n阶实矩阵集合,n2;P(B)为幂集;AA为从A到A的函数集,|A|2.14第14页,共29页,2023年,2月20日,星期一特异元素:单位元定义4.5设◦为S上的二元运算,(1)如果存在el(或er)S,使得对任意x∈S都有el◦x=x(或x◦er
=x),则称el(或er)是S中关于◦运算的左(或右)单位元.若e∈S关于◦运算既是左单位元又是右单位元,则称e为S上关于◦运算的单位元.单位元也叫做幺元.15第15页,共29页,2023年,2月20日,星期一特异元素:零元定义4.5设◦为S上的二元运算,(2)如果存在
l(或
r)∈S,使得对任意x∈S都有
l◦x=
l
(或x◦
r
=r),则称
l(或
r)是S中关于◦运算的左(或右)零元.若
∈S关于◦运算既是左零元又是右零元,则称为S上关于运算◦的零元.16第16页,共29页,2023年,2月20日,星期一特异元素:可逆元素和逆元(3)设◦为S上的二元运算,令e为S中关于运算的单位元.对于x∈S,如果存在yl(或yr)∈S使得yl◦x=e(或x◦yr=e)则称yl(或yr)是x的左逆元(或右逆元).关于◦运算,若y∈S既是x的左逆元又是x的右逆元,则称y为x的逆元.如果x的逆元存在,就称x是可逆的.17第17页,共29页,2023年,2月20日,星期一实例集合运算单位元零元逆元Z,Q,R普通加法+普通乘法01无0x逆元xx逆元x1(x1给定集合)Mn(R)矩阵加法+矩阵乘法n阶全0矩阵n阶单位矩阵无n阶全0矩阵X逆元XX的逆元X1(X可逆)P(B)并交对称差BB无的逆元为B的逆元为BX的逆元为X18第18页,共29页,2023年,2月20日,星期一惟一性定理定理4.1
设◦为S上的二元运算,el和er分别为S中关于运算的左和右单位元,则el
=er=e为S上关于◦运算的惟一的单位元.设◦为S上的二元运算,el和er分别为S中关于运算的左和右零元,则
l=r=
为S上关于◦运算的惟一的零元.注意:(1)当|S|2(元素个数多于2个),单位元与零元是不同的;(2)当|S|=1(只有1个元素)时,这个元素既是单位元也是零元.19第19页,共29页,2023年,2月20日,星期一定理4.2
设◦为S上可结合的二元运算,e为该运算的单位元,对于x∈S如果存在左逆元yl
和右逆元yr,则有yl=yr=y,且y是x的惟一的逆元.说明:对于可结合的二元运算,可逆元素x只有惟一的逆元,记作x1.书上例12。惟一性定理20第20页,共29页,2023年,2月20日,星期一4.2代数系统定义4.6非空集合S和S上k个一元或二元运算f1,f2,…,fk组成的系统称为代数系统,简称代数,记做<S,f1,f2,…,fk>.实例:(1)<N,+>,<Z,+,·>,<R,+,·>是代数系统,+和·分别表示普通加法和乘法.(2)<Mn(R),+,·>是代数系统,+和·分别表示n阶(n≥2)实矩阵的加法和乘法.(3)<Zn,,>是代数系统,Zn={0,1,…,n-1},和分别表示模n的加法和乘法,对于x,y∈Zn,xy=(x+y)modn,xy=(xy)modn(4)<P(S),,,~>是代数系统,和为并和交,~为绝对补.21第21页,共29页,2023年,2月20日,星期一代数系统的成分与表示构成代数系统的成分:集合(也叫载体,规定了参与运算的元素)运算(这里只讨论有限个二元和一元运算)代数常数(通常是与运算相关的特异元素:如单位元等)研究代数系统时,如果把运算具有它的特异元素也作为系统的性质之一,那么这些特异元素可以作为系统的成分,叫做代数常数.例如:代数系统<Z,+,0>:集合Z,运算+,代数常数0代数系统<P(S),∪,∩>:集合P(S),运算∪和∩,无代数常数.22第22页,共29页,2023年,2月20日,星期一代数系统的表示(1)列出所有的成分:集合、运算、代数常数(如果存在)如<Z,+,0>,<P(S),∪,∩>(2)列出集合和运算,在规定系统性质时不涉及具有单位元的性质(无代数常数)如<Z,+>,<P(S),∪,∩>(3)用集合名称简单标记代数系统在前面已经对代数系统作了说明的前提下使用如代数系统Z,P(B)23第23页,共29页,2023年,2月20日,星期一同类型与同种代数系统定义4.7(1)如果两个代数系统中运算的个数相同,对应运算的元数相同,且代数常数的个数也相同,则称它们是同类型的代数系统.(2)如果两个同类型的代数系统规定的运算性质也相同,则称为同种的代数系统.例如V1=<R,+,·,0,1>,V2=<Mn(R),+,·,,E>,为n阶全0矩阵,E为n阶单位矩阵V3=<P(B),∪,∩,,B>.V1,V2,V3是同类型的代数系统,它们都含有2个二元运算,2个代数常数.V1,V2是同种的代数系统,V1,V2与V3不是同种的代数系统.24第24页,共29页,2023年,2月20日,星期一V1V2V3+可交换、可结合·可交换、可结合+满足消去律·满足消去律·对+可分配+对·不可分配+与·没有吸收律+可交换、可结合·可交换、可结合+满足消去律·不满足消去律·对+可分配+对·不可分配+与·没有吸收律∪可交换、可结合∩可交换、可结合∪不满足消去律∩不满足消去律∩对∪可分配∪对∩可分配∪与∩满足吸收律运算性质比较25第25页,共29页,2023年,2月20日,星期一子代数系统定义4.8设V=<S,f1,f2,…,fk>是代数系统,B是S的非空子集,如果B对f1,f2,…,fk
都是封闭的,且B和S含有相同的代数常数,则称<B,f1,f2,…,fk>是V的子代数系统,简称子代数.有时将子代数系统简记为B.实例:<N,+>是<Z,+>的子代数,<N,+,0>也是<Z,+,0>的子代数;<N-{0},+>是<Z,+>的子代数,但不是<Z,+,0>的子代数,因为代数常数不一样。说明:(1)子代数和原代数是同种的代数系统.(2)对于任何代数系统V=<S,f1,f2,…,fk>,其子代数一定存在.26第26页,共29页,2023年,2月20日,星期一练习11.设∘运算为Q上的二元运算,x,yQ,x∘y=x+y+2xy,(1)判断∘运算是否满足交换律和结合律,并说明理由.(2)求出∘运算的单位元、零元和所有可逆元素的逆元.27第27页,共29页,2023年,2月20日,星期一(1)∘
运算可交换,可结合.任取x,yQ,
x∘y=x+y+2xy=y+x+2yx=y∘
x,任取x,y,zQ,
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 二零二五年度木材行业碳排放权交易合同8篇
- 二零二五版农村电商合作发展合同4篇
- 二零二五年度环保设施灭四害服务合同及环保标准协议4篇
- Preparing for Pregnancy助产专业资源库
- 水电安装工程2025年度工程监理合同2篇
- 2025版民间借贷教育基金担保合同示例3篇
- 2025年度生态环保项目投资担保合同书
- 2025年度离婚财产分割纠纷诉讼保全与执行全程服务合同2篇
- 二零二五年度水利工程内部施工合同4篇
- 2025年度个人别墅抵押借款合同范本5篇
- 乳腺癌的综合治疗及进展
- 【大学课件】基于BGP协议的IP黑名单分发系统
- 2025年八省联考高考语文试题真题解读及答案详解课件
- 信息安全意识培训课件
- 2024年山东省泰安市初中学业水平生物试题含答案
- 美的MBS精益管理体系
- 中国高血压防治指南(2024年修订版)解读课件
- 2024安全员知识考试题(全优)
- 2024年卫生资格(中初级)-中医外科学主治医师考试近5年真题集锦(频考类试题)带答案
- 中国大百科全书(第二版全32册)08
- 第六单元 中华民族的抗日战争 教学设计 2024-2025学年统编版八年级历史上册
评论
0/150
提交评论