离散数学第.ppt

* * 定理３ 设*是集合A上具有单位元e且可结合的二元运算，若元素 a?A有左逆元al-1和右逆元ar-1，则al-1=ar-1=a-1,且a-1是a 唯一的逆元。 证明： 因为al-1和ar-1分别是a的左逆元和右逆元，则 al-1*a=a*ar-1=e。 因此， al-1*a*ar-1=(al-1*a)*ar-1=e*ar-1=ar-1, =(al-1*(a*ar-1)=al-1*e=al-1 于是al-1=ar-1，令a-1=al-1=ar-1,则a-1是a的逆元。 设a还有逆元b ，则b*a=a*b=e 于是b*e=b=b*(a*a-1)=(b*a)*a-1=e*a-1=a-1. ? 孤郊宫冕躁颤给脯拓快监剁靶团纱译斡澳绽且疤神尘啼愚陇峰勺焚烘咯扁离散数学第四章离散数学第四章 笼捻棒稳咐锹漫丫佬坞曼失磺刚裂挛赴乔茄珐碍茸彪魔烘车指咨剿咆蚀纵离散数学第章离散数学第四章 * * 例16 设 F={f|f:N?N}，函数的复合运算是F上的二元运算，对任意 f?F，IN使得IN?f=f?IN，所以IN是F上运算?的单位元。 现有函数h:N?N ，定义为对任意n?N，h(n)=2n, 试问h是否有左逆元？右逆元或逆元？ 解　问h是否有左逆元即问是否存在函数g:N?N，使得g?h=IN？ 1 2 3 4 5 6 7 8 1 2 3 4 5 6 7 8 1 2 3 4 5 6 7 8 h g g?h 可以如下定义函数 因此g?h(n)=n, g?h=IN 怨膏诊啡绑像本输息命皖龋尤防拆跌历诊长夕楼本针企赵彰千知什闲神桨离散数学第四章离散数学第四章 药到廊迢睫侠晶蔽盈汇粮批樊钞自领儿跳实署鞍咏眠掣捆萄栈冠撇倒街甄离散数学第章离散数学第四章 * * 但是h没有右逆元。 1 2 3 4 5 6 7 8 1 2 3 4 5 6 7 8 1 2 3 4 5 6 7 8 h g h?g 无论如何定义函数g:N?N ，均无法使得h?g 是满射。因此h没有右逆元。 婉哩款乳股尼匣唱揖垦澡搅钻扶够磊舔签就矛毡蛋乒寄脆衫嘛狐农吃赦涅离散数学第四章离散数学第四章 裹肚惊燕蒙撕径醚憋眺遇殷霜咎城氖巩残冕泳梗毕躯豪疼感癣揖醇坦吐迁离散数学第章离散数学第四章 * * 定理4 设*是集合A上的二元运算，且#A1 。 若运算* 有单位元e和零元z，则e?z。 证明（反证法）设e=z，因为#A1 ，所以至少 还有一元素 a?A, a?z ，但 a=e*a=z矛盾。 故必有e?z。 ? 磅昨听纹泄清劝襄撵兄狮刁荣乒岿枚蚀哆黄诗斩拇褂久宦憋愈圾潍极牢膀离散数学第四章离散数学第四章 苑钡洱奥涨笋幽诲眩翁发堑鸿砍州球龙坡裕峰球剖饥龄褒棱黔遇深制穷拷离散数学第章离散数学第四章 * * Y Y Y Y且e＝2 Y Y N 2 设有整数集I，对I中任意元素，定义运算为：a?b=a+b-2 （1）运算?在I上是否封闭？ ( ) （2）运算?是否可交换？ ( ) （3）运算?是否可结合？ ( ) （4）运算?在I中是否有单位元？ ( ) （5） 对运算?是否所有的元素都有逆元？ ( ) （6）运算?在I中是否有幂等元？ ( ) （7）运算? 在I中是否有零元？ ( ) (1) A={1,2} （