L-集上的模糊泛代數(shù)

魏曉偉, 岳躍利*, 黃春娥

(1. 中國(guó)海洋大學(xué) 數(shù)學(xué)科學(xué)學(xué)院, 山東 青島 266100; 2. 北京聯(lián)合大學(xué) 生物化學(xué)工程學(xué)院, 北京 100023)

泛代數(shù)在數(shù)學(xué)和計(jì)算科學(xué)領(lǐng)域起到了十分重要的作用.模糊方法用于研究泛代數(shù)的結(jié)構(gòu)開始于Rosenfeld的模糊群[1].從此,許多作者開始研究模糊泛代數(shù)理論[2],比如Murali基于經(jīng)典的泛代數(shù)理論通過Zadeh擴(kuò)張?jiān)韥硌芯磕：捍鷶?shù).Bo?njak等[3]等在完備剩余格的環(huán)境下,研究?jī)深惸：系姆捍鷶?shù);Demirci[4]提出模糊函數(shù)和伴有多值等價(jià)關(guān)系的模糊代數(shù)概念的理論;Shi[5]研究模糊關(guān)系和模糊子群的性質(zhì);Qiu等[6]研究了基于等價(jià)關(guān)系的模糊數(shù)的商空間的代數(shù)性質(zhì)和拓?fù)湫再|(zhì).這里想強(qiáng)調(diào)的是,已經(jīng)存在的模糊泛代數(shù)理論是基于經(jīng)典集合的,那么一個(gè)很自然的問題就是,模糊集上的模糊泛代數(shù)理論是什么樣的呢？這正是本文的出發(fā)點(diǎn).

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

設(shè)(L,*)是quantale,如果存在一個(gè)元素e且滿足對(duì)于任意的α∈L均有e*α=α成立,則稱(L,*)是單位的quantale.→:L×L→L是相對(duì)于*的右伴隨且計(jì)算式為:α→β=∨{γ∈L|α*γ≤β},如果對(duì)于任意的α,β∈L,有α∧β=α*(α→β)成立時(shí),稱(L,*)為可除的[7].本文在交換、可除的單位quantale環(huán)境下進(jìn)行討論.

L-集A是從集合A0到L的映射,集合A0稱為A的定義域,值A(chǔ)(x)為x屬于A的程度.

定義1.1[8]設(shè)A:A0→L和B:B0→L是2個(gè)L-集.如果R:A0×B0→L滿足對(duì)于任意的x∈A0,y∈B0,有R(x,y)≤A(x)∧B(y)成立,則稱R:A?B為L(zhǎng)-值關(guān)系.

定義1.2[8]設(shè)A是L-集,R:A?A是L-值關(guān)系:

1) 如果x∈A0,有A(x)≤R(x,x)成立,則稱R是A上自反的;

2) 如果x,y,z∈A0,有

R(x,y)*(A(y)→R(y,z))≤R(x,z)

成立,則稱R是A上傳遞的;

3) 如果x,y∈A0,有R(x,y)=R(y,x)成立,則稱R是A上對(duì)稱的;

4) 如果x,y∈A0,由

R(x,x)=R(x,y)=R(y,x)=R(y,y)?x=y,

則稱R是A上分離的.

同時(shí),如果R滿足自反和傳遞,稱R是A上L-值預(yù)序,序?qū)?A,R)稱為L(zhǎng)-值預(yù)序集;如果R滿足自反、對(duì)稱和傳遞,稱R是A上L-值等價(jià),序?qū)?A,R)稱為L(zhǎng)-值集;如果R滿足自反、分離和傳遞,稱R是A上L-值偏序,序?qū)?A,R)稱為L(zhǎng)-值偏序集.

在文獻(xiàn)[9]中,對(duì)于L-集A,它的冪集P(A):P(A)0→L還是L-集,其中

P(A)0={(f,δ)|f≤A∧δ},

且

P(A)(f,δ)=δ.

SA:P(A)?P(A)定義為

SA((f,δ),(g,ε))=

可以驗(yàn)證SA是P(A)上的L-值偏序.

類似于文獻(xiàn)[10],設(shè)R:A?B是L-值關(guān)系,σ(R):B?B定義為

σ(R)(y1,y2)=SA((R(-,y1),B(y1)),

(R(-,y2),B(y2))),

則σ(R)是B上的L-值預(yù)序,且R是B上的L-值預(yù)序當(dāng)且僅當(dāng)σ(R)=R.

對(duì)于2個(gè)L-集A和B,映射α:A→B,如果對(duì)于任意的x∈A0,有A(x)=B(α(x))成立,則稱α是程度保持映射.下面定義L-集上的閉包算子.

定義1.3[9]設(shè)P(A)是A上的L-值冪集.映射cl:P(A)0→P(A)0滿足以下的條件:

(C1)SA((f,δ),(g,ε))≤SA(cl(f,δ),cl(g,ε));

(C2) (f,δ)≤cl(f,δ);

(C3) cl(cl(f,δ))=cl(f,δ),

則稱cl:P(A)0→P(A)0是P(A)上的L-值閉包算子.

設(shè)R:A?A是L-值關(guān)系,Rl:P(A)→P(A)和Ru:P(A)→P(A)定義為

Rl(f,δ)=(Rl(f),δ),

且Rl(f):A0→L定義為

類似Ru(f,δ)=(Ru(f),δ),且Ru(f):A0→L定義為

定理1.4設(shè)R:A?A是A上的L-值關(guān)系,則R是L-值預(yù)序當(dāng)且僅當(dāng)Ru:P(A)→P(A)是P(A)上的L-值閉包算子,當(dāng)且僅當(dāng)Rl:P(A)→P(A)是P(A)上的L-值閉包算子.

證明證明過程與分明集上的L-關(guān)系[8]證明類似,故省略.

類似于文獻(xiàn)[11],將L-值關(guān)系R:A?A提升到相對(duì)應(yīng)的冪集R→:P(A)?P(A),R←:P(A)?P(A),R+:P(A)?P(A),有

R→((f,δ),(g,ε))=SA((f,δ),(Rl(g),ε)),

R←((f,δ),(g,ε))=SA((g,ε),(Ru(f),δ)),

和

R+((f,δ),(g,ε))=

R→((f,δ),(g,ε))∧R←((f,δ),(g,ε)).

定理1.5設(shè)A是L-值集,則以下的結(jié)論是等價(jià)的:

1)R:A?A是A上L-值預(yù)序?R←是P(A)上L-值預(yù)序;

2)R:A?A是A上L-值預(yù)序?R→是P(A)上L-值預(yù)序.

證明證明過程與分明集上的L-關(guān)系[8]證明類似,故省略.

2 L-集上的模糊泛代數(shù)

首先看模糊集A的n-次冪的定義形式.考慮切片范疇Set↓L的對(duì)象的乘積.任取A,B∈Set↓L,那么有[A,B]Set↓L={φ:A0|→B0},這里φ是程度保持映射.所以A×B:(A×B)0→L定義為

(A×B)(x,y)=A(x)=B(y),

其中

(A×B)0={(x,y)∈A0×B0|A(x)=B(y)}.

An(x1,x2,…,xn)=

A(x1)=A(x2)=…=A(xn),

其中

A(x2)=…=A(xn)}.

A上的n-元運(yùn)算就是從An到A的程度保持映射.

本文中,總假設(shè)對(duì)于任意的x∈A0,有A(x)≠0成立.

定義2.1設(shè)A:A0→L是L-集,并且F是A上n-元運(yùn)算的集合,則序?qū)=〈A,F〉稱為A上的模糊泛代數(shù).

φ(f(x1,x2,…,xn))=f(φ(x1),φ(x2),…,φ(xn))

時(shí),則稱φ是從A到B的同態(tài)映射.若同態(tài)映射φ是單射,則稱φ為嵌入映射.若同態(tài)映射φ是雙射,則稱φ為同構(gòu)映射.

R(x1,y1)*(A(x2)→R(x2,y2))*…*

(A(xn)→R(xn,yn))≤

R(φ(x1,x2,…,xn),φ(y1,y2,…,yn))

成立,則稱R是A上的相容關(guān)系.特別地,A上相容的L-值等價(jià)關(guān)系稱為A上的同余關(guān)系.

設(shè)〈A,F〉是模糊泛代數(shù),R是A上的同余關(guān)系.可以定義模糊商代數(shù)〈A/R,F/R〉.定義A/R:(A/R)0→L為(A/R)(x/R)=A(x),其中

(A/R)0={x/R|x∈A0},

且

x/R={y∈A0|R(x,x)=

R(y,x)=R(x,y)=R(y,y)}.

定義f/R:(A/R)n→A/R為

(f/R)(x1/R,x2/R,…,xn/R)=f(x1,x2,…,xn)/R.

設(shè)A=〈A,FA〉和B=〈B,FB〉是相同型的模糊泛代數(shù),α:A→B是同態(tài)映射,定義α的核ker(α):A?A為

?x,y∈A0,ker(α)(x,y)=

易知ker(α)是A上的同余關(guān)系且有如下的同構(gòu)定理.

定理2.4(第一同構(gòu)定理) 設(shè)A和B是同型的泛代數(shù),α:A→B是滿同態(tài)映射,則

A/ker(α)?B.

設(shè)A是模糊泛代數(shù),θ和φ是A上的2個(gè)同余關(guān)系且θ≤φ.定義A/θ:(A/θ)0→L為(A/θ)(x/θ)=A(x),其中

(A/θ)0={x/θ|x∈A0}.

同時(shí)定義φ/θ:(A/θ)?(A/θ)為

(φ/θ)(x/θ,y/θ)=φ(x,y),

則可以驗(yàn)證φ/θ的定義是合理的并且是A/θ上的同余關(guān)系.

定理2.5(第二同構(gòu)定理) 設(shè)A是泛代數(shù),θ和φ是A上的2個(gè)同余且θ≤φ,則

(A/θ)/(φ/θ)?A/φ.

設(shè)B是A的模糊子代數(shù),θ是A上的同余關(guān)系.定義Bθ:(Bθ)0→L為

其中

Bθ=A|(Bθ)0,

且

(Bθ)0={x∈A0|B0∩x/θ≠?}.

實(shí)際上,可以證明〈Bθ,F〉是B的模糊子代數(shù),θBθ是Bθ上的同余關(guān)系.

定理2.6(第三同構(gòu)定理) 設(shè)B是A的模糊子代數(shù),θ是A上的同余關(guān)系,則

B/θB?Bθ/θBθ.

關(guān)于以上3個(gè)同構(gòu)定理的證明,可類似參考經(jīng)典集上的泛代數(shù)[12]中分別對(duì)應(yīng)的同構(gòu)定理的證明方法.

3 L-值冪代數(shù)

設(shè)A=〈A,F〉是模糊泛代數(shù).對(duì)于θ:An→A,θ+:P(A)n→P(A)定義為

其中

為

其中

則稱P(A)=〈P(A),{θ+|θ∈F}〉為〈A,F〉的L-值冪代數(shù).

相應(yīng)的修改傳遞性如下:一個(gè)L-值關(guān)系R如果滿足對(duì)于任意的x,y,z∈A0且A(x)=A(y)=A(z)有

R(x,y)*(A(y)→R(y,z))≤R(x,z),

稱R為弱傳遞.類似的定義：

和

其中

Ay={x∈A0|A(x)=A(y)}.

在這種情況下,定理1.4和定理1.5均成立.

定理3.1設(shè)〈A,F〉是模糊泛代數(shù),R是A上的弱L-值預(yù)序,則以下陳述是等價(jià)的:

1)R是A上的相容關(guān)系;

2)R→是P(A)上的相容關(guān)系;

3)R←是P(A)上的相容關(guān)系.

證明僅證明1)?2),1)?3)可類似證明.

1)?2) 假定θ∈F,(fi,δ),(gi,δ)∈P(A)0,因?yàn)?/p>

(A(y1)→R(θ(x1,x2,…,xn),θ(y1,y2,…,yn))),

并且有

所以

成立.考慮到

R→(θ+((f1,δ),(f2,δ),…,(fn,δ)),

θ+((g1,δ),(g2,δ),…,(gn,δ)))=

然后有

R→((f1,δ),(g1,δ))*

(δ→R→((f2,δ),(g2,δ)))*…*

(δ→R→((fn,δ),(gn,δ)))≤

故R→具有相容關(guān)系.

R(x1,y1)*(A(x2)→R(x2,y2))*…*

(A(xn)→R(xn,yn))=

R→((Ax1,A(x1)),(Ay1,A(y1)))*…*(A(xn)→

R→((Axn,A(xn)),(Ayn,A(yn))))≤

R→(θ+(((Ax1),A(x1)),…,(Axn,A(xn))),

θ+(((Ay1),A(y1)),…,((Ayn),A(yn))))≤

A(xi)=SA((Axi,A(xi)),(Ayi,A(yi)))≤

R(θ(x1,x2,…,xn),θ(y1,y2,…,yn)).

所以,R具有相容性.

定理3.2設(shè)A是模糊泛代數(shù)且R是A上的同余關(guān)系,存在從P(A/R)到P(A)/R+的滿同態(tài)映射.

證明首先,需要說明(P(A)/R+)0中元素的形式.對(duì)于(f,δ)∈P(A)0,如果(g,η)∈[(f,δ)],則有

[(f,δ)]={(g,δ)∈P(A)0|f≤

接著,定義θ:P(A/R)→P(A)/R+為

可以驗(yàn)證θ是一個(gè)滿的程度保持映射.

最后,需證θ是同態(tài)映射.設(shè)φ是A上n-元運(yùn)算,任意(gi,η)∈P(A/R)0,有

θ((φ/R)+((g1,η),(g2,η),…,(gn,η)))=

φ+/R+(θ((g1,η)),θ((g2,η)),…,θ((gn,η)))=

因此,去驗(yàn)證

即

成立.剩下的部分很容易去驗(yàn)證,則θ是滿同態(tài)映射.

推論3.3P(A/R)/ker(θ)?P(A)/R+,其中θ是定理3.2中的滿同態(tài)映射.

如果ε(R)是A上的同余,則稱R是A上好的關(guān)系,其中ε(R)=σ(R)∧σ(R)op;如果R→是P(A)上好的關(guān)系,稱R是A上Hoare好的關(guān)系;如果R→是P(A)上好的關(guān)系,稱R是A上Smyth好的關(guān)系.

定理3.4設(shè)A是模糊泛代數(shù)且R是A上的弱L-值預(yù)序,當(dāng)*=∧時(shí),則下面的陳述是等價(jià)的:

1)R是A上的相容關(guān)系;

2)R是A上Smyth好的關(guān)系;

3)R是A上Hoare好的關(guān)系.

證明只證明1)?2).

1)?2) 因?yàn)镽是弱L-值預(yù)序關(guān)系,所以ε(R←)=R←∧(R←)op,并且R←和(R←)op還是弱L-值預(yù)序.ε(R←)具有對(duì)稱性.由于R是A上的相容性關(guān)系,由定理3.1知,R←具有相容性.下面說明ε(R←)具有相容性.對(duì)于(fi,δ),(gi,δ)∈P(A)0(1≤i≤n)有

ε(R←)((f1,δ),(g1,δ))∧

(δ→ε(R→)((f2,δ),(g2,δ)))∧…∧

(δ→ε(R←)((fn,δ),(gn,δ))))=

(R→∧(R←)op)((f1,δ),(g1,δ))∧

(δ→((R←)op∧R←)((f2,δ),(g2,δ)))∧…∧

(δ→((R←)op∧R←((fn,δ),(gn,δ))))≤

[R←((f1,δ),(g1,δ))∧

(δ→R←((f2,δ),(g2,δ)))∧…∧

(δ→R←((fn,δ),(gn,δ))))]∧

[(R←)op((f1,δ),(g1,δ))∧

(δ→(R←)op((f2,δ),(g2,δ)))∧…∧

(δ→(R←)op((fn,δ),(gn,δ))))]≤

所以,R是Smyth好的關(guān)系.

2)?1) 假定xi,yi∈A0且A(xi)=A(yj)(1≤j,i≤n).定義A(x,y)1A(x,y)A:A0→L為

那么,(A(x,y)1A(x,y)A,A(y))∈P(A)0.因?yàn)?/p>

R←((Ax,A(x)),(A(x,y)1A(x,y)A,A(y)))=

R(x,y),

以及

R←((A(x,y)1A(x,y)A,A(y)),(Ax,A(x)))=

A(x)∧A(y),

那么有

R(x,y)=R(x,y)∧(A(x)∧A(y))=

ε(R←)((Ax,A(x)),(A(x,y)1A(x,y)A,A(y)))

成立.下面說明R具有相容性,

R(x1,y1)∧(A(x2)→R(x2,y2))∧…∧

(A(xn)→R(xn,yn))=

ε(R←)((Ax1,A(x1)),

(A(x1,y1)1A(x1,y1)A,A(y1)))∧

(A(x2)→ε(R→)((Ax2,A(x2)),

(A(x2,y2)1A(x2,y2)A,A(y2)))∧…∧

(A(xn)→ε(R←)((Axn,A(xn)),

(A(xn,yn)1A(xn,yn)A,A(yn)))≤

R(f(x1,x2,…,xn),f(y1,y2,…,yn))))=

A(xi)∧(A(yi)∧(A(yi)→R(f(x1,x2,…,xn),

f(y1,y2,…,yn))))=

R(f(x1,x2,…,xn),f(y1,y2,…,yn))).

說明R具有相容性.