傅小波，廖祖華

1.無錫職業(yè)技術(shù)學(xué)院，江蘇 無錫 214121

2.江南大學(xué) 理學(xué)院，江蘇 無錫 214122

格蘊涵代數(shù)的Ω-模糊子代數(shù)*

傅小波1，廖祖華2+

1.無錫職業(yè)技術(shù)學(xué)院，江蘇 無錫 214121

2.江南大學(xué) 理學(xué)院，江蘇 無錫 214122

+Corresponding author:E-mail:liaozuhua57@aliyun.com

FU Xiaobo,LIAO Zuhua.Ω-fuzzy subalgebra in lattice implication algebra.Journal of Frontiers of Computer Scienceand Technology,2017,11(7)：1183-1190.

給定一個集合Ω，將Ω-模糊集與格蘊涵代數(shù)相結(jié)合，引入了格蘊涵代數(shù)Ω-模糊子代數(shù)的概念，并研究了其相關(guān)性質(zhì)；給出了格蘊涵代數(shù)Ω-模糊子代數(shù)的若干等價刻畫，討論了格蘊涵代數(shù)Ω-模糊子代數(shù)與格蘊涵代數(shù)子代數(shù)之間的相互關(guān)系；研究了格蘊涵代數(shù)Ω-模糊子代數(shù)在Ω-模糊集下交、并等運算下的基本性質(zhì)；討論了格蘊涵代數(shù)Ω-模糊子代數(shù)的同態(tài)像與同態(tài)原像的基本性質(zhì)；最后研究了格蘊涵代數(shù)Ω-模糊子代數(shù)的直積與投影。

格蘊涵代數(shù)；模糊Ω-子代數(shù)；同態(tài)；直積

1 引言

1965年，美國著名的控制論專家Zadeh提出了模糊集的概念[1]，目前，模糊集的思想已經(jīng)被廣泛應(yīng)用于數(shù)學(xué)的各個領(lǐng)域。1971年，Rosenfeld將模糊集的思想與群相結(jié)合，在文獻[2]中提出了模糊子群的概念，開創(chuàng)了模糊代數(shù)的研究新領(lǐng)域。1975年，Zadeh對模糊集做了進一步的推廣，在文獻[3]中提出了區(qū)間值模糊集。1980年，劉應(yīng)明在文獻[4-5]中提出了模糊點和模糊集間的“∈（屬于）”和“q（重于）”關(guān)系。1992—1996年Bhakat和Das利用模糊點和模糊集間的“∈（屬于）”和“ q（重于）”關(guān)系，給出了(∈,∈∨q)-模糊子群的定義，并研究相關(guān)的性質(zhì)[6-8]。2006年，廖祖華等人把模糊點和模糊集間的“q（重于）”關(guān)系推廣為“q(λ,μ)（廣義重于）”關(guān)系，獲得許多有意義的結(jié)果[9-11]。2001年，Young等人在文獻[12]中提出了Ω-模糊集，并將其與BCK/BCI代數(shù)相結(jié)合，給出BCK/BCI代數(shù)的Ω-模糊理想的概念。2008年，彭家寅對Ω-模糊集做了進一步的研究，先后給出了BCI代數(shù)的Ω-模糊 p-理想和Ω-模糊H-理想的概念，BCH-代數(shù)的Ω-模糊正定關(guān)聯(lián)理想的概念，以及BCH-代數(shù)的Ω-模糊點理想的概念等[13-16]。2013年，廖祖華等人將Ω-模糊集與群和環(huán)相結(jié)合，并對相關(guān)的性質(zhì)進行了研究，獲得了許多有意義的結(jié)果[17-20]。同年，劉衛(wèi)鋒將Ω-模糊集應(yīng)用于布爾代數(shù)，給出了Ω-模糊子代數(shù)的概念[21]。2015年，湯華晶等人將Ω-模糊集與軟集理論相結(jié)合，提出了Ω-模糊軟環(huán)的概念[22]。

1993年，徐揚在Fuzzy蘊涵代數(shù)[23]基礎(chǔ)上引入格蘊涵代數(shù)的概念[24]。2003年，徐揚等人將格蘊涵代數(shù)相關(guān)的研究成果在德國施普林格出版社出版了專著[25]。隨后，眾多學(xué)者對格蘊涵代數(shù)做了進一步的研究，獲得了許多有意義的結(jié)果[26-29]。本文將Ω-模糊集的思想和方法應(yīng)用于格蘊涵代數(shù)，提出了格蘊涵代數(shù)的Ω-模糊子代數(shù)的概念，得到了一些有意義的結(jié)果。

2 預(yù)備知識

定義1[25]設(shè) (L,∨,∧,',→,O,I)是有界格，O 是最小元，I是最大元，':L→L是格中偏序≤的逆序?qū)蠈?yīng)，→:L×L→L是一個映射。稱(L,∨,∧,',→,O,I)是一個格蘊涵代數(shù)，如果?x,y,z∈L，滿足下列條件：

（1）x→(y→z)=y→(x→z)

（2）x→x=I

（3）x→y=y'→x'

（4）若 x→y=y→x=I，則 x=y

（5）(x→y)→y=(y→x)→x

（6）(x∨y)→z=(x→z)∧(y→z)

（7）(x∧y)→z=(x→z)∨(y→z)簡稱為L是格蘊涵代數(shù)。

引理1[25]設(shè)L是格蘊涵代數(shù)，?x,y∈L，則：

（1）O→x=I,x→I=I,I→x=x,x→O=x'

（2）x≤y當(dāng)且僅當(dāng)x→y=I

（3）x∨y=(x→y)→y

定義2[25]設(shè)A?L，稱A是L的一個格蘊涵子代數(shù)，如果滿足下列條件：

（1）(A,∨,∧,')是 (L,∨,∧)的帶有逆序?qū)?'有界子格；

（2）若 x,y∈A，則有 x→y∈A。

引理2[25]L是格蘊涵代數(shù)，A是L的一個非空子集，則A是L的一個格蘊涵子代數(shù)，如果?x,y∈L，滿足下列條件：

（1）O∈A

（2）若 x,y∈A，則x→y∈A

定義3[25]L是格蘊涵代數(shù)，稱L非空子集A是L的一個模糊格蘊涵子代數(shù)，如果?x,y∈L，滿足下列條件：

（1）A(I)=A(O)

（2）A(x→y)≥A(x)∧A(y)

引理3[24]設(shè)A是L的一個模糊格蘊涵子代數(shù)，則?x∈L，A(I)=A(O)≥A(x)。

定義4[25]設(shè)L、M是格蘊涵代數(shù)，稱蘊涵同態(tài)f:L→M為格蘊涵同態(tài)，如果?x,y∈L，滿足下列條件：

（1）f(x→y)=f(x)→f(y)

（2）f(x∨y)=f(x)∨f(y)

（3）f(x∧y)=f(x)∧f(y)

（4）f(x')=(f(x))'

設(shè)映射 f:L→M為格蘊涵同態(tài)，若 f是單射，則稱 f是單同態(tài)；若 f是滿射，則稱 f是滿同態(tài)；若 f是雙射，則稱 f是同構(gòu)。

引理4[25]設(shè)L、M是格蘊涵代數(shù)，映射 f:L→M為滿格蘊涵同態(tài)，則 f(O)=O。

定義5[25]設(shè) L1、L2是格蘊涵代數(shù)，規(guī)定(L1×L2,∨,∧,',→,O,I)的運算如下：?x,y∈L1×L2,x=(x1,x2),y=(y1,y2)，其中 xi,yi∈Li(i=1,2)。

（1）x∧y=(x1∧x2,y1∧y2)

（2）x∨y=(x1∨x2,y1∨y2)

（3）x'=(x1',x2')

（4）x→y=(x1→x2,y1→y2)

（5）O=(O,O),I=(I,I)

引理5[25]L1×L2在定義5運算規(guī)定下構(gòu)成一個格蘊涵代數(shù)。稱L1×L2為格蘊涵代數(shù)L1、L2的乘積格蘊涵代數(shù)，簡稱為直積。

定義6[29]設(shè) A、B分別是格蘊涵代數(shù)L1、L2的模糊子集，?(x,y)∈L1×L2，定義映射

則A×B是L1×L2的模糊子集，并稱A×B為A、B的直積。

定義7[17]設(shè)X為論域，Ω為非空給定集合，映射A:X×Ω→[0,1]稱為X的Ω-模糊集。

3 格蘊涵代數(shù)的Ω-模糊子代數(shù)

下面給出格蘊涵代數(shù)L的Ω-模糊子代數(shù)的概念，并研究它們的等價刻畫及其相關(guān)的性質(zhì)。

定義8設(shè)A:L×Ω→[0,1]是格蘊涵代數(shù)L的Ω-模糊集，稱A是格蘊涵代數(shù)L的Ω-模糊子代數(shù)，如果?δ∈Ω ，?x,y∈L，滿足下列條件：

（1）A(O,δ)≥ A(x,δ)

（2）A(x→ y,δ)≥A(x,δ)∧A(y,δ)

定理1設(shè)A:L×Ω→[0,1]是格蘊涵代數(shù)L的Ω-模糊集，A是格蘊涵代數(shù)L的Ω-模糊子代數(shù)，則?δ∈Ω ，?x,y∈L，有下列性質(zhì)成立：

（1）A(I,δ)=A(O,δ)≥ A(x,δ)

（2）A(x,δ)=A(x',δ)

（3）A(x∨ y,δ)≥A(x,δ)∧A(y,δ)

（4）A(x∧ y,δ)≥A(x,δ)∧A(y,δ)

證明（1）?δ∈Ω,?x∈L，一方面，因為 A是格蘊涵代數(shù) L 的 Ω-模糊子代數(shù)，故 A(O,δ)≥A(x,δ)，取x=I，則 A(O,δ)≥ A(I,δ)；另一方面，A(I,δ)=A(O → O,δ)≥A(O,δ)∧ A(O,δ)=A(O,δ)，綜上所述，A(I,δ)=A(O,δ)≥A(x,δ)。

（2）?δ∈Ω ，?x∈L，因為 A是格蘊涵代數(shù) L的Ω-模糊子代數(shù)，由引理1可知，一方面，A(x,δ)=A(I→ x,δ)=A(x'→ I',δ)=A(x'→ O,δ)≥ A(x',δ)∧ A(O,δ)=A(x',δ)；另一方面，A(x',δ)=A(x→O,δ)≥A(x,δ)∧A(O,δ)=A(x,δ)，綜上所述，A(x,δ)=A(x',δ)。

（3）?δ∈Ω ，?x,y∈L，因為 A是格蘊涵代數(shù)L的Ω-模糊子代數(shù)，所以由引理1可知，A(x∨y,δ)=A((x→ y)→y,δ)≥A(x→ y,δ)∧A(y,δ)≥(A(x,δ)∧A(y,δ))∧A(y,δ)=A(x,δ)∧ A(y,δ)。

（4）?δ∈Ω ，?x,y∈L，A是格蘊涵代數(shù)L的 Ω-模糊子代數(shù)，因此由引理1及定理1的（2）和（3）可知，A(x∧ y,δ)=A((x∧ y)',δ)=A(x'∨ y',δ)≥ A(x',δ)∧ A(y',δ)=A(x,δ)∧A(y,δ)。 □

例1設(shè)L={O ,a,b,I} ，L上的運算 ∨、∧、→ 和′的定義如表1～表4，則L={O ,a,b,I}是一個格蘊涵代數(shù)[25]。

（1）L的模糊集A1:L→[0,1]，若令：

則A1是L的滿足定義2的模糊格蘊涵子代數(shù)；給定一個模糊集 Ω ，?δ∈Ω，?x∈L，A:L×Ω→[0,1]，若令A(yù)(x,δ)=A1(x)，則 A同樣是L的滿足定義8的Ω-模糊子代數(shù)。

（2）L的模糊集A2:L→[0,1]，若令：

Table1 Operator“ ∨ ”表1 運算“∨”

Table2 Operator“ ∧ ”表2 運算“∧”

Table 3 Operator“ → ”表3 運算“→”

Table 4 Operator“ '”表4 運算“'”

則A2不是L的滿足定義3的模糊格蘊涵子代數(shù)；給定一個模糊集 Ω={0.6,0.4}，?δ∈Ω，?x∈L,A:L×Ω→[0,1]，若令：

則A是L的滿足定義8的Ω-模糊子代數(shù)。

由例1可知，Ω-模糊子代數(shù)是一種全新的代數(shù)結(jié)構(gòu)，不同于現(xiàn)有的模糊子代數(shù)。模糊子代數(shù)是Ω-模糊子代數(shù)的一種特殊形式(A(x,δ)=A(x))。下面來研究Ω-模糊子代數(shù)相關(guān)的性質(zhì)。

定理2設(shè)A:L×Ω→[0,1]是格蘊涵代數(shù)L的Ω-模糊集，A是格蘊涵代數(shù)L的Ω-模糊子代數(shù)??λ∈是格蘊涵代數(shù)L的子代數(shù)，其中

證明“ ? ”?δ∈Ω ，因為，所以存在，即 A(x0,δ)≥λ。因為 A是格蘊涵代數(shù) L的Ω-模糊子代數(shù)，所以 A(O,δ)≥A(x,δ)≥λ，即；若且，則 A(x,δ)≥λ 且 A(y,δ)≥λ ，從而A(x→y,δ)≥A(x,δ)∧A(y,δ)≥λ，A(x→y,δ)＞λ，即 x→。因此，是L的子代數(shù)。

“ ? ”?δ∈Ω ，假設(shè)存在 x0∈L ，使得 A(O,δ)＜A(x0,δ)，取 λ 滿足 A(O,δ)＜ λ≤A(x0,δ)，則 A(x0,δ)≥ λ,A(O,δ)＜ λ ，所以。因為是L的子代數(shù)，所以，即 A(O,δ)≥λ，與 A(O,δ)＜λ矛盾。因此?δ∈Ω ，?x∈L ，A(O,δ)≥ A(x,δ)。

?δ∈Ω，假設(shè)存在 x0,y0∈L ，使得 A(x0→y0,δ)＜A(x0,δ)∧A(y0,δ)，取 λ 滿足 A(x0→y0,δ)＜ λ ≤A(x0,δ)∧A(y0,δ)，則 A(x0,δ)≥ λ,A(y0,δ)≥ λ ，A(x0→y0,δ)＜ λ ，從而。因為是 L 的子代數(shù),，所以，與 x0→矛盾。因此 ?δ∈Ω 及 ?x,y∈L,A(x→y,δ)≥A(x,δ)∧ A(y,δ)。

綜上所述,A是格蘊涵代數(shù) L的Ω-模糊子代數(shù)。 □

類似于定理2的證明，可得定理3。

定理3設(shè)A:L×Ω→[0,1]是格蘊涵代數(shù)L的Ω-模糊集，A是格蘊涵代數(shù)L的Ω-模糊子代數(shù)?是 L的子代數(shù)，其中A(x,δ)＞ }λ,?δ∈Ω 。

定理4是格蘊涵代數(shù)L的Ω-模糊子代數(shù)?是格蘊涵代數(shù)L的子代數(shù)。

證明“ ? ”由于，故存在 x0∈S，即，由于是格蘊涵代數(shù)L的Ω-模糊子代數(shù)，故 ?x∈L,?δ∈Ω ，，取 x=x0，則

綜上所述，S≠?是格蘊涵代數(shù)L的子代數(shù)。

“ ? ”?δ∈Ω ，由于 S≠? 是 L的子代數(shù)，故0∈P，從 而，因 此 ?x∈L,。假設(shè)存在 x0,y0∈S ，使得取因為是 S的 Ω-模糊特征函數(shù)，所以

推論1是格蘊涵代數(shù)L的Ω-模糊子代數(shù)是格蘊涵代數(shù)L的子代數(shù)。

定理5設(shè) A:L×Ω→[0,1]是L的Ω-模糊集，A是L的Ω-模糊子代數(shù)?Aδ是L的模糊子代數(shù)，其中 Aδ:L→[0,1]:Aδ(x)=A(x,δ)，?x∈L ，?δ∈Ω 。

證明“?”若A是L的Ω-模糊子代數(shù)，則?δ∈Ω，?x,y∈L，一方面，Aδ(0)=A(0,δ)≥A(x,δ)=Aδ(x)；另一方面，Aδ(x→ y)=A(x→ y,δ)≥ A(x,δ)∧ A(y,δ)=Aδ(x)∧ Aδ(y)。

綜上所述，Aδ是L的模糊子代數(shù)。

“ ? ”若 Aδ是 L 的模糊子代數(shù)，則 ?δ∈Ω,?x,y∈L，由定義 8 可知，一方面，A(0,δ)=Aδ(0)≥ Aδ(x)=A(x,δ)；另一方面，A(x→y,δ)=Aδ(x→ y)≥Aδ(x)∧ Aδ(y)=A(x,δ)∧A(y,δ)。

綜上所述，A是L的Ω-模糊子代數(shù)。 □

定理6設(shè) A:L×Ω→[0,1]是L的Ω-模糊集，A是L的Ω-模糊子代數(shù)，則 Aσ是L的Ω-模糊子代數(shù)，其中

證明?δ∈Ω ，?x,y∈L ，一方面，由 Aσ(x,δ)的定義可知，另一方面，因為A是L的Ω-模糊子代數(shù)，所以

綜上所述，Aσ是L的Ω-模糊子代數(shù)。 □

定理7若A、B是格蘊涵代數(shù)L的Ω-模糊子代數(shù)，則A?B是格蘊涵代數(shù)L的Ω-模糊子代數(shù)。

證明若A、B是格蘊涵代數(shù)L的Ω-模糊子代數(shù)，則?δ∈Ω ，?x,y∈L，一方面，

另一方面，

綜上所述,A?B是格蘊涵代數(shù)L的Ω-模糊子代數(shù)。 □

推論2若Ai(i∈I)是格蘊涵代數(shù)L的Ω-模糊子代數(shù)，則?i∈IAi是格蘊涵代數(shù)L的Ω-模糊子代數(shù)。

引理6若Ai(i∈I)是格蘊涵代數(shù)L的Ω-模糊集，當(dāng) i≤j時,Ai?Aj,則 ?x,y∈L,?δ∈Ω,∨i∈I(Ai(x,δ)∧Ai(y,δ))=(∨i∈IAi(x,δ))∧(∨i∈IAi(y,δ))。

證明?x,y∈L ，?δ∈Ω ，顯然 ∨i∈I(Ai(x,δ)∧Ai(y,δ))≤(∨i∈IAi(x,δ))∧(∨i∈IAi(y,δ))成立。若 ∨i∈I(Ai(x,δ)∧Ai(y,δ))≠(∨i∈IAi(x,δ))∧(∨i∈IAi(y,δ))，從而有 ∨i∈I(Ai(x,δ)∧ Ai(y,δ))＜(∨i∈IAi(x,δ))∧(∨i∈IAi(y,δ))，選 取 r 滿 足∨i∈I(Ai(x,δ)∧ Ai(y,δ))＜ r＜(∨i∈IAi(x,δ))∧(∨i∈IAi(y,δ))。因為對于所有的 i,j∈I,Ai?Aj，或者 Ai?Aj，所以存在k∈I，使得 Ak(x,δ)∧Ak(y,δ)＞r；另一方面，對于所有的i∈I,Ai(x,δ)∧Ai(y,δ)＜r，矛盾。因此，?x,y∈L，?δ∈Ω，∨i∈I(Ai(x,δ)∧ Ai(y,δ))=(∨i∈IAi(x,δ))∧ (∨i∈IAi(y,δ))。 □

定理8設(shè) Ai:L×Ω→[0,1](i∈I)是 L的 Ω-模糊集，若 Ai(i∈I)是L的Ω-模糊子代數(shù)，且當(dāng)i≤j時，Ai?Aj，則 ?i∈IAi是 L 的 Ω-模糊子代數(shù)。

證明若 Ai(i∈I)是L的Ω-模糊子代數(shù)，則?x,y,z∈L，?δ∈Ω ，由定義8可知，一方面，

(?i∈IAi)(0,δ)= ∨i∈IAi(0,δ)≥ ∨i∈IAi(x,δ)=(?i∈IAi)(x,δ)另一方面，

綜上所述，?i∈IAi是L的Ω-模糊子代數(shù)。 □

設(shè)A是X的一個Ω-模糊子集，0≤k≤1,?x∈X,?δ∈Ω ，定義 A∨k，A∧k如下：

定理9若A是格蘊涵代數(shù)L的Ω-模糊子代數(shù)，則A∧k是格蘊涵代數(shù)L的Ω-模糊子代數(shù)。

證明若A是格蘊涵代數(shù)L的Ω-模糊子代數(shù)，則?δ∈Ω ，?x,y∈L，一方面，

(A∧k)(O,δ)=A(O,δ)∧k≥A(x,δ)∧k=(A ∧ k)(x,δ)另一方面，

綜上所述,A∧k是格蘊涵代數(shù)L的Ω-模糊子代數(shù)。 □

定理10若A是格蘊涵代數(shù)L的Ω-模糊子代數(shù)，則A∨k是格蘊涵代數(shù)L的Ω-模糊子代數(shù)。

證明若A是格蘊涵代數(shù)L的Ω-模糊子代數(shù)，則?δ∈Ω ，?x,y∈L，一方面，

另一方面，

綜上所述,A∨k是格蘊涵代數(shù)L的Ω-模糊子代數(shù)。 □

定理11設(shè)L1、L2是格蘊涵代數(shù)，映射 f:L1→L2為格蘊涵滿同態(tài)映射，若A是格蘊涵代數(shù)L1的Ω-模糊子代數(shù)，則 f(A)是格蘊涵代數(shù)L2的Ω-模糊子代數(shù)，其中 f(A)(y,δ)=sup{ |A(x,δ)f(x)=y,δ∈ Ω}。

證明?y1,y2∈L2，因為映射 f:L1→L2為格蘊涵滿同態(tài)映射，所以 ?x1,x2∈L1，使得 f(x1)=y1，f(x2)=y2，且 f(O)=O，從而?δ∈Ω，一方面，

綜上所述,f(A)是格蘊涵代數(shù)L2的Ω-模糊子代數(shù)。 □

定理12設(shè)L1、L2是格蘊涵代數(shù)，映射 f:L1→L2為格蘊涵滿同態(tài)映射，若B是格蘊涵代數(shù)L2的Ω-模糊子代數(shù)? f-1(B)是格蘊涵代數(shù)L1的Ω-模糊子代數(shù)，其中 f-1(B)(y,δ)=B(f(y),δ),δ∈Ω 。

證明“?”若B是格蘊涵代數(shù)L2的Ω-模糊子代數(shù)，則 ?y1,y2∈L1，?δ∈Ω，一方面，f-1(B)(O,δ)=B(f(O),δ)≥ B(f(y1),δ)=f-1(B)(y1,δ)；另 一 方 面 ， f-1(B)(y1→ y2,δ)=B(f(y1→ y2),δ)=B(f(y1)→ f(y2),δ)≥ B(f(y1),δ)∧B(f(y2),δ)=f-1(B)(y1,δ)∧ f-1(B)(y2,δ)。

綜上所述，f-1(B)是格蘊涵代數(shù)L1的Ω-模糊子代數(shù)。

“?”若 f-1(B)是格蘊涵代數(shù)L1的Ω-模糊子代數(shù)，?y1,y2∈L2，因為 f:L1→L2為格蘊涵滿同態(tài)映射，所以 ?x1,x2∈L1，使得 f(x1)=y1，f(x2)=y2，且 f(O)=O，從而 ?δ∈Ω，一方面，B(O,δ)=B(f(O),δ)=f-1(B)(O,δ)≥f-1(B)(x1,δ)=B(f(x1),δ)=B(y1,δ)；另一方面，B(y1→ y2,δ)=B(f(x1)→f(x2),δ)=B(f(x1→ x2),δ)=f-1(B)(x1→ x2,δ)≥f-1(B)(x1,δ)∧f-1(B)(x2,δ)。

綜上所述,B是格蘊涵代數(shù)L2的Ω-模糊子代數(shù)。 □

設(shè)A、B分別是非空集合L1、L2的Ω-模糊子集，定義映射?(x,y)∈L1×L2，?δ∈Ω ，

則稱 A×B為L1×L2的Ω-模糊子集，并稱A×B為A、B關(guān)于Ω的直積。

定理13若 A、B分別是格蘊涵代數(shù)L1、L2的Ω-模糊子代數(shù)，則A×B是L1×L2的Ω-模糊子代數(shù)。

證明若A、B分別是格蘊涵代數(shù)L1、L2的Ω-模糊子代數(shù)，則一方面，?(x,y)∈L1×L2，?δ∈Ω ，

另一方面，?(x1,y1),(x2,y2)∈L1×L2，?δ∈Ω ，

綜上所述，A×B是L1×L2的Ω-模糊子代數(shù)。□

定義9設(shè)A×B是非空集合L1×L2的Ω-模糊子集，則定義L1的Ω-模糊子集：

A1(x,δ)= ∨z∈L2(A × B)((x,z),δ)

定義L2的Ω-模糊子集：

定理14若A×B是L1×L2的Ω-模糊子代數(shù)，則A1(x,δ)是 L1的 Ω-模糊子代數(shù)，B1(y,δ)是 L2的 Ω-模糊子代數(shù)。

證明若A×B是L1×L2的Ω-模糊子代數(shù)，則一方面，?(x,y)∈L1×L2，?δ∈Ω ，

由z的任意性可知：

另一方面，

由z1的任意性知：

再由z2的任意性知：

綜上所述，A1(x,δ)是L1的Ω-模糊子代數(shù)。

同理可證B1(y,δ)是L2的Ω-模糊子代數(shù)。 □

4 結(jié)束語

本文將Ω-模糊集的思想與方法應(yīng)用于格蘊涵代數(shù)，引入了Ω-模糊子代數(shù)的概念，并討論了它的性質(zhì)及其與格蘊涵代數(shù)子代數(shù)間的相互關(guān)系，獲得了若干有意義的結(jié)果。這些結(jié)論有助于進一步認(rèn)識格蘊涵代數(shù)，促進了格蘊涵代數(shù)的發(fā)展；此外，還可以用類似的方法研究格蘊涵代數(shù)的其他子結(jié)構(gòu)，將在后續(xù)工作中進行討論。

[1]Zadeh LA.Fuzzy sets[J].Information and Control,1965,8(3):338-353．

[2]Rosenfeld A.Fuzzy groups[J].JournalofMathematicalAnalysisand Applications,1971,35(3):512-517.

[3]Zadeh L A.The concept of a linguistic variable and its application to approximate reasoning[J].Information Science,1975,8(3):199-249.

[4]Pu Paom ing,Liu Yingming.Fuzzy topology(I)neighborhood structure of a fuzzy pointand Moore-Sm ith convergence[J].Journal of Mathematical Analysis and Applications,1980,76(2):571-599．

[5]Pu Paoming,Liu Yingming.Fuzzy topology(II)product and quotient spaces[J].Journal of Mathematical Analysis and Applications,1980,77(1):20-37．

[6]Bhakat SK,Das P.On the definition of a fuzzy subgroup[J].Fuzzy Sets Systems,1992,51(2):235-241．

[7]Bhakat SK,Das P.Fuzzy subgroups[J].Fuzzy Sets Systems,1996,80(3):359-368.

[8]Bhakat SK,Das P.Fuzzy subrings and ideals redefined[J].Fuzzy Sets Systems,1996,81(3):383-393.

[9]Liao Zuhua,Gu Hui.(∈ ,∈ ∨q(λ,μ))-fuzzy normal subgroup fuzzy normal subgroup[J].Fuzzy Systems and Mathematics,2006,20(5):38-43.

[10]Zhang Jianzhong,Fu Xiaobo,Liao Zuhua.(∈,∈ ∨q(λ,μ))-fuzzy ideal of N(2,2,0)algebra[J].Journal of Frontiers of Computer Science and Technology,2013,7(11):1048-1056.

[11]Fan Xiaowei,Liao Zuhua,Fan Yingying,etal.(∈,∈ ∨q(λ,μ))-fuzzy Г-completely prime ideals ofГ-semigroups[J].Fuzzy Systemsand Mathematics,2014,28(2):52-61．

[12]Young B J,Kyung H K.OnΩ-fuzzy ideals of BCK/BCI-algebras[J].The Journal of Fuzzy Mathematics,2001,9(1):173-180.

[13]Peng Jiayin.Ω-fuzzy p-ideals of BCI-algebras[J].Journal of Neijiang NormalUniversity,2008,23(12):8-15.

[14]Peng Jiayin.Ω-fuzzy H-ideals of BCI-algebras[J].Journal of Neijiang NormalUniversity,2009,24(2):5-10.

[15]Peng Jiayin.Ω-fuzzy dot ideals of BCH-algebras[J].Fuzzy Systemsand Mathematics,2009,23(6):5-11.

[16]Peng Jiayin.Ω-fuzzy positive implicative ideals in BCK-algebras[J].Mathematics in Practice and Theory,2010,40(2):157-163.

[17]Zhu Xiaoying,Liao Zuhua,Luo Xiaotang,et al.Ω-fuzzy subsemigroup of sem igroups[J].Journal of Jiangnan University:Natural Science Edition,2013,12(3):343-346.

[18]Luo Xiaotang,Liao Zuhua,Zhu Xiaoying,et al.GeneralizedΩ-fuzzy bi-ideals of sem igroups[J].Journal of Jiangnan University:NaturalScience Edition,2013,12(4):480-484.

[19]Luo Xiaotang,Liao Zuhua,Zhu Xiaoying,etal.Ω-fuzzy interior ideals of sem igroups[J].Journalof Jiangnan University:NaturalScience Edition,2014,12(4):400-494.

[20]Zhu Chan,Liao Zuhua,Luo Xiaotang,et al.Ω-fuzzy complemented subsemiring[J].Fuzzy Systems and Mathematics,2014,28(5):11-18.

[21]Liu Weifeng.Ω-fuzzy subalgebra of boolean algebra[J].Journal of Hubei University:Natural Science,2013,35(2):144-148.

[22]Tang Huajing,Zhang Hui.Ω-fuzzy soft rings[J].Computer Engineering and Applications,2015,51(9):122-124.

[23]Wu Wangming.Fuzzy implication algebras[J].Fuzzy Systems and Mathematics,1990,4(1):56-64.

[24]Xu Yang.Lattice implication algebras[J].Journal of Southwest Jiaotong University,1993,28(1):20-27.

[25]Xu Yang,Ruan Da,Qin Keyun.Lattice-valued logic[M].Berlin:Springer,2003.

[26]Liu Yi,Xu Yang,Qin Ya.Interval-valued(α,β)-fuzzy lattice implication subalgebras[J].Computer Science,2011,38(4):263-266.

[27]Qin Xuecheng,Liu Chunhui.Interval-valued fuzzy subalgebras of lattice implication algebras[J].Pure and Applied Mathematics,2011,27(6):801-807.

[28]Liu Chunhui.On IV-(∈,∈∨q)-fuzzy lattice implication subalgebras[J].Computer Engineering and Applications,2012,48(26):39-43.

[29]Fu Xiaobo,Liao Zuhua,Zheng Gaoping.(∈,∈ ∨q(λ,μ))-fuzzy subalgebra of lattice implication algebras[J].Fuzzy Systems and Mathematics,2014,28(6):44-52.

附中文參考文獻：

[10]張建忠,傅小波,廖祖華.N(2,2,0)代數(shù)的 (∈,∈∨q(λ,μ))-理想[J].計算機科學(xué)與探索,2013,7(11):1048-1056.

[11]范曉威,廖祖華,范瑩瑩,等. Γ-半群的 (∈,∈ ∨q(λ,μ))-模糊Γ-完全素理想[J].模糊系統(tǒng)與數(shù)學(xué),2014,28(2):52-61.

[15]彭家寅.BCH-代數(shù)的Ω-模糊點理想[J].模糊系統(tǒng)與數(shù)學(xué),2009,23(6):5-11.

[16]彭家寅.BCH-代數(shù)的Ω-模糊正定關(guān)聯(lián)理想[J].數(shù)學(xué)的實踐與認(rèn)識,2010,40(2):157-163.

[17]朱曉英,廖祖華,羅曉棠,等.半群的Ω-模糊子半群[J].江南大學(xué)學(xué)報:自然科學(xué)版,2013,12(3):343-346.

[18]羅曉棠,廖祖華,朱曉英,等.半群的廣義Ω-模糊雙理想[J].江南大學(xué)學(xué)報:自然科學(xué)版,2013,12(4):480-484.

[19]羅曉棠,廖祖華,朱曉英,等.半群的Ω-模糊內(nèi)理想[J].江南大學(xué)學(xué)報:自然科學(xué)版,2014,12(4):400-494.

[20]朱嬋,廖祖華,羅曉棠,等.Ω-模糊可補子半環(huán)[J].模糊系統(tǒng)與數(shù)學(xué),2014,28(5):11-18.

[21]湯華晶,張慧.Ω-模糊軟環(huán)[J].計算機工程與應(yīng)用,2015,51(9):122-124.

[22]劉衛(wèi)鋒.布爾代數(shù)的Ω-模糊子代數(shù)[J].湖北大學(xué)學(xué)報:自然科學(xué)版,2013,35(2):144-148.

[23]吳望名.Fuzzy蘊涵代數(shù)[J].模糊系統(tǒng)與數(shù)學(xué),1990,4(1):56-64．

[24]徐揚.格蘊涵代數(shù)[J].西南交通大學(xué)學(xué)報,1993,28(1):20-27.

[26]劉熠,徐揚,秦亞.區(qū)間值(α,β)-模糊格蘊涵子代數(shù)[J].計算機科學(xué),2011,38(4):263-266.

[27]秦學(xué)成,劉春輝.格蘊涵代數(shù)的區(qū)間值模糊子代數(shù)[J].純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué),2011,27(6):801-807.

[28]劉春輝.關(guān)于IV-(∈,∈∨q)模糊格蘊涵子代數(shù)[J].計算機工程與應(yīng)用,2012,48(26):39-43.

[29]傅小波,廖祖華,鄭高平,等.格蘊涵代數(shù) (∈,∈∨q(λ,μ))-模糊子代數(shù)[J].模糊系統(tǒng)與數(shù)學(xué),2014,28(6):44-52.

FU Xiaobo was born in 1980.He is a lecturer atWuxi Institute of Technology,and themember of CCF.His research interests include artificial intelligence and granular computing,etc.

傅小波（1980—），男，江蘇灌云人，無錫職業(yè)技術(shù)學(xué)院講師，CCF會員，主要研究領(lǐng)域為人工智能，粒計算等。

LIAO Zuhuawasborn in 1957.He isa professor and M.S.supervisor at Jiangnan University.His research interests include artificial intelligence and granular computing,etc.

廖祖華（1957—），男，江西奉新人，江南大學(xué)教授、碩士生導(dǎo)師，主要研究領(lǐng)域為人工智能，粒計算等。發(fā)表學(xué)術(shù)論文100多篇。

Ω-Fuzzy Subalgebra in Lattice Im plication Algebra*

FU Xiaobo1,LIAO Zuhua2+
1.Wuxi Instituteof Technology,Wuxi,Jiangsu 214121,China
2.Schoolof Science,Jiangnan University,Wuxi,Jiangsu 214122,China

LetΩbe a set.By combining theΩ-fuzzy setsand the lattice implication algebras,this paper introduces the concepts ofΩ-fuzzy subalgebra in the lattice implication algebra,and investigates some related properties.Beside,this paper obtains some equivalent descriptions of theΩ-fuzzy subalgebra in the lattice implication algebra,and gives the relationsbetweenΩ-fuzzy subalgebra and the subalgebra in the lattice implication algebra.Then this paper studies some basic properties of theΩ-fuzzy subalgebra under the intersection,union and other operationsof Ω-fuzzy sets,and discusses some basic propertiesof homomorphic image and homomorphic preimage ofΩ-fuzzy subalgebra.Finally,thispaperstudies theΩ-fuzzy subalgebra directproduct in the lattice implication algebra.

lattice implication algebra;Ω-fuzzy subalgebra;homomorphic;directproduct

2016-04,Accepted 2016-06.

A

：TP18

*The National Natural Science Foundation of China under Grant Nos.611702121,11401259(國家自然科學(xué)基金);the Natural Science Foundation of Jiangsu ProvinceunderGrantNo.BK2015117(江蘇省自然科學(xué)基金).

CNKI網(wǎng)絡(luò)優(yōu)先出版:2016-06-27,http://www.cnki.net/kcms/detail/11.5602.TP.20160627.0929.004.htm l