的sup~ 合成运算与iIlf吨i合成运算。取X=G是经典群, VA一,定理I设G是经典群,V ,B一,一C∈[ ] 记( ) V ∈G,则 D; ≤ = ≤ ) o . ) ( ), B—E 】。,Vx,y,z eG,规定: (A of )( )=: ( ( (y)) 证明:V毛Y∈G,令z=xy,由条件A口 ≤c得(A口 )(z)= : ( oaf )(z)=: )0cf (y)) ( ( ) (y)):品 .。 ,) r 矿(y)):z- r.y,A (日 ( )= 分别称A口 与A 曰为A与引}g sup-7舍成运算与ir i合成 f v( 一 )四一( c一0) 运算。 引理I 设T是L上无限v一分配的t一模,V口,6,c,d,吗∈L, J∈L则有: (I)aT(aar6) b (2)・缎r Tb) b (3)口乃 c§b<actr (4)a b j actrb=l,actrc≥bctrc, ra rb 证明见文献[I] 引理2 VL^, ,d∈[L],则』 bael。d=』 .d。其中 r是 ,,6 L匕T的广义逆算子。 证明: ,y∈{L。y1 。刀 J 。d)=肘有, 开 = L 印<-lea 1I 6aTx c d 1f ≤aoy<-boa1.rrc d J 。 rd 1,,baT1 .,d= { ,yI 。 ,y lc,d} r 。 rd. 反之,由 的定义知,laflaouic,6 ,d= z(aCt ̄-c)'6z( ,d).由引 理理 (・c・,知,I)知,1{ 曼6 ( 0c 三; llal"(aarc),bT(bard) -<led于是 j。 ^ -<1‘ , r ,6q {, II lc,d}=la,bC ̄r, .故 J,嘶c6ard一-J, barlc,,d. 引理3 V厶.5, .d∈[L],有 (1) 。6ar(1 ̄。6Tlc.d)≥J, , (2)la,bT(1 rJ, ) 。d 证明:(1)由 的定义及引理2知]a,bOl"T(J, 6T1 .d)= J,。.6 rJ,。 .6 =』口qr(口 ),6qr(bTd), 由引理 I (2) 知, {乏 la.b =laar(aTc),bar(bTd) ≥ .d. 同理可证(2). 利用 定义及引理2,完全可得到 似与文[I]中关于 的若干性质。 一引理4落 ,一BCe[ ] ,若 ≥否,则 口B…>-Ao ̄一C. ,,证明:由条件知v,,eX, ( )≥ ( ),利用确单调性有 ( )7 (y)≥A )7Tc(),),从而,V zeX,Ao (y):( 于百(y))≥ : 要 ( (x)于 ( )= 。 (:).故 D ≥ADiC. 主要结果如下: , 一 £‘ ,) 弋 扣 九,)招 )≤c(:) 、‘,,), c )、‘, l Vt t工-fD I V+cy)l1) c+ ‘,(IZz)● fA-(x)rB一( ≤v( 一(x)TB一(y)) c (z) V:= ∈G有1 +( +( + )阳+(),)) c+(z)利用‘ ∽ c r c 。。 c ‘ 。 ’= 。c, 。 cr :: { :;: ; : :; 得 {} 曰B A: :(y) C :( )ccr (c: : :z)=( 三: :)一 ( 一: )cc:r (cC: z;V) x-lz=y成立.‘ Vs,t∈G,令), f t=s。 ̄y=xy其中令 -i.由上面证明知, 。(y)≤( 一)一 ( )0‘rC一(f)=(A-)‘ (J)0‘rC‘(f) B一(),)≤ B。(y)≤A( 一) )ccrC一(f)同理可得B (y)≤A( ) ( )ccrC (f). Ills1 归耵 故 (),)= 口一(y)口+( )≤ , ( 。)。 ( Ⅺ,c一(r)I,,叫^( ) rc (f)= l(a)4(s)f?c-(1),( t) : ( ∽af』c_(f f】 : ) )arc(t):(( )  ̄af )(y).故 ( )一。 ,c一. 定理2设G是经典群,v ,B一, ∈ ]c’记 )一 ) ( ~), V ∈G。则 (1) )~0 ( 0 否)≤ (2)Ao,4(A)~口五≥ 证明(1)Vx,y∈G,令z-xy,则[( )一0 ( 否)] (z): : (_) (x) ( 。 ( 】 = ( )丁(互 ( )0【f (f))】 ≤ ( 一’) ( (x一 )0c (z))(y-x-】z).Vx,z∈G, (x。 ),否(z)∈ [ ],由引理3(2)知, x-1)一T(A—x-I) ;百(z)≤ (z)),于是 ( ) ( (x一‘)0c (:))≤ (:)= (z) ( )一’。r( 。 , ) . ; (2)Vx,yeG,令z=xy, 【AD ((A) oIc)】(z) 【 )ccr (( )] 2(x)a ( ( ) ))】 r ( 而=,))】≥ 【 (班 ( )( ) (z))】(y=x-】z).Vx e G, (x), (z)∈[ ]由引理3(1)知, (x) ( (x) (z))≥ (z),于是, 【 f( )( (z))】≥ c(z):c(z)= D ((A)-Ioic))≥C. : :0 推论:V ,B一,E[三 有 D (( )一t 百)≤ . 证明:VA一B一,,∈[ ] 令 ( )一,则Vx∈G,有云(x)=( ) (x) (x)~.令y-x~, (y) (x )= (x)= (y。 )=( )一,(y)= = ( )一.由定理2(1)知,( )一-0 (一Co )≤否 D ( ) 0 )≤否. 设 , 是G上给定的格区间值Fuzzy子集, 是G上未知的 格区间值Fuzzy子集,形如 D: =否的方程称为sup一 方程。下 面定理给出此类方程摄大解存在的条件 维普资讯 http://www.cqvip.com 定理3 YA,B∈[ ] 如果sup一璞方程AO;X=BTff ̄,则 (A)-lott ̄B是其一个最大解。 方程』4o 的一个最大解。 参考文献: 证明:由定理2的推论知Ao;((A) o )≤ . 另一方面,由条件设 是方程Ao = 的任意一个解,即Ao :【1]熊清泉,张晓玲.完备Brouwefian格L上的t_模 及其广义逆算 子 ,的性质【J].四川师范大学学报(自然科学版),2004,(1). 【2]廖大见.赵敏.伪t一模与L_关系方程的解集【J]I中国科学技术 大学学报,2004,(2). 【3]Birkhoff.G.Latitce theory[M].Rhode Island:Amer Math Soc Coil P1lbl,1967. Xo=B.由定理1知,Xo≤(A) o ( ) 由引理4知,B=Ao ≤Ao ((A)-lo ̄B)故B=Ao ((A) o ), 从而(A) o 是方程A0 = 的一个解.由( )式知(A) o+B还是 t-norm and It1一 s General一 1‘i zed 1 Inverse Operation in a Set of Lattice Interval YANG yun (Department of Mathematics and Eeonometires,Hubei University of Education,Wuhan 430205,China) Abstract:In this paper,the maximum solution of equation AoXo=S is obtained not only from the concept and some basic ,properties of t—norm T and its generalized inverse operation and oo,-composition on[L] . on[L],but also from the properties of o ̄-composition Key words-*t—norm;generalized inverse operation;lattice interval value;Fuzzy set ・ 3 -
因篇幅问题不能全部显示,请点此查看更多更全内容