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

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