王豐效

(喀什大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 新疆 喀什 844000)

自Zadeh創(chuàng)立了模糊集理論以來(lái)[1]，眾多學(xué)者討論了模糊集的推廣.作為模糊集的推廣，Atanassov提出直覺模糊集的概念及相關(guān)理論[2-3].隨后，模糊集和直覺模糊集被廣泛應(yīng)用于各類代數(shù)系統(tǒng).作為BCK-代數(shù)的推廣，文獻(xiàn)[4]引入BE-代數(shù)的概念，討論了它的相關(guān)性質(zhì).文獻(xiàn)[5]給出BE-代數(shù)理想的概念及其相關(guān)性質(zhì)，并給出了BE-代數(shù)理想的刻畫. 文獻(xiàn)[6-7]將模糊集的概念應(yīng)用于BE-代數(shù)，討論BE-代數(shù)的模糊子代數(shù)和模糊理想及其相關(guān)性質(zhì). 文獻(xiàn)[8]討論BE-代數(shù)的模糊濾子的相關(guān)特征.文獻(xiàn)[9]引入BE-代數(shù)的Doubt-模糊理想的概念，并討論其相關(guān)性質(zhì). 論文將直覺Q-模糊集的概念應(yīng)用于BE-代數(shù), 給出BE-代數(shù)的直覺Q-模糊理想概念, 并討論其基本性質(zhì).

為討論問(wèn)題方便,下面先給出一些相關(guān)的概念.

代數(shù)系統(tǒng)(X,*,1)如果滿足下列公理,即對(duì)?x,y,z∈S,都有：(1)x*x=1；(2)x*1=1；(3)1*x=x； (4)x*(y*z)=y*(x*z).則稱(X,*,1)為BE-代數(shù)，簡(jiǎn)稱X是一個(gè)BE-代數(shù)[4].

始終約定X表示BE-代數(shù)(X,*,1). 在X上可以定義偏序關(guān)系≤：x≤y?x*y=1.假設(shè)(X,*,1)為BE-代數(shù)，則對(duì)任意x,y∈X,有x*(y*x)=1,y*((y*x)*x)=1.若(X,*,1)是BE-代數(shù)，如果對(duì)任意x,y,z∈X,有y*z≤(x*y)*(x*z),則稱(X,*,1)為傳遞BE-代數(shù).如果對(duì)任意x,y,z∈X,有x*(y*z)=(x*y)*(x*z),則稱(X,*,1)為自分配BE-代數(shù).

設(shè)A是BE-代數(shù)(X,*,1)的非空子集，如果對(duì)任意x,y∈A,有x*y∈A,則稱A為BE-代數(shù)(X,*,1)的子代數(shù).

定義1[5]設(shè)I是BE-代數(shù)X的非空子集, 如果: (1) ?x∈X,a∈I,有x*a∈I；(2) ?x∈X,a,b∈I,有(a*(b*x))*x∈I.則稱I是BE-代數(shù)X的理想.

給定一個(gè)集合Q,稱μ:X×Q→[0,1]為X上的Q-模糊集. 對(duì)任意t∈[0,1],集合Uq(μ,t)={x∈X|μ(x,q)≥t}稱為μ關(guān)于Q的上水平截集，集合Lq(μ,t)={x∈X|μ(x,q)≤t}稱為μ關(guān)于Q的下水平截集.

定義2[7]設(shè)μ是X的模糊子集,若對(duì)?x,y,z∈X,都有:(1)μ(x*y)≥μ(y)；(2)μ((x*(y*z))*z)≥μ(x)∧μ(y).則稱μ是X的模糊理想.

設(shè)X為非空集,A={|0≤αA(x)+βA(x)≤1,x∈X}稱為X上的直覺模糊集，其中αA(x),βA(x)是X上的模糊集，分別表示X上的元素屬于A的隸屬度和非隸屬度.為了方便起見，將直覺模糊集A簡(jiǎn)記為A=(αA,βA).

1 BE-代數(shù)的直覺模糊理想

為了方便起見，用X表示BE-代數(shù)(X,*,1), 并假定Q是給定的一個(gè)集合. 設(shè)X為非空集，A={|0≤αA(x,q)+βA(x,q)≤1,x∈X,q∈Q}稱為X上的直覺Q-模糊集，其中αA:X×Q→[0,1],βA:X×Q→[0,1]是X上的Q-模糊集. 為了方便起見，將直覺Q-模糊集A簡(jiǎn)記為A=(αA,βA).對(duì)任意t∈[0,1],集合Uq(αA,t)={x∈X|αA(x,q)≥t}稱為A關(guān)于Q的上水平截集，集合Lq(βA,t)={x∈X|βA(x,q)≤t}稱為A關(guān)于Q的下水平截集.

定義3設(shè)A=(αA,βA)是BE-代數(shù)X上的直覺Q-模糊集,若?x,y,z∈X，q∈Q,都有

(1)αA(x*y,q)≥αA(y,q)；

(2)βA(x*y,q)≤βA(y,q)；

(3)αA((x*(y*z))*z,q)≥αA(x,q)∧αA(y,q)；

(4)βA((x*(y*z))*z，q)≤βA(x,q)∨βA(y,q).

則稱A是X的直覺Q-模糊理想.

例1假設(shè)X={1,a,b,c,d,e},X上的二元運(yùn)算“*”見表1.

表1 X上的二元運(yùn)算

容易驗(yàn)證(X,*,1)是BE-代數(shù). 對(duì)給定集合Q={q1,q2},在X上的Q-直覺模糊集A=(αA,βA)為

αA(1,q1)=αA(a,q1)=αA(b,q1)=0.3,αA(c,q1)=αA(d,q1)=αA(e,q1)=0.8,

βA(1,q1)=βA(a,q1)=βA(b,q1)=0.69,βA(c,q1)=βA(d,q1)=βA(e,q1)=0.18,

αA(1,q2)=αA(a,q2)=αA(b,q2)=0.35,αA(c,q2)=αA(d,q2)=αA(e,q2)=0.85,

βA(1,q2)=βA(a,q2)=βA(b,q2)=0.73,βA(c,q2)=βA(d,q2)=βA(e,q2)=0.22.

則A=(αA,βA)是X上的直覺Q-模糊理想.

如果對(duì)給定集合Q={q},定義X上的Q-直覺模糊集B=(αB,βB)滿足

αB(1,q)=αB(a,q)=0.4,αB(b,q)=αB(c,q)=αB(d,q)=αB(e,q)=0.6，

βB(1,q)=βB(a,q)=αB(b,q)=0.56,βB(c,q)=βB(d,q)=βB(e,q)=0.38.

則αB((a*(a*b))*b,q)=αB((a*a)*b,q)=αB(b,q)=0.6>0.4=αB(a,q)∨αB(a,q). 故直覺Q-模糊集B=(αB,βB)不是X上的直覺Q-模糊理想.

證明由于A=(αA,βA)是BE-代數(shù)X上的直覺Q-模糊理想，易知模糊集αA是X的Q-模糊理想. 對(duì)任意x,y,z∈X,q∈Q,有

綜上，由定義3可得A=(αA,βA)是BE-代數(shù)X上的直覺Q-模糊理想.

定理3如果A=(αA,βA)是傳遞BE-代數(shù)X上的直覺Q-模糊集，則A=(αA,βA)是X上的直覺Q-模糊理想，當(dāng)且僅當(dāng)對(duì)任意x,y,z∈X,有

(1)αA(1,q)≥αA(x,q),βA(1,q)≤βA(x,q);

(2)αA(x*z,q)≥αA(x*(y*z),q)∧αA(y,q),βA(x*z,q)≤βA(x*(y*z),q)∨βA(y,q).

證明假設(shè)A=(αA,βA)是BE-代數(shù)X上的直覺Q-模糊理想，因而由定義3可得，對(duì)任意x∈X,αA(1,q)=αA(x*x,q)≥αA(x,q),βA(1,q)=βA(x*x,q)≤βA(x,q). 由于BE-代數(shù)X是傳遞的，因而對(duì)任意x,y,z∈X,有(y*z)*z≤(x*(y*z))*(x*z),即

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

所以,有

αA(x*z,q)=αA(1*(x*z),q)=αA((((y*z)*z)*((x*(y*z))*(x*z)))*(x*z),q)≥

αA(((y*z)*z),q)∧αA(x*(y*z),q)=αA(((y*(1*z))*z),q)∧αA(x*(y*z),q)≥

(αA(y,q)∧αA(1,q))∧αA(x*(y*z),q)=αA(y,q)∧αA(x*(y*z),q)=

αA(x*(y*z),q)∧αA(y,q)，

βA(x*z,q)=βA(1*(x*z),q)=βA((((y*z)*z)*((x*(y*z))*(x*z)))*(x*z),q)≤

βA(((y*z)*z),q)∨βA(x*(y*z),q)=βA(((y*(1*z))*z),q)∨βA(x*(y*z),q)≤

(βA(y,q)∨βA(1,q))∨βA(x*(y*z),q)=βA(y,q)∨βA(x*(y*z),q)=

βA(x*(y*z),q)∨βA(y,q).

如果A=(αA,βA)是傳遞BE-代數(shù)X上的直覺Q-模糊集，并且滿足定理3的條件(1)，(2)，則對(duì)任意x,y,z∈X,q∈Q,有

αA(x*y,q)≥αA(x*(y*y),q)∧αA(y,q)=αA(1,q)∧αA(y,q)=αA(y,q)，

βA(x*y,q)≤βA(x*(y*y),q)∨βA(y,q)=βA(1,q)∨βA(y,q)=βA(y,q).

若a≤b,即a*b=1,故

αA(b,q)=αA(1*b,q)≥αA(1*(a*b),q)∧αA(a,q)=αA(1,q)∧αA(a,q)=αA(a,q)，

βA(b,q)=βA(1*b,q)≤βA(1*(a*b),q)∨βA(a,q)=βA(1,q)∨βA(a,q)=βA(a,q).

由于BE-代數(shù)X是傳遞的，因此對(duì)任意x,y,z∈X,有(y*z)*z≤(x*(y*z))*(x*z)，故

αA((y*z)*z,q)≤αA((x*(y*z))*(x*z),q),

βA((y*z)*z,q)≥βA((x*(y*z))*(x*z),q).

所以，有

αA((x*(y*z))*z,q)≥αA((x*(y*z))*(x*z),q)∧αA(x,q)≥

αA((y*z)*z,q)∧αA(x,q)≥αA((y*z)*(y*z),q)∧αA(y,q)∧αA(x,q)=

αA(1,q)∧αA(y,q)∧αA(x,q)=αA(x,q)∧αA(y,q)，

βA((x*(y*z))*z,q)≤βA((x*(y*z))*(x*z),q)∨βA(x,q)≤

βA((y*z)*z,q)∨βA(x,q)≤βA((y*z)*(y*z),q)∨βA(y,q)∨βA(x,q)=

βA(1,q)∧βA(y,q)∧βA(x,q)=βA(x,q)∧βA(y,q).

綜上，由定義3可得A=(αA,βA)是X上的直覺Q-模糊理想.

定理4直覺模糊集A=(αA,βA)是X的直覺Q-模糊理想，當(dāng)且僅當(dāng)對(duì)任意t,s∈[0,1],X的非空子集Uq(αA,t)和Lq(βA,s)都是X的理想.

證明假設(shè)A=(αA,βA)是X的直覺Q-模糊理想. 如果存在t∈[0,1],使得Uq(αA,t)非空，因而一定存在a∈Uq(αA,t)，滿足αA(a,q)≥t,從而對(duì)于任意的x∈X，有αA(x*a,q)≥αA(a,q)≥t,因而x*a∈Uq(αA,t).另外，假定a,b∈Uq(αA,t),則αA(a,q)≥t,αA(b,q)≥t. 因此?x∈X，由定義3，有αA((a*(b*x))*x,q)≥αA(a,q)∧αA(b,q)≥t, 故(a*(b*x))*x∈Uq(αA,t),由定義1可知非空子集Uq(αA,t)是X的理想. 利用同樣的方式可以證明非空子集Lq(βA,s)是X的理想.

反過(guò)來(lái)，如果對(duì)任意t,s∈[0,1],q∈Q,非空子集Uq(αA,t)和Lq(βA,s)都是X的理想. 假定存在c,d∈X，使得αA(c*d,q)<αA(d,q), 取t0∈[0,1]，滿足αA(c*d,q)

如果存在x0,y0,z0∈X，使得αA((x0*(y0*z0))*z0,q)<αA(x0,q)∧αA(y0,q), 令

2t1=αA((x0*(y0*z0))*z0,q)+αA(x0,q)∧αA(y0,q)，

則x0,y0∈Uq(αA,t1),(x0*(y0*z0))*z0?Uq(αA,t1). 由于x0,y0∈Uq(αA,t1),Uq(αA,t1)是X的理想，因此有(x0*(y0*z0))*z0∈Uq(αA,t1)，與(x0*(y0*z0))*z0?Uq(αA,t1)矛盾,所以對(duì)任意的x,y,z∈X,q∈Q，有αA((x*(y*z))*z,q)≥αA(x,q)∧αA(y,q).類似可以證明對(duì)任意的x,y,z∈X,q∈Q，有βA((x*(y*z))*z,q)≤βA(x,q)∨βA(y,q).綜上，由定義3可知直覺模糊集A是BE-代數(shù)X的直覺Q-模糊理想.

定理5假設(shè)I是BE-代數(shù)X的理想，則一定存在直覺Q-模糊集A=(αA,βA)和常數(shù)t,s∈[0,1]，使得Uq(αA,t)=Lq(βA,s)=I,并且A=(αA,βA)是BE-代數(shù)X的直覺Q-模糊理想.

證明假設(shè)I是BE-代數(shù)X的理想, 對(duì)于任意的q∈Q,定義X的直覺Q-模糊集A=(αA,βA)滿足：當(dāng)x∈I時(shí)，αA(x,q)=t,βA(x,q)=s；當(dāng)x?I時(shí)，αA(x,q)=βA(x,q)=0. 因此

Uq(αA,t)=Lq(βA,s)=I.

下證A=(αA,βA)是BE-代數(shù)X的直覺Q-模糊理想. 對(duì)任意x,y∈X,有

(1) 如果x∈X，y∈I,則x*y∈I,所以αA(x*y,q)=t=αA(y,q)；

(2) 如果x,y?I,則αA(x,q)=αA(y,q)=0,即αA(x*y,q)≥0=αA(y,q)；

(3) 如果x∈I，y?I,則αA(x,q)=t,αA(y,q)=0,從而αA(x*y,q)≥0=αA(y,q)；

(4) 如果x?I，y∈I,則αA(x*y,q)=t,αA(y,q)=t,故αA(x*y,q)=t=αA(y,q).

綜上，對(duì)任意x,y∈X,q∈Q,有αA(x*y,q)≥αA(y,q).

對(duì)任意x,y,z∈X,q∈Q，有

(1) 如果x,y∈I,則(x*(y*z))*z∈I,故αA((x*(y*z))*z,q)=t=αA(x,q)∧αA(y,q)；

(2) 如果x?I或y?I,則αA(x,q)=0或αA(y,q)=0,即αA(x,q)∧αA(y,q)=0,所以αA((x*(y*z))*z,q)≥0=αA(x,q)∧αA(y,q).因此對(duì)任意x,y,z∈X,有

αA((x*(y*z))*z,q)≥αA(x,q)∧αA(y,q).

利用同樣對(duì)方法可以證明，對(duì)任意x,y,z∈X,q∈Q,有

βA(x*y,q)≤βA(y,q),βA((x*(y*z))*z,q)≤βA(x,q)∨βA(y,q).

因此A=(αA,βA)是BE-代數(shù)X的直覺Q-模糊理想.

定理6假設(shè)I是BE-代數(shù)X的子集，定義直覺Q-模糊集A=(αA,βA)，滿足

αA(x,q)=1-βA(x,q)=λ,(x∈I,q∈Q,λ∈[0,1])，

αA(x,q)=1-βA(x,q)=0,(x?I,q∈Q).

如果A=(αA,βA)是BE-代數(shù)X的直覺Q-模糊理想，則I是BE-代數(shù)X的理想.

證明假設(shè)A=(αA,βA)是BE-代數(shù)X的直覺Q-模糊理想. 對(duì)任意q∈Q,如果x∈X,a∈I,則αA(x*a,q)≥αA(a,q)=λ,從而x*a∈I.如果a,b∈I,則αA(a,q)=αA(b,q)=λ,并且αA((a*(b*x))*x,q)≥αA(a,q)∧αA(b,q)=λ,即(a*(b*x))*x∈I.因此I是BE-代數(shù)X的理想.

記A(a,b)={x∈X|a*(b*x)=1},并稱A(a,b)為a和b的上集.易知對(duì)于BE-代數(shù)X，有1,a,b∈A(a,b).

引理1[5]BE-代數(shù)X的非空子集I是X的理想的充要條件是:

(1) 1∈I；

(2) ?x,z∈X,?y∈I,x*(y*z)∈I?x*z∈I.

定理7如果A=(αA,βA)是BE-代數(shù)X的直覺Q-模糊集，則A是X的直覺Q-模糊理想的充分必要條件是?a,b∈X,?s,t∈[0,1]，有

a,b∈Uq(αA,t)∩Lq(βA,s)?A(a,b)?Uq(αA,t)∩Lq(βA,s).

證明假設(shè)A=(αA,βA)是BE-代數(shù)X的直覺Q-模糊理想，如果a,b∈Uq(αA,t)∩Lq(βA,s),則a,b∈Uq(αA,t),a,b∈Lq(βA,s), 從而αA(a,q)≥t,αA(b,q)≥t,βA(a,q)≤s,βA(b,q)≤s. 若x∈A(a,b),則a*(b*x)=1,從而

αA(x,q)=αA(1*x,q)=αA((a*(b*x))*x,q)≥αA(a,q)∧αA(b,q)≥t，

βA(x,q)=βA(1*x,q)=βA((a*(b*x))*x,q)≤βA(a,q)∨βA(b,q)≤s，

所以，x∈Uq(αA,t),x∈Lq(βA,s),故A(a,b)?Uq(αA,t)∩Lq(βA,s).

另一方面，如果?a,b∈X,a,b∈Uq(αA,t)∩Lq(βA,s)?A(a,b)?Uq(αA,t)∩Lq(βA,s),為了證明A=(αA,βA)是X的直覺Q-模糊理想，只需證明Uq(αA,t)和Lq(βA,s)都是X的理想. 首先，注意到對(duì)任意的a,b∈Uq(αA,t)∩Lq(βA,s)，有1∈A(a,b)?Uq(αA,t)∩Lq(βA,s),因此1∈Uq(αA,t),1∈Lq(βA,s).如果對(duì)任意的?x,y,z∈X，有y∈Uq(αA,t),x*(y*z)∈Uq(αA,t). 注意到

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

x*z∈A(x*(y*z),y)?Uq(αA,t),

如果

y∈Lq(βA,s),x*(y*z)∈Lq(βA,s),

則

x*z∈A(x*(y*z),y)?Lq(βA,s)，

即x*z∈Lq(βA,s).綜上可得Uq(αA,t)和Lq(βA,s)都是X的理想.再由定理4可知A是BE-代數(shù)X的直覺Q-模糊理想.

假設(shè)A=(αA,βA)和B=(αB,βB)是X的直覺Q-模糊集，A和B的交A∩B=(αA∩B,βA∩B)，定義為

αA∩B(x)=αA(x)∧αB(x),βA∩B(x)=βA(x)∨βB(x).

定理8如果A=(αA,βA)和B=(αB,βB)都是BE-代數(shù)X的直覺Q-模糊理想，則A∩B是X的直覺Q-模糊理想.

證明因?yàn)锳=(αA,βA)和B=(αB,βB)是X的直覺Q-模糊理想,所以?x,y,z∈X，q∈Q,有

αA(x*y,q)≥αA(y,q),αA((x*(y*z))*z,q)≥αA(x,q)∧αA(y,q)，

βA(x*y,q)≤βA(y,q),βA((x*(y*z))*z,q)≤βA(x,q)∨βA(y,q)，

αB(x*y,q)≥αB(y,q),αB((x*(y*z))*z,q)≥αB(x,q)∧αB(y,q)，

βB(x*y,q)≤βB(y,q),βB((x*(y*z))*z,q)≤βB(x,q)∨βB(y,q).

于是，有

αA∩B(x*y,q)=αA(x*y,q)∧αB(x*y,q)≥αA(y,q)∧αB(y,q)=αA∩B(y,q)，

βA∩B(x*y,q)=βA(x*y,q)∨βB(x*y,q)≤βA(y,q)∨βB(y,q)=βA∩B(y,q).

又?x,y,z∈X,A和B是X的直覺Q-模糊理想, 所以，有

αA∩B((x*(y*z))*z,q)=αA((x*(y*z))*z,q)∧αB((x*(y*z))*z,q)≥

(αA(x,q)∧αA(y,q))∧(αB(x,q)∧αB(y,q))=

(αA(x,q)∧αB(x,q))∧(αA(y,q)∧αB(y,q))=αA∩B(x,q)∧αA∩B(y,q)，

βA∩B((x*(y*z))*z,q)=βA((x*(y*z))*z,q)∨βB((x*(y*z))*z,q)≤

(βA(x,q)∨βA(y,q))∨(βB(x,q)∨βB(y,q))=

(βA(x,q)∨βB(x,q))∨(βA(y,q)∨βB(y,q))=βA∩B(x,q)∨βA∩B(y,q).

綜上可得A∩B是X上的直覺Q-模糊理想.