半群中格林关系粗糙性质.docVIP

半群中格林关系粗糙性质 　　摘要: 在粗糙集理论的基础上,将格林等价关系引入到粗糙集中，并与半群中的理想相联系,利用格林关系的一些基本性质,讨论半群中格林等价关系的粗糙性质,并给出这些结论的证明,进一步补充和完善了半群中的粗糙集理论. 　　关键词: 粗糙集;半群;理想;格林等价关系 　　中图分类号:O152.7 　　 文献标识码:A文章编号:1672-8513(2010)06-0466-03 　　 　　The Rough Properties of Green′s Equivalences in Semigroups 　　XIE Li?tao?1,ZHANG Zhen?liang?2 　　(1. School of Mathematics and Computer Science, Yunnan University of Nationalities, Kunming 650031, China； 2. Faculty of Science, Kunming University of Science and Technology, Kunming 650093, China) 　　Abstract: Based on the theory of rough sets, Green′s equivalences are put into rough sets and connected with the ideals of semigroups. In the use of some basic properties of Green′s relations, some rough properties of Green′s equivalences are discussed and the conclusions are reached, which helps improve the rough sets theory in semigroups. 　　Key words: rough sets; semigroups; ideals; Green′s equivalence 　　 　　1982年波兰数学家提出了粗糙集［1］的概念.粗糙集作为一种处理不精确、不确定与不完全数据的新的数学理论,是继概率论、模糊集、证据理论之后的又一次处理不确定性的数学工具,是一种较新的软计算方法和数据分析方法,是建立在分类机制的基础上的,首先联系到集合的分类,与等价关系相联系,而理想又自然引导出半群中的等价关系,这些等价关系被Green研究，在半群理论的发展中起着非常重要的作用.其中格林等价关系在正则半群的研究中起着至关重要的作用.本文在半群中研究粗糙集,讨论了半群中的格林等价关系的粗糙性质,进一步补充和完善了半群中的粗糙集理论. 　　 1 半群上的粗集 　　定义1.1［2］ ?设S是一个半群,如果ρ是满足以下条件的S上的一个等价关系:对?x∈S有(a,b)∈ρ?(ax,bx)∈ρ,(xa,xb)∈ρ,则称ρ是S上的同余关系, 　　以［a］?ρ记a所在的同余类. 　　定义1.2［2］ 设A是S的任一子集,则A的ρ下近似和ρ上近似分别表示为: 　　?ρ(A)={x∈S［x］?ρ?A}=∪{［x］?ρ［x］?ρ?A}, 　　?ρ(A)={x∈S［x］?ρ∩A≠?}=∪{［x］?ρ［x］?ρ∩A≠?}, 　　ρ(A)=(?ρ(A),?ρ(A))称为ρ粗糙集. 　　引理1.1［2］ 设ρ,λ是半群S上的同余关系,A,B?S,则 　　1)?ρ(A)?A??ρ(A),?ρ(S)=S=?ρ(S); 　　2) ?ρ(A∪B)=?ρ(A)∪?ρ(B),?ρ(A∩B)=?ρ(A)∩?ρ(B); 　　3) A?B??ρ(A)??ρ(B),?ρ(A)??ρ(B); 　　4) ?ρ(A∪B)??ρ(A)∪?ρ(B), ?ρ(A∩B)??ρ(A)∩?ρ(B); 　　5) ρ?λ??ρ(A)??λ(A),?ρ(A)??λ(A). 　　定理1.1［2］ 设ρ是半群S上的同余关系,A,B是S的非空子集,则?ρ(A)?ρ(B)??ρ(AB). 　　定理1.2［2］ 设ρ是半群S上的完备同余关系,A,B是S的非空子集,则?ρ(A)?ρ(B)??ρ(AB). 　　引理1.2［3］ 设ρ和λ是半群S上的完备同余关系,则ρ∩λ也是半群S上的完备同余关系. 　　定理1.3［2］ 设ρ和λ是半群S上的同余关系,A是S的子集,则[KG*2]?ρ∩λ(A)??ρ(A)∩?λ(A). 　　定理1.4 设ρ和λ是半群S上的完备同余关系,A是S的子集,则?ρ(A)∩?λ(A)??ρ∩λ(A). 　　证明 由引理1.2知: ρ∩λ也是半