模糊数值直觉模糊群的性质与一个重要结论.docVIP

模糊数值直觉模糊群的性质及一个重要结论 范传强 (辽宁石油化工大学 理学院，辽宁 抚顺 113001) [摘 要] 定义了模糊数值直觉模糊群，讨论它的一些运算，研究它的一些性质并加以证明. 最后在两个非空有限经典群同态意义下，证明了这种模糊数值直觉模糊群的像仍是模糊数值直觉模糊群. [关键词] 模糊数值直觉模糊集; 模糊数值直觉模糊群; 隶属函数; 扩展运算 [中图分类号] O159 [文献标识码] A 自文[1-2]定义三角模糊数、给出了其序关系以来，学者们围绕三角模糊数这一热门话题展开了丰富的研究[3-8]. 其中，文[3]通过三角模糊数定义模糊数值直觉模糊集，给出模糊数值直觉模糊集的扩展原理、运算性质. 本文在此基础之上定义模糊数值直觉模糊群，随后研究模糊数值直觉模糊群的性质，得出一个重要结论. 模糊数值直觉模糊群及其性质 定义 设G是非空有限经典群，G上的一个模糊数值直觉模糊集 A={ x，，?x?G}， 如果满足：(ⅰ)(x y) ?(x) ?(y)，(x y) ?(x) ?(y)，?x，y?G； (ⅱ)(x-1) ?(x)，(x-1) ?(x)，?x?G， 则称A为G上的一个模糊数值直觉模糊群. 为了方便，令TIFS[G]表示群G上所有模糊数值直觉模糊群构成的集合. 定理1 设G是非空有限经典群，若A，B?TIFS[G]，则A?B?TIFS[G] . 证 设A={ x，，?x?G}，B={ x，，?x?G}. 按模糊数值直觉模糊集交的定义，有 A? B={ x，?，?B (x)}，? x?G }. 令(x)=?，(x)=?，?x，y?G，一方面 (x y)=? ?(?) ? (?) =(?)? (?) =(x) ?(y)； 类似地可得(x y) ?(x) ?( y). 另一方面，有 ____________________________ 收稿日期：2010-3-5 作者简介：范传强（1976- ），男，辽宁省大连市人，硕士，讲师，从事数值逼近方向研究. (x-1)=(x-1) ?(x-1)}??=(x)， 类似地可证(x-1) ?(x)，因此A?B?TIFS[G] . 推论 设{A j? j? J }? TIFS[G]，则?TIFS[G]，J为指标集. 定理2 设G是非空有限经典群，若A?TIFS[G]，则?A?TIFS[G]. 证 设A={ x，，?x?G}， 则 ?A={ x，，()?x?G }. 显然(x y) ?(x) ?(y). 又因为 ??，??， 1??1??=(1?)?(1?)， 所以()?()?( )，故满足定义中的 (ⅰ). 由已知可知(x-1) ?(x)，?，?，所以 (，1?，1?)?(，1?，1?)， 所以 ?A?TIFS[G] 定理3 设G是非空有限经典群，若A?TIFS[G]，则 ?A?TIFS[G]. 证 设A={ x，，?x?G}， 则 ?A={ x， ()，?x?G }. 显然(x y)?(x)?(y)，(x-1)?(x). 又因为 ??，??， 所以1??1???(1?)?(1?)， 所以 ()?() ?()，故满足定义中的 (ⅰ). 由已知可知?，?，所以 (，1?，1?)? (，1?，1?)， 所以?A?TIFS[G]. 注意：不能推出，A?B ?TIFS[G]. 2．一个重要结论 定理4 设G1，G2均为非空有限经典群，f：G1?G2是同态映射. 若A?TIFS[G1]，则Ff (A) ?TIFS[G2]. 证 设A={ x，，?x?G1}，由扩展原理可得 Ff (A)={ y， Ff () (y)， () (y) ? y?G2 }. 1）首先证明：?y?G2，f -1(y)= 当且仅当f -1(y-1)=. 事实上，f -1(y-1)?当且仅当?? f -1(y-1)，使f ()=y-1，又因为f是G1到G2上的群同态映射，所以f ()=y-1当且仅当 (f ())-1=y，当且仅当? f -1(y)且? G1，当且仅当 f -1(y) ?. 此时，由扩展原理知 Ff () (y-1)= Ff () (y)=， ()(y-1)= ()(y) =， ? y?G2 . 即定义 (ⅱ)中的等号成立. 其次，当f -1(y)?时，? y?G2由扩展原理有 Ff () (y-1) = = = ? = Ff () (y). 同理可证() (y-1)?() (y) . 2）另一方面，由上述证明不失一般性，可设f：G1?G2 如若存在y1，y2?G2且至少使 ?? (1) ?? (2) ?? (3) ?? (4) ?? (5) ??