离散数学第9章 代数系统ppt课件.ppt
《离散数学第9章 代数系统ppt课件.ppt》由会员分享,可在线阅读,更多相关《离散数学第9章 代数系统ppt课件.ppt(26页珍藏版)》请在三一办公上搜索。
1、1/15/2023 7:06 PM,Discrete Math.,Chen Chen,1,离散数学Discrete Mathematics,1/15/2023 7:06 PM,Discrete Math.,Chen Chen,2,第九章 代数系统,9.1 二元运算9.2 代数系统,本章在集合、关系和函数等概念基础上,研究更为复杂的对象代数系统,研究代数系统的性质和特殊的元素,代数系统与代数系统之间的关系。如代数系统的同态、满同态和同构,这些概念较为复杂也较为抽象,是本课程中的难点。它们将集合、集合上的运算以及集合间的函数关系结合在一起进行研究。前面四章内容是本章的基础,熟练地掌握集合、关系、函
2、数等概念和性质是理解本章内容的关键。主要内容如下:,1/15/2023 7:06 PM,Discrete Math.,Chen Chen,3,9.1 二元运算及其性质,二元运算定义及其实例 一元运算定义及其实例 运算的表示 二元运算的性质交换律、结合律、幂等律、消去律分配律、吸收律 二元运算的特异元素单位元零元可逆元素及其逆元,1/15/2023 7:06 PM,Discrete Math.,Chen Chen,4,二元运算的定义及其实例,定义9.1 设 S 为集合,函数 f:SSS 称为 S 上的二元运算,简称为二元运算.也称 S 对 f 封闭.验证一个运算是否为集合S上的二元运算主要考虑两
3、点:1.S中任何两个元素都可以进行这种运算,且运算结果是唯一的;2.S中任何两个元素的运算结果都属于S,即S对该运算是封闭的。,例9.1(1)N 上的二元运算:(2)Z 上的二元运算:(3)非零实数集 R*上的二元运算:(4)设 S=a1,a2,an,ai aj=ai:(5)幂集 P(S)上的二元运算:(6)SS 为 S 上的所有函数的集合:,加法、乘法.加法、减法、乘法.乘法、除法.为 S 上二元运算.,.合成运算.,1/15/2023 7:06 PM,Discrete Math.,Chen Chen,5,二元运算的实例(续),(7)设 Mn(R)表示所有 n 阶(n2)实矩阵的集合,即,矩
4、阵加法和乘法都是 Mn(R)上的二元运算.,例9.2 设R为实数集合,定义R上的二元运算*:x,yR,x*y=x.计算:*,(-5)*0.2,0*1/2.解:3*4=3,(-5)*0.2=-5,0*1/2=0.,1/15/2023 7:06 PM,Discrete Math.,Chen Chen,6,一元运算的定义与实例,定义9.2 设 S 为集合,函数 f:SS 称为 S 上的一元运算,简称为一元运算.,例9.3(1)Z,Q 和 R 上的一元运算:(2)非零有理数集 Q*,非零实数集 R*上的一元运算:(3)复数集合 C 上的一元运算:(4)幂集 P(S)上,全集为 S:(5)A 为 S 上
5、所有双射函数的集合,ASS:(6)在 Mn(R)(n2)上:,求相反数 求倒数 求共轭复数 求绝对补运算 求反函数 求转置矩阵,算符:,等符号,表示二元或一元运算 对二元运算,如果 x 与 y 运算得到 z,记作xy=z;对一元运算,x 的运算结果记作 x 表示二元或一元运算的方法:公式、运算表注意:在同一问题中不同的运算使用不同的算符,二元与一元运算的表示,1/15/2023 7:06 PM,Discrete Math.,Chen Chen,7,公式表示 例 设 R 为实数集合,如下定义 R 上的二元运算:x,yR,x y=y.那么 3 4=4 0.5(-3)=-3运算表(表示有穷集上的一元
6、和二元运算),二元与一元运算的表示(续),1/15/2023 7:06 PM,Discrete Math.,Chen Chen,8,运算表的实例,例9.4 S=P(1,2),分别为对称差和绝对补运算1,2为全集),的运算表,的运算表,解:,例9.5 Z5=0,1,2,3,4,分别为模 5 加法与乘法,解:,a 1 1,1,1 1.2 2,2 1,2 1,1,2 2 1,1,2,1,2,0 1 2 3 4,1 2 3 4 0,2 3 4 0 1,3 4 0 1 2,4 0 1 2 3,0 0 0 0 0,0 1 2 3 4,0 2 4 1 3,0 3 1 4 2,0 4 3 2 1,1/15/2
7、023 7:06 PM,Discrete Math.,Chen Chen,9,二元运算的性质,定义9.35 设 为 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 上满足幂等律.,实例分析,有,有,有,有,有,有,有,有,有,有,有,有,有,有,有,无,无,无,无,无,无,无,无,无,无,无,有,1/15/2023 7:06 PM,Discrete Math.,Chen Chen,10,二元运算的性质(续),定义9.67
8、 设 和 为 S 上两个不同的二元运算,(1)如果 x,y,zS 有(x y)z=(x z)(y z);z(x y)=(z x)(z y)则称 运算对 运算满足分配律.(2)如果 和 都可交换,并且 x,yS 有 x(x y)=x;x(x y)=x 则称 和 运算满足吸收律.,实例分析,1/15/2023 7:06 PM,Discrete Math.,Chen Chen,11,二元运算的特异元素,单位元定义9.8 设为S上的二元运算,如果存在el(或er)S,使得对任意 xS 都有 el x=x(或 x er=x),则称 el(或 er)是 S 中关于 运算的 左(或右)单位元.若 eS 关于
9、 运算既是左单位元又是右单位元,则称 e 为 S 上关于 运算的 单位元.单位元也叫做 幺元.,零元定义9.9 设 为 S 上的二元运算,如果存在l(或r)S,使得对任意 xS 都有 l x=l(或 x r=r),则称l(或r)是 S 中关于 运算的 左(或右)零元.若S关于运算既是左零元又是右零元,则称为 S 上关于运算 的 零元.,1/15/2023 7:06 PM,Discrete Math.,Chen Chen,12,二元运算的特异元素(续),可逆元素及其逆元 定义9.10 令 e 为 S 中关于运算的单位元.对于 xS,如果存在yl(或 yr)S 使得 yl x=e(或 x yr=e
10、),则称 yl(或 yr)是 x 的 左逆元(或右逆元).关于 运算,若 yS 既是 x 的左逆元又是 x 的右逆元,则称 y 为 x 的逆元.如果 x 的逆元存在,就称 x 是可逆的.,1/15/2023 7:06 PM,Discrete Math.,Chen Chen,13,实例分析,1/15/2023 7:06 PM,Discrete Math.,Chen Chen,14,惟一性定理,定理9.1 设 为S上的二元运算,el 和 er 分别为 S 中关于运算的左和右单位元,则 el=er=e 为 S 上关于 运算的惟一的单位元.证 el=el er=er 所以 el=er,将这个单位元记作
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学第9章 代数系统ppt课件 离散数学 代数 系统 ppt 课件

链接地址:https://www.31ppt.com/p-2132239.html