趙建彬, 朱 華, 陳樹偉

(1.鄭州大學(xué) 數(shù)學(xué)系 河南 鄭州 450001; 2.鄭州大學(xué) 電氣工程學(xué)院 河南 鄭州 450001)

0 引言

為了建立一個(gè)可以進(jìn)行知識(shí)表達(dá)和推理的邏輯系統(tǒng)，1993年,徐揚(yáng)[1]將格與蘊(yùn)涵代數(shù)相結(jié)合,提出了格蘊(yùn)涵代數(shù)的概念，并討論了其性質(zhì).此后，許多學(xué)者對(duì)格蘊(yùn)涵代數(shù)進(jìn)行了大量的研究工作[2-12].例如，Jun等[13]提出了格蘊(yùn)涵代數(shù)中的LI-理想的概念，并研究了其性質(zhì).Liu等[4]提出了格蘊(yùn)涵代數(shù)中的ILI-理想與最大LI-理想的概念，研究了它們的性質(zhì)，并得到了ILI-理想的擴(kuò)張?jiān)?2006年，朱華等[9]提出了格蘊(yùn)涵代數(shù)中的素理想與準(zhǔn)素理想的概念，并研究了它們的性質(zhì)及它們之間的關(guān)系．2008年，Pan等[14]討論了格蘊(yùn)涵N-序半群與格蘊(yùn)涵P-序半群中sl理想的性質(zhì)．作者基于以上工作，在格蘊(yùn)涵代數(shù)中提出了零化子的概念，證明了零化子是理想和sl理想,并討論了零化子的特殊性質(zhì)及零化子與理想、sl理想和零化子的格蘊(yùn)涵同態(tài)像之間的關(guān)系.

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

定義1[1]設(shè)(L,∧,∨,′)是一個(gè)有泛界O，I的有余格,≤是L上的偏序關(guān)系,若映射→:L×L→L滿足: 對(duì)任意x,y,z∈L,

(I1)x→(y→z)=y→(x→z)；

(I2)x→x=I；

(I3)x→y=y′→x′；

(I4)若x→y=y→x=I，則x=y；

(I5)(x→y)→y=(y→x)→x；

(l1)(x∨y)→z=(x→z)∧(y→z)；

(l2)(x∧y)→z=(x→z)∨(y→z)；

則稱(L,∧,∨,′,→,O,I)是一個(gè)格蘊(yùn)涵代數(shù)(簡(jiǎn)記為L(zhǎng)).若它還滿足：x∨y∨((x∧y)→z)=I,則稱(L,∧,∨,′,→)是一個(gè)格H蘊(yùn)涵代數(shù).

定義2[15]設(shè)L是格蘊(yùn)涵代數(shù)，A是L的非空子集，若A滿足：①O∈A；②若(x→y)′∈A,y∈A，則x∈A，稱A為L(zhǎng)的理想.

引理1[15]設(shè)A為L(zhǎng)的理想，如果?x,y∈L,x≤y,y∈A，則x∈A．

定理1[15]設(shè)Αi是L的一組理想(i=1,…,n)，則∩Ai也是L的理想.

設(shè)A?L，則包含A的最小理想稱為由A生成的理想,記作A?.特別地,若A={a},記A?=a?.

定理2[15]設(shè)L1和L2是格蘊(yùn)涵代數(shù),f:L1→L2是L1到L2的映射,若?x,y∈L1,f(x→y)=f(x)→f(y),則稱f為從L1到L2的蘊(yùn)涵同態(tài).若蘊(yùn)涵同態(tài)f還滿足：f(x∨y)=f(x)∨f(y),f(x∧y)=f(x)∧f(y),f(x′)=(f(x))′,則稱f為從L1到L2的格蘊(yùn)涵同態(tài).

若格蘊(yùn)涵同態(tài)映射f是一一映射，則稱f為格蘊(yùn)涵同構(gòu)映射.

定義3[14]設(shè)A是L的非空子集,如果①AL,LA?A; ②?a∈A,b∈L,如果b≤a，則b∈A; ③?a,b∈A,a∨b∈A,則稱A是L的sl理想.

格蘊(yùn)涵代數(shù)L中，?x,y,z∈L,有以下結(jié)論[15]：①x→y≤(y→z)→(x→z),x→y≤(z→x)→(z→y);②若x≤y，則y→z≤x→z,z→x≤z→y;③x∨y=(x→y)→y.

2 格蘊(yùn)涵代數(shù)中的零化子

定義4設(shè)L是格蘊(yùn)涵代數(shù),B是L的非空子集,如果B*={x∈L|?b∈B,x∧b=O},則稱B*為B的零化子.

例1[15]設(shè)L={0,a,b,c,d,1}是圖1所示的偏序集.定義L上的余運(yùn)算為:0′=1,a′=c,b′=d,c′=a,d′=b,1′=0.L的蘊(yùn)涵運(yùn)算“→”的定義見表1,則(L,∧,∨,′,→)構(gòu)成一個(gè)格蘊(yùn)涵代數(shù).

令B={0,c},則B*={0,a,d}.

例1說明格蘊(yùn)涵代數(shù)中的零化子的確存在.

注顯然{O}的零化子是L.

圖1 L的偏序集Fig.1 Hasse diagram of L

→0abcd10111111ac1bcb1bda1ba1caa11a1db11b1110abcd1

下面給出零化子的重要性質(zhì).

定理3設(shè)L是格蘊(yùn)涵代數(shù),B為L(zhǎng)的非空子集,若B*為B的零化子,則?x∈L,b∈B,x→b=x′?x∈B*.

證明“?” 因?yàn)?x∈L,b∈B,x→b=x′,則(x→b)→x′=I,所以(b′→x′)→x′=b′∨x′=I.則x∧b=O,故x∈B*.

“?” ?x∈B*,b∈B,則x∧b=O，所以(b∧x)′=b′∨x′=(b′→x′)→x′=I，故b′→x′≤x′，b′→x′≥x′顯然成立.所以b′→x′=x′,即x→b=x′.

定理4設(shè)L是格蘊(yùn)涵代數(shù),a∈L,則?x∈(a)*,a≤x′.

證明因?yàn)閤∈(a)*,由定理3知,x→a=x′.又因?yàn)閤′∨a→(x→a)=(x′→(x→a))∧(a→(x→a))=(a′→(x′→x′))∧(x→(a→a))=I,所以x′∨a≤x→a,則x′≤x′∨a≤x→a=x′,故x′∨a=x′，則a≤x′成立.

下面證明零化子是理想和sl理想.

定理5設(shè)L是格蘊(yùn)涵代數(shù),B為L(zhǎng)的非空子集,若B*為B的零化子,則B*為L(zhǎng)的理想.

證明顯然O∈B*.?x,y∈L,若(x→y)′∈B*,y∈B*,由定理3知，?b∈B,y→b=y′,(x→y)′→b=x→y.則x′=I→x′=((y→b)→y′)→x′=((b′→y′)→y′)→x′=(b′∨y′)→x′=(b′→x′)∧(y′→x′)=(b′→x′)∧(x→y) =(b′→x′)∧((x→y)′→b)=(b′→x′)∧(b′→(x→y))=(b′→x′)∧(b′→(y′→x′))=b′→x′=x→b.

由定理3知,x∈B*,所以B*為L(zhǎng)的理想.

定理6設(shè)L是格蘊(yùn)涵代數(shù),B為L(zhǎng)的非空子集,若B*為B的零化子,則B*為L(zhǎng)的sl理想.

證明由定理5與文獻(xiàn)[14]中的定理4.2,顯然可得.

接下來給出零化子的特殊性質(zhì).

定理7設(shè)L是格蘊(yùn)涵代數(shù),B,C是L的非空子集,則下列性質(zhì)成立:①若B?C,則C*?B*;②B?B**;③B*=B***;④(B∪C)*=B*∩C*.

其中,B*是B的零化子，B**表示B*的零化子.

證明①?x∈C*,則?c∈C,x∧c=O.因?yàn)锽?C,所以?b∈B,x∧b=O，則x∈B*，故C*?B*成立.

②?b∈B,x∈B*,x∧b=O,則b∈B**,故B?B**.

③由②知,B*?B***,B?B**.由①知,B***?B*，所以B*=B***.

④因?yàn)锽?B∪C,C?B∪C,由①知,(B∪C)*?B*,(B∪C)*?C*，則(B∪C)*?B*∩C*.另一方面,又因?yàn)?x∈B*∩C*,所以x∈B*且x∈C*，則?b∈B∪C，b∈B或b∈C,都有x∧b=O,因此x∈(B∪C)*.即B*∩C*?(B∪C)*，故(B∪C)*=B*∩C*.

推論2設(shè)L是格蘊(yùn)涵代數(shù),A,B是L的非空子集,則A*∩B*?(A∩B)*.

證明由定理7中④知,A*∩B*=(A∪B)*.因?yàn)锳∩B?A∪B,則由定理7中①知,(A∪B)*?(A∩B)*，故A*∩B*?(A∩B)*.

定理8設(shè)L是格蘊(yùn)涵代數(shù),B是L的非空子集，B?是B的生成理想，若B?=B?**,則B?=B**.

證明因?yàn)锽?B?,由定理7中①知，B?*?B*,B**?B?**,又因?yàn)锽?=B?**,所以B**?B?.

另一方面,由定理7中②知，B?B**,由定理5知,B**是L的理想,所以B??B**.綜上,B?=B**.

定理9設(shè)A,B是L的非空子集,則A*∪B*??(A∩B)*.

證明因?yàn)锳∩B?A,A∩B?B,由定理7中①知，A*?(A∩B)*,B*?(A∩B)*,故A*∪B*?(A∩B)*.由定理5知，(A∩B)*是L的理想,故A*∪B*??(A∩B)*.

定理10設(shè)L是格蘊(yùn)涵代數(shù),若B為L(zhǎng)的理想,則B∩B*={O}.

證明顯然O∈B∩B*.?x∈B∩B*,則x∈B且x∈B*.所以x=x∧x=O.

下面給出零化子與理想之間的關(guān)系.

定理11設(shè)B是L的非空子集，C為L(zhǎng)的理想,則B∩C={O}?B?C*.

證明“?” 若B∩C={O},則?x∈B，c∈C,x∧c=O.否則x∧c≠O∈B∩C與前提矛盾.所以x∈C*，即B?C*.

“?” 因?yàn)锽?C*,則B∩C?C*∩C,由定理10知,C*∩C={O}.故B∩C={O}.

定理12設(shè)B,C是L的非空子集,若C=C**,則B?C?B∩C*={O}.

證明“?” 由定理7知,C*是L的理想.又因?yàn)锽?C,再由定理11知,B∩C*={O}.

“?” 因?yàn)锽∩C*={O},由定理11知,B?C**=C.

最后給出了零化子與其格蘊(yùn)涵同態(tài)像之間的關(guān)系.

定理13設(shè)(L,∧,∨,→,′,O,I),(L1,∧1,∨1,→1,1,O1,I1)是格蘊(yùn)涵代數(shù),B為L(zhǎng)的非空子集,f:L→L1是格蘊(yùn)涵同態(tài),若B*是B的零化子,則f(B*)?f(B)*.

證明?y∈f(B*),則?x∈B*?L,使f(x)=y.又因?yàn)锽*是B的零化子,所以?b∈B,x∧b=O，則f(x∧b)=f(x)∧1f(b)=O1，即?z∈f(B),?t∈B,使得f(t)=z.由y∧1z=f(x)∧1f(t)=f(x∧t)=O1知，y∈f(B)*.故結(jié)論成立.

定理14設(shè)L,L1是格蘊(yùn)涵代數(shù),B為L(zhǎng)的非空子集,f:L→L1是格蘊(yùn)涵同構(gòu),若B*為B的零化子,則f(B*)=f(B)*.

證明由定理13知，f(B*)?f(B)*.下面只需證明f(B)*?f(B*).

?y∈f(B)*，?y1∈f(B),使y∧1y1=O1，并且?x∈L,x1∈B，使y=f(x),y1=f(x1)，因此y∧1y1=f(x)∧1f(x1)=f(x∧x1)=O1.

因?yàn)閒:L→L1是格蘊(yùn)涵同構(gòu)，故x∧x1=O，所以x∈B*，因此y=f(x)∈f(B*)，即f(B)*?f(B*).

參考文獻(xiàn)：

[1] 徐揚(yáng). 格蘊(yùn)涵代數(shù)[J]. 西南交通大學(xué)學(xué)報(bào),1993，28 (1): 20-27.

[2] Liu Jun， Xu Yang. Filters and structure of lattice implication algebra[J]. Chinese Science Bulletin, 1997, 42(18): 1517-1520.

[3] Ma Jun, Li Wenjiang, Ruan Da, et al. Filter-based resolution principle for lattice-valued propositional logicLP(X)[J]. Information Sciences, 2007, 177(4): 1046-1062.

[4] Liu Yonglin, Liu Sanyang, Xu Yang, et al.ILI-ideals and primeLI-ideals in lattice implication algebras[J]. Information Sciences, 2003,155(1/2): 157-175.

[5] Jun Y B, Xu Yang, Ma Jun. Redefined fuzzy implicative filters[J]. Information Sciences, 2007, 177(6): 1422-1429.

[6] 王學(xué)芳.基于格蘊(yùn)涵代數(shù)的格值邏輯及其模型論的研究[D]. 成都:西南交通大學(xué), 2004.

[7] Xu Yang, Qin Keyun, Liu Jun, et al.L-valued propositional logicLvpl[J]. Information Sciences, 1999, 114(1/2/3/4): 205-235.

[8] Xu Yang, Liu Jun, Song Zhenming, et al. On semantics ofL-valued first-order logicLvfl[J]. International Journal of General Systems, 2000, 29(1): 53-79.

[9] 朱華, 趙建彬, 徐揚(yáng). 剩余格蘊(yùn)涵代數(shù)中準(zhǔn)素理想的研究[J]. 鄭州大學(xué)學(xué)報(bào):理學(xué)版, 2006, 38(2): 25-28.

[10] 朱華, 趙建彬, 徐揚(yáng). 剩余格蘊(yùn)涵代數(shù)中n-重素理想的研究[J]. 鄭州大學(xué)學(xué)報(bào): 理學(xué)版, 2008, 40(1): 19-22.

[11] 朱華, 陳樹偉. 格蘊(yùn)涵代數(shù)中多重模糊正關(guān)聯(lián)濾子的研究[J]. 鄭州大學(xué)學(xué)報(bào):理學(xué)版,2009, 41(2): 19-23.

[12] Zhu Hua, Du Weifeng, Zhao Jianbin. The annihilator and its structure in lattice implication algebras[C]//Proceedings of the 2nd International Symposium on Networking and Network Security. Jinggangshan, 2010: 206-209.

[13] Jun Y B, Roh E H, Xu Yang.LI-ideals in lattice implication algebras[J].Bull Korean Math Soc, 1998,35 (1):13-23.

[14] Pan Xiaodong, Xu Yang. Lattice implication ordered semigroups[J]. Information Sciences, 2008, 178(2): 403-413.

[15] Xu Yang, Ruan Da, Qin Keyun, et al. Lattice-valued Logic[M]. Berlin: Springer-Verlag, 2003:28-98.