您的当前位置:首页正文

格区间集合[L]上的t-模及其广义逆算子

2024-07-13 来源:爱go旅游网
维普资讯 http://www.cqvip.com 2008年2月 湖北第二师范学院学报 Journal of Hubei University of Education Feb.2008 V01.25 No.2 第25卷第2期 格区间集合E L]上的t一模及其广义逆算子 杨 云 (湖北第二师范学院 数学与计量经济系,武汉430205) 摘要:在格区间集合[L]上定义t一嗾及其广义逆算子 研究它们的性质,利用它们给出群G.Y- ̄E间值Fuzzy子集组成的集 合中[L] 元素的sup一晗成运算和irlf 成运算,得到这些运算的代数性质以及一些重要的关系式。 关键词:t-模;逆算子;格区间值Fuzzy子集 中图分类号:0189 文献标识码:A 文章编号:1007—1687(2008)02-0001—03 作者简介:杨云(1956一),女,湖北襄樊人,教授,研究方向为软代数理论及应用。 文献【1】研究了完备Brouwefian格L上的t一模T及其广义逆 算子 以及关于两个Fuzzy关系之间的O 合成运算与OaT合成 运算,得到了许多性质。本文中,我们首先利用完备Brouwerian格 (2)若对任意。,6 ∈L,有air( 6,) 分配的: (口 )称T是无限^一 设T是L上的t一模,利用T在[L]上定义二元函数 iF:[LI×[LI [£】如下:, =laTcbTd则易证魂[L]上的t一模,且当 .L上的t一模T引人格区间集合[L]上t一模 利用院义其广义逆 算子0i,研究发现它们具有与文[1]中的T与 相类似的许多性 质。其次我们利用卿0芫义群G上格区间值Fuzzy子集组成的 T是L上无限V(^)一分配的t一模时,嘿[L]k无限 ( )一分配的 集合[L] 中元素的sup一眙成运算和ir 0;合成运算,得到这些 运算的代数性质以及一些重要的关系式。通过这些关系式求得 sup一璞方程Ao-_,.X=B的一个最大解。 设(L,一,v,0,1)是一个有最大元“1”和最小元“0”的完 t一模。事实上,由确定义知: (1)( abT1cd)Tie,t=1。 ,6扎,T1 ,= (。 )7 。(6Td) = 。r(c r(d可F ,,』。6 ,(』  ) dT1,同理可证曰黹足定义1中其他(2),(3),(4)条。 定义4对任意 , , ∈[L]_,规定[L]上的一个二元算子 备Brouwer格,Va,b∈L,a≤6令, ={叫d≤ ≤b ∈L). [L]= { b £}.在[L]中规定 , 运算如下: § 13.t :[Llx[L]— 【 ]如下:, . f,c,d=一v{, lo,b , y , d),称为亍的 ,广义逆算子。 定义5设X是任意经典集合,映射 § 一[L]称为X上的 . A ∈Lx 格区间值Fuzzy子集。Vx∈X,18A(x):, 一( )( J,其中 一,分别为的 下L—Fuzzy子集和上L—Fuzzy子集。这里 ,c.d= 口 6 d , 』 . = 。 Lx={A JA:X )表示X上所有L-Fuzzy子集的集合。用[L] 表 示X上所有格区间值Fuzzy子集的集合。在[L] 中规定: 如果令0= D,1=1I‘l,则易验证([L], , ,0,1)也是一个完备 格。其中0,1,分别是[L]最小元和最大元。 定义1设T是L上的二元运算,若T满足条件:Va,b,C∈L (1)结合律(aTb)Tc=aT(bTc) (2)交换律aTb=bTa VA,∈【 ] ,,∈J,Vx∈ (1)AI= (2)AI≤A! § AI( )=A2 x) AI( ) A2( ) (3)(Al A2)(x)=4(x) A2( ) (4)(A A )( )=A.( ) A2( )(5)1( )=11I ̄0(x)=,D-。Vx∈ ,(3)单调性b≤c aTb< ̄aTc (4)aTl=a 称T是L上的t一模。 定义2设T是L上的t一模,定义L上的一个二元算子 ,为: mrb=V{ x∈£.aTx ,Va,b∈L,称 ,为T的广义逆算子。 定义3设T是L上的t一模。 则易验证([L] , , ,0,1)是完备格,其最小元和最大元分别是 0,1。 下面我们将利用两 乃,)称T是无限v一 收稿日期:2007—12—15 定义群G上格区间值Fu zy子集问 (1)若对任意n, ∈L,有。r( ,) 分配的: 维普资讯 http://www.cqvip.com

的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 - 

因篇幅问题不能全部显示,请点此查看更多更全内容