韋安麗, 李 瑩, 趙建立, 丁文旭

(聊城大學數(shù)學科學學院/矩陣半張量積理論與應用研究中心, 聊城 252000)

模糊蘊涵代數(shù)[1],簡稱FI代數(shù),揭示了蘊涵算子的本質。眾多著名的模糊邏輯代數(shù)系統(tǒng),如MV代數(shù)[2]、BL代數(shù)[3]、R0代數(shù)[4]、剩余格[5]和格蘊涵代數(shù)[6]等，都是FI代數(shù)的特殊子類代數(shù)。

迄今為止,許多科學工作者從事這方面的研究并取得了豐碩成果[7-14]。例如，王國俊[7]證明了3種不同形式的 MV-代數(shù)刻畫的等價性,同時分析了 MV-代數(shù)、BL-代數(shù)和R0代數(shù)的邏輯背景；ZHU和XU[9]發(fā)展了一般剩余格的濾波理論；裴道武等[10]揭示了FI格與模糊邏輯中幾個重要代數(shù)系統(tǒng)之間的緊密聯(lián)系,且一些重要的模糊邏輯代數(shù)系統(tǒng)都是FI格類的子類；吳達[13]在FI代數(shù)中引進“交換”運算，從而得到了進一步刻畫FI代數(shù)及HFI代數(shù)的若干結果。

矩陣半張量積是一種新的矩陣乘積,是描述有限集上映射的強大工具,已成功應用于布爾網絡[15]、密碼學[16]、圖著色[17]、信息安全[18]和車輛控制[19]等領域?；诖?本文將矩陣半張量積應用于邏輯代數(shù)研究領域,給出了FI代數(shù)的若干等價刻畫：通過矩陣半張量積方法在統(tǒng)一的理論框架內刻畫了有限FI代數(shù);利用矩陣表達式,將有限FI代數(shù)上抽象的邏輯運算規(guī)律轉化為具體邏輯矩陣的簡單運算;徹底解決了有限FI代數(shù)同構的分類問題。

1 預備知識

定義1[20]對于矩陣A=(aij)m×n,B=(bij)p×q,定義A和B的Kronecker積為：

定義2[20]設矩陣Am×n,Bp×q,定義A與B的半張量積為

矩陣半張量積具有下列性質：

引理1[20]設A,B,C是實矩陣,a,b,則

(3)設xm,yn,則xy=x?y。

引理 2[20]設xt,Am×n,則xA=(It?Ax。

定義3[21]換位矩陣W[m,n]mn×mn定義為

換位矩陣的作用是交換2個不同維的列向量因子在矩陣半張量積運算下的順序。

引理3[21]設xm,yn,則W[m,n]xy=yx。

則稱這種表達為有限集的向量表達式,其對應順序可以任意指定。

例如，在經典邏輯中,D={0,1},一個邏輯變量xD可以用向量形式表示:

類似地,經典邏輯變量的向量表達式也可以用于多值邏輯。

例1考慮k值邏輯,定義

基于此,有

利用向量表達式,一個n維變量邏輯函數(shù)f:Dn→D可以表示為從Δn到Δ的一個映射。

引理4[22]設映射f:Dn→D,利用向量表達式,有

其中Mf2×2n是唯一的,叫做f的結構矩陣。

計算顯示Mc=δ2[1222]。類似地,可以得到Md=δ2[1112]和Mn=δ2[21]。

2 有限FI代數(shù)的矩陣表示

定義4[1]一個(2,0)型代數(shù)(X,→,0)稱為模糊蘊涵代數(shù),簡稱為FI代數(shù),如果對任意x,y,zX,有

其中1=0→0。

(I1)′M→(t)(It?M→(t))=M→(t)(It?M→(t))W[t,t];

M→(t)(M→(t)xy)(M→(t)(M→(t)yz)(M→(t)xz))=

即

(M→(t))2(It2?(M→(t))2)xy2z(M→(t)xz)=

進一步可得

(M→(t))2(It2?(M→(t))2)(It4?M→(t))xy2zxz=

則有

(M→(t))2(It2?(M→(t))2)(It4?M→(t))x×

從而

(M→(t))2(It2?(M→(t))2)(It4?M→(t))×

故

(M→(t))2(It2?(M→(t))2)(It4?M→(t))×

(It?W[t,t3])PRt(It?PRt)(It2?PRt)xyz=

由x、y、z的任意性，可得

(M→(t))2(It2?(M→(t))2)(It4?M→(t))×

(It?W[t,t3])PRt(It?PRt)(It2?PRt)=

由此可知條件(I2)′等價于條件(I2)。證畢。

例3設t=2,由于→為一個二元算子,故可設M→(2)=[m1,m2,m3,m4](miΔ,i=1,2,3,4),只有唯一的一組M→(2)滿足定理1的條件(I1)′～(I5)′,即

例4設t=3,類比上述步驟,運用窮舉法只得到4組滿足FI代數(shù)的定義的M→(3)：

可以在FI代數(shù)(X,→,0)上定義一個二元關系≤：

x≤y?x→y=1 (x,yX)。

顯然,由→誘導的關系≤是一個偏序。

引理5[10]設(X,→,0)是一個FI代數(shù),對于任意x,y,zX,下列性質成立：

對于有限FI代數(shù),利用結構矩陣M→(t)與矩陣半張量積,可以將引理5的(i)～(vi)由定性運算轉化為定量運算,給出它們的代數(shù)表達式。

定理2設(X,→,0)是一個有限FI代數(shù),且|X|=t<∞。對于FI代數(shù)上的偏序關系進行矩陣表示，得到

由此二元關系可得到與引理5的(i)～(vi)等價的代數(shù)表達形式：

證明(i)′～(vi)′的證明方法類似,這里只給出(vi)′的詳細證明。首先,可將(vi)等價表達成(y→z)→((x→y)→(x→z))=1,其矩陣表示如下：

M→(t)(M→(t)yz)[M→(t)(M→(t)xy)(M→(t)xz)]=

即

從而

(M→(t))2(It2?(M→(t))2)yzxyM→(t)xz=

進一步可得

(M→(t))2(It2?(M→(t))2)(It4?M→(t))yzxyxz=

則有

(M→(t))2(It2?(M→(t))2)(It4?M→(t))W[t3,t2]xyxyz2=

即

(M→(t))2(It2?(M→(t))2)(It4?M→(t))W[t3,t2]×

從而

(M→(t))2(It2?(M→(t))2)(It4?M→(t))W[t3,t2]×

則

(M→(t))2(It2?(M→(t))2)(It4?M→(t))W[t3,t2]×

(It?W[t,t])PRt(It?PRt)(It2?PRt)xyz=

由x,y,z的任意性,則有

(M→(t))2(It2?(M→(t))2)(It4?M→(t))W[t3,t2]×

(It?W[t,t])PRt(It?PRt)(It2?PRt)=

從而,(vi)′得證。證畢。

3 FI代數(shù)的同態(tài)與同構

定義5[1]設Fi=(Xi,→i,0i)(i=1,2)是2個FI代數(shù),若存在映射f:X1→X2,使得

(i)f(x→1y)=f(x)→2f(y)(x,yX1);

(ii)f(01)=02,

則稱f為FI代數(shù)同態(tài)。

f(x)=Mfx,

其中Mfn×m是f的結構矩陣。

定理3設Fi=(Xi,→i,0i)(i=1,2)是2個有限FI代數(shù),且|X1|=m<∞,|X2|=n<∞,存在映射f:X1→X2,f為FI代數(shù)同態(tài)當且僅當

(i)′MfM→(m)=M→(n)Mf(Im?Mf);

證明利用矩陣表示易得定理3的條件(i)′、(ii)′分別等價于定義5的條件(i)、(ii)。 證明過程如下：?x,yX1,條件(i)的矩陣表示如下：

Mf(M→(m)xy)=M→(n)(Mfx)(Mfy),

MfM→(m)=M→(n)Mf(Im?Mf)。

從而證得條件(ii)′與條件(ii)等價。證畢。

定義6[1]設Fi=(Xi,→i,0i)(i=1,2)是2個FI代數(shù),且映射f:X1→X2為FI代數(shù)同態(tài),如果f是一對一且映上的,那么f稱為FI代數(shù)同構。

定義7[20]給定一個置換τSn,定義它的結構矩陣Mτ如下：

稱Mτ為置換矩陣。

(i)T是一個置換矩陣,即存在一個置換τSn,使得T=Mτ,因此TT=T-1;

證明由定義6知,映射f:X1→X2是一對一且映上的,則存在一個τSn,使得f(i)=τ(i)(i=1,2,…,n)。 當x=iDn表示為向量形式時,有f(i)=(〗τ(i)=)〗Mτ(x)。于是

從而可得

證畢。

例5在例3中,當n=2時,沒有非平凡同構。

4 FI代數(shù)的導子

本節(jié)利用矩陣半張量積與邏輯矩陣運算來考慮有限FI代數(shù)上的導子：首先，引入(l,r)-導子、(r,l)-導子和導子的概念,并給出它們的一些性質；然后，利用矩陣表達式,將d、⊕、→所滿足的運算規(guī)律轉化為具體邏輯矩陣的簡單運算；最后，通過邏輯矩陣運算給出FI代數(shù)關于導子的新性質。

定義8[23]設(X,→,0)是FI代數(shù),對于映射d:X→X：

(i)若d滿足:?x,yX,有

d(x→y)=(d(x)→y)⊕(x→d(y)),

則稱d是X上的(l,r)-導子;

(ii)若d滿足:?x,yX,有

d(x→y)=(x→d(y))⊕(d(x)→y),

則稱d是X上的(r,l)-導子;

(iii)若d既是X上的(l,r)-導子,又是X上的(r,l)-導子,則稱d是X上的導子,并稱(X,d)是導子FI代數(shù);

(iv)若d滿足?xX,有d(x)=1,則稱d是X上的平凡導子。

利用矩陣半張量積以及矩陣表達式研究有限FI代數(shù)上的導子時,定義一種新的二元運算⊕：?x,yX,x⊕y=x′→y,其中x′是x的偽補,滿足?xX,x′=x→0。Md、M⊕(t)分別是d、⊕的結構矩陣,且由⊕所滿足的運算規(guī)律,可以得到

定理5設(X,→,0)是有限FI代數(shù),且|X|=t<∞,對于映射d:X→X：

(i)′d是X上的(l,r)-導子當且僅當

MdM→(t)=M⊕(t)M→(t)Md(It2?M→(t))×

(It?W[t,t])PRt(It2?Md)(It?PRt);

(ii)′d是X上的(r,l)-導子當且僅當

MdM→(t)=M⊕(t)M→(t)(It?Md)(It2?M→(t))×

(It2?Md)(It?W[t,t])PRt(It?PRt);

(iii)′d是X上的導子當且僅當

MdM→(t)=M⊕(t)M→(t)Md(It2?M→(t))×

(It?W[t,t])PRt(It2?Md)(It?PRt),

MdM→(t)=M⊕(t)M→(t)(It?Md)(It2?M→(t))×

(It2?Md)(It?W[t,t])PRt(It?PRt);

(iv)′d是X上的平凡導子當且僅當

證明這里只提供(i)′的詳細證明，其他結論類似。定義8(i)中等式的矩陣表示如下：

Md(M→(t)xy)=M⊕(t)(M→(t)(Mdx)y)(M→(t)x(Mdy)),

即

MdM→(t)xy=M⊕(t)M→(t)Md(It2?M→(t))xyxMdy。

進一步可得

MdM→(t)xy=M⊕(t)M→(t)Md(It2?M→(t))×

(It?W[t,t])x2yMdy,

從而

MdM→(t)xy=M⊕(t)M→(t)Md(It2?M→(t))×

(It?W[t,t])PRtxyMdy,

則有

MdM→(t)xy=M⊕(t)M→(t)Md(It2?M→(t))×

(It?W[t,t])PRt(It2?Md)xy2,

進而有

MdM→(t)xy=M⊕(t)M→(t)Md(It2?M→(t))×

(It?W[t,t])PRt(It2?Md)(It?PRt)xy。

由x,y的任意性,則有

MdM→(t)=M⊕(t)M→(t)Md(It2?M→(t))×

(It?W[t,t])PRt(It2?Md)(It?PRt)。

故定理5(i)′的條件與定理8(i)的條件等價。證畢。

例7設X={0,a,b,c,1},其中0

(1)

M→(5)=

M⊕(5)=

則由定理1可得(X,→,0)是FI代數(shù)，再將結構矩陣M→(5)、M⊕(5)和Md1代入定理5，滿足定理5(iii)′的條件，即d1既是X上的(l,r)-導子，又是X上的(r,l)-導子，因此，d1是X上的導子。

例8設X={0,a,b,c,1},在X上定義→的運算表和映射d2:X→X為：

類似地,可以得到M→(5)、Md2和M⊕(5)：

M→(5)=

M⊕(5)=

同樣地,將M→(5)代入定理1得到(X,→,0)是FI代數(shù),將M→(5)、M⊕(5)和Md2代入定理5,可知d2是X上的(r,l)-導子,但不是X上的(l,r)-導子,從而不是X上的導子。

引理6[23]設(X,→,0)是FI代數(shù)。若d是X上的(l,r)-導子((r,l)-導子或導子),則?x,yX,有

定理6設(X,→,0)是有限FI代數(shù),且|X|=t<∞。若d是X上的(l,r)-導子((r,l)-導子或導子),則下列性質成立:

證明下面僅給出(iii)′的詳細證明。利用偏序關系,可將引理6的(iii)轉化為

(d(x)→d(y))→d(x→y)=1。

(2)

M→(t)(M→(t)(Mdx)(Mdy))(Md(M→(t)xy))=

即

進一步可得

從而

(M→(t))2Md(It?Md)(It2?MdM→(t))×

則有

(M→(t))2Md(It?Md)(It2?MdM→(t))×

由x、y的任意性,有

(M→(t))2Md(It?Md)(It2?MdM→(t))×

于是(iii)′得證。證畢

定理7設(X,→,0)是有限FI代數(shù),且|X|=t<∞。若d1,d2,…,dn均是X上的導子,則d=d1·d2·…·dn是X上的導子當且僅當

MdM→(t)=M⊕(t)M→(t)Md(It2?M→(t))×

(It?W[t,t])PRt(It2?Md)(It?PRt),

MdM→(t)=M⊕(t)M→(t)(It?Md)(It2?M→(t))×

(It2?Md)(It?W[t,t])PRt(It?PRt),

其中，Md=Md1·Md2·…·Mdn,Mdi(i=1,2,…,n)為di的結構矩陣。

證明由定理5可得d是X上的導子,則映射d的結構矩陣Md滿足定理5(iii)′的條件。又因為d是多個映射復合而成的,可得其結構矩陣Md滿足Md=Md1·Md2·…·Mdn,即結論成立。證畢。

5 小結

本文基于矩陣半張量積對有限FI代數(shù)的基本性質進行了研究,將有限FI代數(shù)上的邏輯表達式轉化為邏輯矩陣的簡單運算,并以此為基礎研究了有限FI代數(shù)上的同態(tài)與同構,徹底解決了有限FI代數(shù)同構的分類問題。同時,有限FI代數(shù)上的導子也被用矩陣半張量積方法進行了分析,對于給定有限FI代數(shù)上的若干導子,得到了可直接驗證各導子復合運算之后是否仍為FI代數(shù)上導子的充要條件。