离散数学-耿素云PPT(第5版).ppt
《离散数学-耿素云PPT(第5版).ppt》由会员分享,可在线阅读,更多相关《离散数学-耿素云PPT(第5版).ppt(27页珍藏版)》请在三一办公上搜索。
1、1,代数系统简介,2,第9章 代数系统简介,9.1 二元运算及其性质9.2 代数系统9.3 几个典型的代数系统,3,9.1 二元运算及其性质,二元运算及一元运算的定义二元运算的性质交换律、结合律、幂等律、消去律分配律、吸收律 二元运算的特异元素单位元零元可逆元素及其逆元,4,二元运算的定义及其实例,定义 设 S 为集合,函数 f:SSS 称为 S 上的二元运算,简称为二元运算.也称 S 对 f 封闭.例1(1)N 上的二元运算:加法、乘法.(2)Z 上的二元运算:加法、减法、乘法.(3)非零实数集 R*上的二元运算:乘法、除法.(4)设 S=a1,a2,an,ai aj=ai,为 S 上二 元
2、运算.,5,二元运算的实例(续),(5)设 Mn(R)表示所有 n 阶(n2)实矩阵的集 合,即 矩阵加法和乘法都是 Mn(R)上的二元运算.(6)幂集 P(S)上的二元运算:,.(7)SS 为 S 上的所有函数的集合:合成运算.,6,n元运算,定义 设 S 为集合,n为正整数,函数 称为 S 上的 n 元运算,简称为 n元运算.例2(1)Z,Q 和 R 上的一元运算:求相反数(2)非零有理数集 Q*和实数集 R*的一元运算:倒数(3)复数集合 C 上的一元运算:求共轭复数(4)幂集 P(S)上,全集为 S:求绝对补运算(5)A 为 S 上所有双射函数的集合,ASS:求反函数(6)在 Mn(R
3、)(n2)上,求转置矩阵,7,运算的表示,算符:,等符号 表示 n 元运算(a1,a2,an)=b.对二元运算,如果 x 与 y 运算得到 z,记做 xy=z;对一元运算,x 的运算结果记作 x 注意:在同一问题中不同的运算使用不同的算符,8,公式表示 例3 设 R 为实数集合,如下定义 R 上的二元运算:x,yR,x y=x.那么 3 4=3 0.5(-3)=0.5,二元与一元运算的表示,9,运算表的形式,运算表(表示有穷集上的一元和二元运算),10,运算表的实例,例4 A=P(a,b),分别为对称差和绝对补运算(a,b为全集)的运算表 的运算表,11,运算表的实例(续),例5 Z5=0,1
4、,2,3,4,分别为模 5 加法与乘法 的运算表 的运算表,12,二元运算的性质,定义 设 为 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 上满足幂等律.,13,实例分析,Z,Q,R分别为整数、有理数、实数集;Mn(R)为 n 阶实矩阵集合,n2;P(B)为幂集;AA 为 A上A,|A|2.,14,二元运算的性质(续),定义 设 和 为 S 上两个不同的二元运算,(1)如果 x,
5、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 则称 和 运算满足吸收律.,15,实例分析,Z,Q,R分别为整数、有理数、实数集;Mn(R)为 n 阶实矩阵集合,n2;P(B)为幂集;AA为 A上A,|A|2.,16,二元运算的特异元素,单位元定义 设为S上的二元运算,如果存在el(或er)S,使得对任意 xS 都有 el x=x(或 x er=x),则称 el(或 er)是 S 中关于 运算的 左(或右)单位元.若 eS 关于 运算既是左单位元又是右
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 耿素云 PPT

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