第四章-代数系统课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《第四章-代数系统课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第四 代数 系统 课件
- 资源描述:
-
1、1 1第四章第四章 代数系统代数系统 本章在集合、关系和函数等概念基础上,研究更为复本章在集合、关系和函数等概念基础上,研究更为复杂的对象杂的对象代数系统,研究代数系统的性质和特殊的元代数系统,研究代数系统的性质和特殊的元素,代数系统与代数系统之间的关系。如代数系统的同态、素,代数系统与代数系统之间的关系。如代数系统的同态、满同态和同构,这些概念较为复杂也较为抽象,是本课程满同态和同构,这些概念较为复杂也较为抽象,是本课程中的难点。它们将集合、集合上的运算以及集合间的函数中的难点。它们将集合、集合上的运算以及集合间的函数关系结合在一起进行研究。关系结合在一起进行研究。前三章内容是本章的基础,熟
2、练地掌握集合、关系、前三章内容是本章的基础,熟练地掌握集合、关系、函数等概念和性质是理解本章内容的关键。函数等概念和性质是理解本章内容的关键。主要内容如下:主要内容如下:4.14.1运算运算 4.34.3代数系统的同态和同构代数系统的同态和同构 4.24.2代数系统代数系统 4.44.4代数系统的积代数代数系统的积代数*2 2AAAAnnAA,2,1,|),(21niAaaaaAinn4.1 4.1 运算运算一、一、运算运算 讨论从集合讨论从集合 到到 的这一类函数。的这一类函数。在这里是笛卡尔积,即在这里是笛卡尔积,即例例1 设设A=a,b,c,则则,|),(2AaAaaaAAAjiji),
3、(),(),(),(),(),(),(),(),(2ccbcaccbbbabcabaaaA 例例2 设设A=a,b,A=a,b,则则,3bababaA),(),(),(),(3bbaababaaaaaA),(),(),(),(bbbabbbabaab3 3 设有集合设有集合 和函数和函数 ,于是对于,于是对于 中的每一个有序中的每一个有序 元组元组 ,,在在 中必有中必有唯一个元素唯一个元素 与之对应,即与之对应,即 nAAAAAfn:n),(21naaaaaaaafn),(21 定义定义 设有非空集合设有非空集合A,函数,函数称为称为A上的一个上的一个 n 元运算。特别,函数元运算。特别,函
4、数 称称为为A上的二元运算,称为上的二元运算,称为A上的一元运算上的一元运算.。AAfn:AAf2:AAf:例如例如abaafaaaf),(),(babbfabaf),(),(例如例如 对例对例2 2定义函数定义函数 ,使得对任意的使得对任意的AAf3:3),(Aaaakjijkjiaaaaf),(,4 4例例 设有函数设有函数 ,对于任意,对于任意 NNf2:221),(Nnn2121),(nnnnf例如,例如,12)9,3(,8)3,5(,8)5,3(fff例例 设有函数设有函数 ,对于任意,对于任意 ,IIg2:221),(Iii2121),(iiiig例如例如,,2)5,3(g2)3,
5、5(g11)2,9(g但减法运算不是正整数集但减法运算不是正整数集N N上的二元运算上的二元运算.5 5例例3 定义函数定义函数 为为 。00:RRrr1)(例如例如 ,2)21(83)38(但求倒数的运算不能看作实数集上的一元运算。但求倒数的运算不能看作实数集上的一元运算。例例 集合的并、交运算可以看作是全集合集合的并、交运算可以看作是全集合U的幂集的幂集 上的二元运算。求补集的运算可看作是上的二元运算。求补集的运算可看作是 上的一元运上的一元运算。算。U2U2对任意对任意 ,UiS2iiSS)(UUjiSS22),(jijiSSSS),(对任意对任意 ,jijiSSSS),(6 6二、一元
6、运算和二元运算的表示方法二、一元运算和二元运算的表示方法A A是有限集时,是有限集时,A A上的一元运算和二元运算有时采用上的一元运算和二元运算有时采用运算表的方式来定义运算表的方式来定义 。naaa21)()()(21naaaia)(ia),(),(),(),(),(),(),(),(),(212221212111nnnnnnaaaaaaaaaaaaaaaaaanaaa 21naaa21例如例如 设上的一元运算设上的一元运算和二元运算和二元运算*用运算表定义如下:用运算表定义如下:75311357ia)(ia753173717535753375317531AA,7,5,3,17 7三、运算的
7、封闭性三、运算的封闭性定义在集合定义在集合A A上的运算在上的运算在A A上一定是封闭的上一定是封闭的.定义在集合定义在集合A A上的运算在上的运算在A A的子集上是否封闭呢?的子集上是否封闭呢?定义定义 设设 是集合是集合 A 上的一个二元(或一元)上的一个二元(或一元)运算,运算,若对于每一个序偶,若对于每一个序偶 ,(或对于每一(或对于每一 ),都有),都有 则称运算则称运算 在在S上上 是封闭的。是封闭的。2),(SaajiAS Sai)(),(SaSaaiji或8 8例例 定义函数,使定义函数,使NN2:2121),(nnnn,2,2,2,2,2|254321NkSkNS 1221N
8、S令令 显然,于是,显然,于是,若,则,若,则,但但 是否属于呢?是否属于呢?2121),(Snn221),(NnnNnnnn2121),(1S),(21nn对于任意对于任意 ,,,,这意味着正整数集这意味着正整数集N上的运算上的运算*在在N的子集的子集 上也是封闭的上也是封闭的.21)2,2(Sjijiji222Nji12Sji1S9 9令令 ,显然,显然 ,10,3,2,12SNS 2,222NSNjiji),(任 取任 取 ,且,且*是是 N N 上 的 二 元 运 算,因上 的 二 元 运 算,因此此 ,但,但 是否属于是否属于 呢?呢?22),(Sji),(ji2S我们取我们取 ,则
9、,则 ,22)5,4(S2)5,4(NN2054)5,4(因此因此 运算在的子集运算在的子集 上不封闭。上不封闭。2S但但220s1010四、二元运算的一些常见的性质四、二元运算的一些常见的性质 定义定义-设是非空集合,设是非空集合,和和 是是A A上的二元运算。上的二元运算。()若对于任意()若对于任意 ,有,有 ,则称,则称 在在 A A 上是可交换的。上是可交换的。()若对于任意()若对于任意 ,有,有 则则称称 在在A A上是可结合的。上是可结合的。()若对于任意的()若对于任意的 有有 则称运算则称运算 对运算对运算 是可分配的。是可分配的。Aba,abba),()(cbacbaAc
10、ba,Acba)()()(cabacba)()()(acabacb1111例例 实数集实数集R R上的二元运算上的二元运算 定义为定义为:212121rrrrrr因为因为所以所以 满足交换律。满足交换律。121212212121rrrrrrr rrrrr32121)(rrrrr32121)(rrrrr321323121321rrrrrrrrrrrr)(32321rrrrr)(32321rrrrr321312132321rrrrrrrrrrrr所以所以 满足结合律。满足结合律。,)()(321321rrrrrr32121)(rr rrr321)(rrr)(32321rrrrr)(321rrr12
11、12 例例 全集合全集合 U U 的幂集的幂集 上的上的“”“”运运算和算和“”“”运算都是可交换、可结合的运算、运算都是可交换、可结合的运算、“”“”对对“”“”,“”,“”对对“”“”均是可均是可分配的。分配的。例例 设设 是集合是集合A A上的关系上的关系,对于任意对于任意 ,仍是仍是A A上的上的关系,所以关系的复合运算是关系,所以关系的复合运算是S S上的二元上的二元运算。运算。该运算不满足交换律,但满足结合律该运算不满足交换律,但满足结合律.|S21S21,U21313 五、集合中与二元运算相关的一些特殊的元素五、集合中与二元运算相关的一些特殊的元素 单位元单位元 定义定义 设设
12、是集合是集合A A上的二元运算,若存在一元上的二元运算,若存在一元素素 ,使得对于任意的,使得对于任意的 ,有,有则称则称 是是A A中运算中运算 的左单位元;的左单位元;AelAaaaelle 若存在一元素若存在一元素 ,使得对于任意,使得对于任意 ,有有 ,则称,则称 是是A A中运算中运算 的右单位元;的右单位元;AareaearAer 若存在一元素若存在一元素 ,使得对于任意,使得对于任意 ,有有 ,则称,则称 是是A中运算中运算 的单位元。的单位元。AaAeaeaaee1414是运算是运算 的右单位元。的右单位元。ab b和和d d都是运算都是运算 的左单位元,的左单位元,*例例 设
13、设 ,和和 是是A上的两上的两个二元运算个二元运算.,dcbaA*1515e定理定理 设设 是集合是集合A上的二元运算,上的二元运算,和和 分别是分别是 的左单位元和右单位元,则的左单位元和右单位元,则 ,且,且 是是 的唯一的唯一的单位元。的单位元。lereeeerl 例例1010 在例中,对任意关系在例中,对任意关系 ,有,有 ,所以恒等关系所以恒等关系 是集合是集合 上关系复合运算的单位元。上关系复合运算的单位元。SAAIIAIS证明证明 因为因为 和和 分别是分别是 的左、右单位元,的左、右单位元,lere因此,因此,lrrleeee 令令 ,则,则 是是 的单位元。的单位元。rlee
14、ee设设 也是也是 的单位元,的单位元,e则则 eeee因此因此 是是 的唯一的单位元。的唯一的单位元。e16162 2 零元零元定义定义5 5 设设 是集合是集合A A上的二元运算,若存在一上的二元运算,若存在一元素元素 ,使得对于任意的,使得对于任意的 ,若存在若存在Zl有有 ,则称,则称 是是A A中运算中运算 的左零元;若存在的左零元;若存在一元素一元素 ,使得对于任意,使得对于任意 ,则称则称 是是A A中运算中运算 的右零元,若存在一元素的右零元,若存在一元素 ,使得对于任意的使得对于任意的 ,则称则称Z Z是是A A中运算中运算 的零元。的零元。AzlAallzazlzAzrAa
15、rrzzarzAzzzaazAa 例例1111 设设 定义定义A上的二元上的二元运算运算“”为为 与与b中之小者。中之小者。,22,17,9,6,4,3Aminaba),min(对于任意对于任意 ,Aa),min(),min(33aa=3=3对于任意的对于任意的 ,Aa),min(),min(2222aa a1717例例1212 对于全集合对于全集合U的幂集的幂集 上上“”运算和运算和“”运算,运算,对任意对任意 U2UA2,AAAAA,UUAAUAUAAUz定理定理 设设 是上的二元运算,是上的二元运算,和和 分别分别是是 的左零元和右零元,则的左零元和右零元,则 ,且且 是是 唯唯一的零元
16、。一的零元。zzzrlrzlz1818幂等元幂等元定义定义-设设 是集合是集合A A中的二元运算,若中的二元运算,若 且且 ,则称,则称 是是A A中关于运算中关于运算 的幂等元。的幂等元。Aaaaaa例例1313 通常数的乘法运算是实数集通常数的乘法运算是实数集R R上的二元运算上的二元运算,其中和均是幂等元。其中和均是幂等元。例例1414 对于全集合对于全集合U U的幂集的幂集 上的并运算和交运上的并运算和交运算算,中的每一个元素都是幂等元。中的每一个元素都是幂等元。U2U2即对任意即对任意 ,均有均有 ,。US2SSSSSS1919 元素的逆元元素的逆元 定义定义 设设 是集合是集合 上
17、具有单位元上具有单位元 的的二元运算,对于元素二元运算,对于元素 ,若存在一元素,若存在一元素 使得使得 ,则称,则称 关于关于 是左可逆的,称是左可逆的,称 是是 的左逆元;的左逆元;AeAaeaal1aAal11laa1ra 若存在若存在 ,使得,使得 ,则称,则称 关于关于 是右可逆的,称是右可逆的,称 是是 的右逆元;的右逆元;Aar1eaar1aa 若存在一元素若存在一元素 ,使得,使得 ,则称则称 关于关于 是可逆的,称是可逆的,称 是是 的逆元。的逆元。Aa1eaaaa111aaa2020 例例1515 在例中曾定义实数集在例中曾定义实数集 上的二元运上的二元运算算 :,考虑它是
18、否存在在单位元。,考虑它是否存在在单位元。R212121r rrrrr0)1(rrlRrlrrrrrrrrlll 若若 是左单位元,则对任意是左单位元,则对任意 ,应,应有有 ,,0 r rrll于是于是由于由于 是任意的,只有是任意的,只有 ,rlr因此,是运算因此,是运算 的单位元。的单位元。中的元素是否有逆元呢?中的元素是否有逆元呢?设设 是是 的左逆元,则应有的左逆元,则应有 ,sr0srrsrs于是于是 ,rssr 即即 ,rrs)1(1rrs 因此,只要因此,只要 ,中任意元素中任意元素 均有逆元,均有逆元,其逆元是其逆元是 。例如,。例如,5 5的逆元是的逆元是1rRr1rr05
19、45545545,452121定理定理 设设 是集合是集合 上具有单位元上具有单位元 且且可结合的二元运算,若元素可结合的二元运算,若元素 有左逆元有左逆元 和右逆元和右逆元 ,则,则 且且 是是 唯一的逆元。唯一的逆元。AeAa1la1ra,111aaarl1aa证明:证明:因为因为 和和 分别是分别是 的左逆元和右逆元,的左逆元和右逆元,所以所以 1laa1raeaaaarl11因此因此 11rlaaa1la111rrraaeaa1la111)(llraeaaa于是于是 ,令,令 则则 是是 的逆元。的逆元。a1la1ra,111aaarl1a设设 还有逆元还有逆元 ,则,则 abebaa
20、b于是于是 1111)()(aaeaabaabebb2222 例例1616 设设 ,函数的复合运算是,函数的复合运算是 上上的二元运算,对任意的二元运算,对任意 ,使得使得 ,所以所以 是是 上运算上运算 的单位元。的单位元。:|NNffFFNIfIffINN NIFFf 解解即问是否存即问是否存在函数在函数 ,使,使得得?NNg:NIhg 因此因此,)(nnhgNIhgNNg:偶数为为奇数 2n 3nnng可以如下定义函数可以如下定义函数 现有函数现有函数 ,定义为对任意,定义为对任意 ,试,试问问 h 是否有左逆元?右逆元或逆元?是否有左逆元?右逆元或逆元?NNh:nnhNn2)(,hgh
21、g2323 无论如何定义函数无论如何定义函数 ,均无法使得,均无法使得 是满射。是满射。因此因此 没有右逆元。没有右逆元。ghNNg:hh但但 没有右逆元。没有右逆元。2424 定理定理4 44 4 设设 是集合是集合A上的二元运算,且上的二元运算,且 。若运算若运算 有单位元有单位元 和零元和零元 ,则,则1#Aeze z 证明证明(反证法)设(反证法)设 ,因为,因为 ,所以至少还有一,所以至少还有一元素元素 ,但,但 矛盾。故必有矛盾。故必有 。1#AzaAa,zaeazeze 2525练习练习 4-1 4-1 在相应的括号中键入在相应的括号中键入“Y”Y”或或“N”N”分别表示肯定和否
22、定。分别表示肯定和否定。1 1 通常数的乘法运算是否可看作下列集合上的二元运算?通常数的乘法运算是否可看作下列集合上的二元运算?,211A,112B NnnC123NY YY YYYYY且且e2YYN N()()()2baba 2 设有整数集设有整数集I,对,对I中任意元素,定义运算为:中任意元素,定义运算为:(1)运算)运算 在在I上是否封闭?上是否封闭?(2)运算)运算 是否可交换?是否可交换?(3)运算)运算 是否可结合?是否可结合?(4)运算)运算 在在I中是否有单位元?中是否有单位元?(5)对运算对运算 是否所有的元素都有逆元?是否所有的元素都有逆元?(6)运算)运算 在在I中是否有
23、幂等元?中是否有幂等元?(7)运算)运算 在在I中是否有零元?中是否有零元?()()()()()()()()()()()()()()26264 42 2 代数系统代数系统一、一、代数系统代数系统 定义定义4-84-8 一个非空集合一个非空集合S和定义在该集合上的一个或和定义在该集合上的一个或多个运算多个运算 所组成的系统称为代数系统。用记所组成的系统称为代数系统。用记号号 表示,其中表示,其中S称为该代数系统的域。称为该代数系统的域。n,21nS,;21 例例1 1 通常数的加法运算、乘法运算和减法通常数的加法运算、乘法运算和减法运算都可看作是实数集运算都可看作是实数集R R上的二元运算,它们
24、上的二元运算,它们构成代数系统构成代数系统 。,;R 例例2 2 设设 是集合是集合A A上的关系上的关系,是求复是求复合关系的运算。它们构成代数系统合关系的运算。它们构成代数系统 。|AS;AS 例例 3 全集合全集合 的幂集的幂集 和集合的并、交以及补和集合的并、交以及补运算构成代数系统运算构成代数系统 UU2 2,;U2727 例例4 4 整数集整数集I I和定义在和定义在I I上的通常数的加法和乘法运算组上的通常数的加法和乘法运算组成一个代数系统,记作成一个代数系统,记作 ,这两个运算具有如,这两个运算具有如下一些性质:下一些性质:;,Ii jjiijji ,kjikjikjikji)
25、()(,)()(kijikji)(iiiiii1100 ,0)()(iiii 对任意对任意i,j,ki,j,kI,I,有有 (1 1)交换律)交换律 (2 2)结合律)结合律 (3 3)分配律)分配律 (4 4)单位元)单位元 (5 5)加法的可逆性)加法的可逆性 (6 6)乘法的相约性)乘法的相约性则则由由若若,0ikjkiji可得2828二、二、子代数子代数 定义定义4-94-9 设设 是一个代数系统,其中是一个代数系统,其中运算运算 均是一元或二元运算,均是一元或二元运算,H是是S的一个的一个非空子集,如果非空子集,如果S上的这三个上的这三个运算在运算在H H上也都是封闭的,上也都是封闭
展开阅读全文