- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第4章 代数系统及其性质 4.1 二元运算及其性质 4.1.1二元运算的概念 定义4.1 设A是一个非空集合且函数f:An?A ,则称f为A上的一个n元运算。其中n是自然数, 称为运算的元数或阶。 当n=1时,称f为一元运算, 当n=2时, 称f为二元运算,等等。 定义4.2 设?是集合A上的一个n元运算,S?A,如果对于每一个 都有? 则称运算 ? 在S上是封闭的。 例4.1 设A是一个非空集合,且S=?(A),对任意的a,b?S,有a?b,a?b,均属于S,因此集合的并与交运算是S的两个二元运算。 例4.2 正整数集Z+上定义了通常加法,A={n|6整除n,18整除n2},证明加法运算在A上是封闭的。 证明: ?n1,n2∈A,设n1=6k1,n2=6k2,k1, k2∈Z+,则n1+n2=6k1+6k2=6(k1+k2)能被6整除。 (n1+n2)2=n12+2n1n2+n22=36k12+72k1k2+36k22=18(2k12+4k1k2+2k22) 能被18整除。 所以n1+n2∈A,即加法运算在A上是封闭的。 定义4.3 设?是定义在集合上的二元运算,如果对于任意的a,b?A,都有a ? b=b ? a,则称该二元运算?是可交换的。 定义4.4 设?是定义在集合A上的二元运算,如果对于任意的a,b,c∈A,都有(a ? b) ? c=a ?(b ? c),则称该二元运算?是可结合的。 例4.3设?是整数集Z上的二元运算,对于?i,j?Z,有i ? j=i+j-i.j,+ 和 · 是通常的加法和乘法,问运算?是否是可交换和可结合的. 解: 因为i ? j=i+j-i·j =j+i-j·i =j ? i 因此运算?是可交换的。 (i ? j) ? k=(i+j-j·i) ? k =(i+j-j·i)+k-(i+j-j·i)·k =i+j+k-i·j-i·k-j·k-i·j·k i ?(j ? k)=i·(j+k-j·k) =i+(j+k-j·k)-i·(j+k-j·k) =i+j+k-i·j-i·k-j·k-i·j·k 即(i ? j) ? k=i ?(j ? k),因此运算?是可结合的。 定义4.5 设*和?是集合A上的二元运算, (1)若?a,b,c?A,有a*(b ?c )=(a*b) ? (a*c),则称*关于?是左可分配的。 (2)若?a,b,c?A ,有(b?c)*a=(b*a) ?(c*a) ,则称*关于?是右可分配的。 (3)若*关于?既是左可分配的,又是右可分配的,则称*关于?是可分配的,或称*关于?满足分配律。 例4.4 设A是所有n阶方阵构成的集合,?是定义在A上的矩阵的乘法, * 是定义在A上的矩阵的加法,则?对于 * 是可分配的,但是 * 对于?是不可分配的。 例4.5设S=ρ(A),A非空,“∩”与“∪”是S上的两个二元运算,则 A1∪(A2∩A3)=(A1∪A2)∩(A1∪A3) A1∩(A2∪A3)=(A1∩A2)∪(A1∩A3) 因此,“∪”对于“∩”是可分配的,“∩”对于“∪”也是可分配的。 4.1.2 几个特殊的元素 定义4.6 设 * 是集合A上的二元运算, (1)若?el?A,使得?a?A,有el*a=a,则称el为关于*的左单位元,也称为左幺元; (2)若?er?A,使得?a?A,有a*er=a ,则称er为关于*的右单位元,也称为右幺元; (3)若?e?A ,使得?a?A ,有a*e=e*a=a,则称e为关于*的单位元,也称为幺元。 例4.6设集合A={a,b,c},在A上定义二元运算?、*、∧如表4.1~表4.3所示。 A中关于运算?有左幺元a和b,但无右幺元,因此无幺元; A中关于运算*无左幺元,但有右幺元b和c,因此无幺元; A中关于运算∧有幺元a。 可以直接从运算表中看出运算是否有左幺元或右幺元。具体方法是: (1) 如果元素x所在的行上的元素与行表头完全相同,则x是一个左幺元; (2) 如果元素x所在的列上的元素与列表头完全相同,则x是一个右幺元; (3) 如果元素x所在的行和列上的元素分别与行表头和列表头完全相同,则x是一个幺元。 定理4.1 设?是S上的二元运算,el、er分别为运算?的左幺元与右幺元,则有 el=er=e 且e为S上关于?的唯一的幺元。 证明: 因为er为右幺元,因此el=el? er,同理el为左幺元,有el ? er = er 。所以, el= er 。 将el= er记作e,假设S中有幺元e′,则有e′=e ? e′=e。
您可能关注的文档
- [哈工大机械考研资料]机械原理试题精选与解题技巧新建 Microsoft Word 文档.doc
- [哈工大机械考研资料]05-10历年复试真题.doc
- [哈工大机械考研资料]机械设计03期末考试题A卷答案.doc
- [哈工大机械考研资料]机械原理试题精选与解题技巧第8章 习题精解与答题技巧.doc
- [哈工大机械考研资料]机械原理试题精选与解题技巧第8章 机械的平衡理论部分.doc
- [哈工大机械考研资料]机械设计2007试题.doc
- [哈工大机械考研资料]机械原理2003a答案.doc
- [哈工大机械考研资料]机械原理2003a试卷.doc
- [哈工大机械考研资料]机械原理2004a试卷.doc
- [哈工大机械考研资料]机械原理2007期末题目.doc
文档评论(0)