姜 曼

(西安交通工程學(xué)院 數(shù)學(xué)教研室，陜西 西安 710000)

文獻(xiàn)[1]給出了一種新的(2,2,0)代數(shù)(S，*,Δ，0)，并稱其為N(2,2,0)代數(shù). 文獻(xiàn)[2]給出了N(2,2,0)代數(shù)子代數(shù)的概念，對(duì)于N(2,2,0)代數(shù)結(jié)構(gòu)的研究，更多結(jié)論可參見文獻(xiàn)[3-6]. 自1965年Zadeh提出了模糊集[7]后，模糊集理論被廣泛應(yīng)用于各個(gè)領(lǐng)域. 經(jīng)過不斷的發(fā)展和研究，模糊集在理論和應(yīng)用兩方面取得了很大的進(jìn)展. 文獻(xiàn)[8-10]將N(2,2,0)代數(shù)與模糊集相結(jié)合，研究了N(2,2,0)代數(shù)上不同類型的模糊子代數(shù)及相關(guān)性質(zhì). 2010年，Torra提出了猶豫模糊集[2]概念，猶豫模糊數(shù)比傳統(tǒng)模糊元更全面，在多個(gè)數(shù)學(xué)模型中都有應(yīng)用. 關(guān)于猶豫模糊集和代數(shù)系統(tǒng)的研究，可參見文獻(xiàn)[11-14].論文把猶豫模糊集與N(2,2,0)相結(jié)合，提出了N(2,2,0)代數(shù)的(λ,μ)-反猶豫模糊子代數(shù)的概念，得到了若干個(gè)等價(jià)刻畫，討論了同態(tài)映射下N(2,2,0)代數(shù)的反猶豫模糊子代數(shù)的像與原像之間的關(guān)系，給出了猶豫模糊集下的反直積定義，研究了猶豫模糊反直積的相關(guān)性質(zhì)，相關(guān)結(jié)果進(jìn)一步完善了模糊代數(shù)和N(2,2,0)代數(shù)的理論研究.

1 預(yù)備知識(shí)

定義1[1]設(shè)S是有0元素的集合. 在S中定義兩個(gè)二元運(yùn)算*和Δ，若它們滿足下列公理，即對(duì)?x,y,z∈S，都有：

(1)x*(y*z)=z*(x*y)；

(2) (xΔy)*z=y*(x*z)；

(3) 0*x=x.

則稱(S，*,Δ，0)是一個(gè)N(2,2,0)代數(shù)，簡稱S是一個(gè)N(2,2,0)代數(shù).

論文約定S表示N(2,2,0)代數(shù)(S，*,Δ，0).

定義2[2]設(shè)Q是S的子集，若對(duì)?x,y,z∈S，都有：①0∈Q；②由?x,y∈S，可推出x*y∈Q,yΔx∈Q. 則稱Q是S上的一個(gè)子代數(shù).

引理[2]Q是S上的一個(gè)子代數(shù)當(dāng)且僅當(dāng)0∈Q且?x,y∈S，x*y∈Q.

定義3[7]設(shè)A∈F(K)是一個(gè)非空經(jīng)典集合，一個(gè)A∈F(K)上的猶豫模糊集A定義如下

A:{(x,hA(x))|x∈X}，

其中：hA(x)是由區(qū)間[0,1]上若干個(gè)不同值構(gòu)成的集合,表示A∈F(K)中的元素x屬于集合A的若干種可能隸屬度.

設(shè)A為A∈F(K)中的猶豫模糊集，P([0,1])為區(qū)間[0,1]的冪集. 稱集合

K(A,γ):={x∈K|γ?hA(x)}

為A的猶豫水平集,其中：γ∈P([0,1]).

定義4[7]設(shè)X是一個(gè)非空經(jīng)典集合，F(xiàn)和G是X上的猶豫模糊集，且具有如下形式

F:{(x,hF(x))|x∈X}，G:{(x,hG(x))|x∈X}.

規(guī)定如下運(yùn)算：

(1) 對(duì)于F，它的補(bǔ)元Fc定義為

補(bǔ)運(yùn)算滿足對(duì)合律，即(Fc)c=F.

(2)F和G的并F∪G定義為

hF∪G(x)=hF(x)∪hG(x)={h∈hF(x)∪hG(x)|h≥max(hF(x),hG(x))}.

(3)F和G的交F∩G定義為

hF∩G(x)=hF(x)∩hG(x)={h∈hF(x)∩hG(x)|h≤min(hF(x),hG(x))}.

定義5[14](反擴(kuò)張?jiān)? 設(shè)X,Y是兩個(gè)集合，f：X→Y是一個(gè)映射.A和B是兩個(gè)分別定義在X,Y的猶豫模糊子集.x∈X,?y∈Y，定義Y的猶豫模糊子集f(A)為

?x∈X，定義X的猶豫模糊子集f-1(y)為hf-1(B)(x)=hB(f(x)).

2 N(2,2,0)代數(shù)的(λ,μ)-反猶豫模糊子代數(shù)

定義6設(shè)A是S上的猶豫模糊子集，若?x,y∈S,0≤λ<μ≤1,有：

(1)hA(0)∩μ?hA(x)∪λ；

(2)hA(x*y)∩μ?hA(x)∪hA(y)∪λ；

(3)hA(xΔy)∩μ?hA(x)∪hA(y)∪λ.

則稱A是S的(λ,μ)-反猶豫模糊子代數(shù).

注意到N(2,2,0)代數(shù)滿足x*y=yΔx，從而定義6中的(2)和(3)等價(jià). 故S上的猶豫模糊集A是(λ,μ)-反猶豫模糊子代數(shù)的充要條件是(1)和(2)成立，或者(1)和(3)成立.

定理1給出了N(2,2,0)代數(shù)的(λ,μ)-反猶豫模糊子代數(shù)與子代數(shù)的關(guān)系.

定理1設(shè)A是S的一個(gè)非空猶豫模糊子集，則A是S的(λ,μ)反猶豫模糊子代數(shù)，如果?ε∈[λ,μ)，L(A;ε)：={hA(x)?ε|x∈L}(≠?)，則L(A;ε)是S的子代數(shù).

證明?ε∈[λ,μ)，因?yàn)長(A;ε)：={hA(x)?ε|x∈S}非空，所以存在x0∈L(A;ε)，從而有hA(x0)?ε. 因?yàn)锳是S的(λ,μ)反猶豫模糊子代數(shù)，從而?x∈S,有hA(0)∩μ?hA(x)∪λ，因此有hA(0)∩μ?hA(x0)∪λ?ε∪λ=ε，又由于λ≤ε<μ，所以hA(0)?ε，即0∈L(A;ε). 另外，如果x∈L(A;ε)，y∈L(A;ε)，則hA(x)?ε，hA(y)?ε，且hA(x*y)∩μ?hA(x)∪hA(x)∪λ?ε∪ε∪λ=ε，這表明hA(x*y)?ε，即x*y∈L(A;ε). 故L(A;ε)是S的子代數(shù).

定理2設(shè)A是S的一個(gè)非空猶豫模糊子集，如果?ε∈[λ,μ)，L(A;ε)：={hA(x)?ε|x∈S}非空，且L(A;ε)是S的子代數(shù)，則A是S的(λ,μ)-反猶豫模糊子代數(shù).

證明假定存在x0∈S，使得hA(0)∩μ?hA(x0)∪λ，取ε=hA(x0)∪λ，則hA(x0)?ε，并且hA(0)?ε，λ≤ε<μ. 因?yàn)長(A;ε)：={hA(x)?ε|x∈S}非空，且L(A;ε)是S的子代數(shù)，從而0∈L(A;ε)，即hA(0)?ε與hA(0)?ε矛盾，因此對(duì)?x∈S,有hA(0)∩μ?hA(x)∪λ.

假定x0,y0∈S，有hA(x0*y0)∩μ?hA(x0)∪hA(y0)∪λ成立，令ε=hA(x0)∪hA(y0)∪λ，則有hA(x0)?ε，hA(y0)?ε，hA(x0*y0)∩μ?ε，因此hA(x0*y0)?ε. 由于x0,y0∈L(A;ε),且L(A;ε)是S的子代數(shù)，所以x0*y0∈L(A;ε), 這與hA(x0*y0)?ε矛盾. 因此對(duì)?x,y∈S，有hA(x*y)∩μ?hA(x)∪hA(y)∪λ.

所以，根據(jù)定義6 可知A是S的(λ,μ)-反猶豫模糊子代數(shù).

定理4設(shè)A和B都是S的(λ,μ)-反猶豫模糊子代數(shù)，則A∪B也是S的(λ,μ)-反猶豫模糊子代數(shù).

證明因?yàn)锳和B都是S的(λ,μ)-反猶豫模糊子代數(shù)，所以?x,y∈S，0≤λ<μ≤1，那么有hA(0)∩μ?hA(x)∪λ，hA(x*y)∩μ?hA(x)∪hA(y)∪λ；hB(0)∩μ?hB(x)∪λ,hB(x*y)∩μ?hB(x)∪hB(y)∪λ.

于是hA∪B(x)∪λ=hA(x)∪hB(x)∪λ=(hA(x)∪λ)∪(hB(x)∪λ)?(hA(0)∩μ)∪(hB(0)∩μ)=(hA(0)∪hB(0))∩μ=hA∪B(0)∩μ，hA∪B(x*y)∩μ=hA(x*y)∪hB(x*y)∩μ=(hA(x*y)∩μ)∪(hB(x*y)∩μ)?(hA(x)∪hA(y)∪λ)∪(hB(x)∪hB(y)∪λ)=(hA(x)∪hB(x))∪(hA(y)∪hB(y))∪λ=hA∪B(x)∪hA∪B(y)∪λ.

因此A∪B也是S的(λ,μ)-反猶豫模糊子代數(shù).

定理5設(shè)S1和S1是兩個(gè)N(2,2,0)代數(shù)，f:S1→S2為同態(tài)映射且f(0)=0.B是S2的(λ,μ)-反猶豫模糊子代數(shù),則f-1(B)是S1的(λ,μ)-反猶豫模糊子代數(shù).

證明?x1,y1∈S1，因?yàn)閒:S1→S2為同態(tài)映射，且B是S2的(λ,μ)-反猶豫模糊子代數(shù),所以hf-1(B)(x1*y1)∩μ=hB(f(x1*y2))∩μ=hB(f(x1)*f(y1))∩μ?hB(f(x1))∪hB(f(y1))∪λ=hf-1(B)(x1)∪hf-1(B)(y1)∪λ.

又因?yàn)閤∈S1，B是S2的(λ,μ)-反猶豫模糊子代數(shù)，因此有hf-1(B)(0)∩μ=hB(f(0))∩μ?hB(f(x))∪λ=hf-1(B)(x)∪λ,故f-1(B)是S1的(λ,μ)-反猶豫模糊子代數(shù).

定理6設(shè)S1和S1是兩個(gè)N(2,2,0)代數(shù)，f:S1→S2為同態(tài)映射且f(0)=0,A是S1的(λ,μ)-反猶豫模糊子代數(shù)，則f(A)是S2的(λ,μ)-反猶豫模糊子代數(shù).

定義7設(shè)A,B分別是非空集合S1,S2的猶豫模糊子集，對(duì)?(x,y)∈S1×S2，定義映射A?B:S1×S2→P([0,1])，其中hA?B(x,y)=hA(x)∪hB(y)，則A?B是S1×S2的猶豫模糊子集，并稱A?B為A和B的反直積.

定理7如果A和B分別是N(2,2,0)代數(shù)S1和S2的(λ,μ)-反猶豫模糊子代數(shù)，則A?B也是N(2,2,0)代數(shù)S1×S2的(λ,μ)-反猶豫模糊子代數(shù). 其中規(guī)定?(x1,y1)∈S1×S2，則(x1,y1)*(x2,y2)=(x1*x2,y1*y2)，(x1,y1)Δ(x2,y2)=(x1Δx2,y1Δy2).

證明?(x,y)∈S1×S2，因?yàn)锳和B分別是S1和S2的(λ,μ)-反猶豫模糊子代數(shù)，有hA?B(0,0)∩μ=(hA(0)∪hB(0))∩μ=(hA(0)∩μ)∪(hB(0)∩μ)?(hA(x)∪λ)∪(hB(y)∪λ)=(hA(x)∪hB(y))∪λ=hA?B(x,y)∪λ.

對(duì)?(x1,y1)，(x2,y2)∈S1×S2，由于A和B分別是N(2,2,0)代數(shù)S1和S2的(λ,μ)-反猶豫模糊子代數(shù)，因此有hA(x1*x2)∩μ?hA(x1)∪hA(x2)∪λ，hB(y1*y2)∩μ?hB(y1)∪hB(y2)∪λ，hA?B((x1,y1)*(x2,y2))∩μ=hA?B(x1*x2,y1*y2)∩μ=(hA(x1*x2)∪hB(y1*y2))∩μ=(hA(x1*x2)∩μ)∪(hB(y1*y2)∩μ)?(hA(x1)∪hA(x2)∪λ)∪(hB(y1)∪hB(y2)∪λ)=hA?B(x1,y1)∪hA?B(x2,y2)∪λ.

所以A?B是S1×S2的(λ,μ)-反猶豫模糊子代數(shù).