半群（{a,b},°）在条件a°a=b变化下结论的稳定性.pdfVIP

32 高 师 理 科 学 刊 第35卷 参考文献： [1】 韩崇昭，朱洪艳，段战胜，等．多元信息融合[M】．北京：清华大学出版社，2010 [2] BURTPJ，KOLCZYNSKIRJ．EnhancesimagecapturethroughfusionC【]／／InternationalConferenceonComputerVision，1993， 173—182 [3] TOETA，RUYVENV，VALETONJJ，eta1．Mergingthermalandvisualimagesbyacontrastpyramid[J]．OpticalEngineering， 1989，28 (7)：789—792 f4] 宋建勋，张进，吴钦章，等．基于D—S证据理论的多特征数据融合算法J『】．火力与指挥控制，2010，35(7)：96—108 [5] 林立宇，张友焱，孙涛，等．Contourlet变换——影像处理应用 M【]．北京：科学出版社，2008 6【1 李志贵．图像融合技术研究D【】．南宁：广西大学计算机与电子信息学院，2010 7【】 苗启广，王宝树．基于小波变换与区域能量的多聚焦图像融合lJ1．计算机科学，2005，32(2)：229—232 [8】 马强，刘栋．基于最小能量小波框架的多聚焦图像融合算法fJ1．计算机与数字工程 ，2013，4l(2)：204—207 半群({，6)，。)在条件 。a：6变化下结论的稳定性 付文德 给出文献[1 6O页 12题的证法，发现相应条件若变化结论具有稳定性 ，并给出推广． 原命题 设f 6}，o)是半群，若a。a=b，则a。b=b。a，b。b=b． 证明 已知f{。，6}，。1是半群 ，运算 “。”满足封闭性与结合律，因此a。b=a。a。a=b。a． 若设a。b：b。a：a，有bob=boa。口=aoa=b；若设aob=boa=b，有bob：boaoa=boa=b．从而b。b=b． 证毕． 变换原命题条件 ，得到命题 1~3． 命题 1 设f{口，6}，。1是半群，若b。b=口，则a。b=b。a，口。a=a． 命题 1证明同原命题类似，不再赘述． 命题2 设 (，6}，。1是半群，若a。a。a=b，则a。b=b。a，b。b=b． 证明 由于({a， ，。1是半群，运算 “。”满足封闭性与结合律，因此a。b=ao61。a=b。a． 若设a。b=b。口=a，有b。b boa。a。口=aoaoa=b；若设aob=b。口=b，有bob=boa。aoa：b。ao口=b。a=b．从而 b。b：b． 证毕． 命题3 设({Ⅱ1bj，。1是半群，若d。口。…。：b，则a。b=b。d，b。b=b． 证明 aob=Go，口——o—61——0．—．．·——o—a、=61，——。——口—。_——．．——o—6、1。a：bo口．若设aob=boa=a，有bob=boa，——。—a——D—．—．．——。—a、=boa。a，——o—…、——。—a、=61，——o——口—0．—_——·o——a、= b；若设 口。b：b。口：b，有bob：b。aoao．．．oa：bo61oao．．．oa：boao(io．．．o61：b。口。 ? ：b。ao．．．oa_．．～b ． 从而bob：b． 证毕． 类似上述讨论可推广得到命题4． 命题4 设f，6)，。)是存在单位元的半群，若aoa=b。b，boa= 。b～，则aob=b。a，b。b：b(或 。a=a)． 证明 由于 (，6}，。)是存在单位元的半群，运算 “。”满足封闭性与结合律，设单位元为e，则 。b=(a。6)。e= (61。6)。(6。b。。)=a。(6。6)。b=d。(口。日)。