G ira rd Q uan ta le范疇中的乘積

李 靜,泥立麗,張文倩

(1.泰山學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)學(xué)院,山東泰安 271021;

2.肥城市汶陽(yáng)中心小學(xué);3.肥城市汶陽(yáng)中心中學(xué),山東肥城 271606)

G ira rd Q uan ta le范疇中的乘積

李 靜1,泥立麗1,張文倩2,3

(1.泰山學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)學(xué)院,山東泰安 271021;

2.肥城市汶陽(yáng)中心小學(xué);3.肥城市汶陽(yáng)中心中學(xué),山東肥城 271606)

本文討論了Girard Quan tale范疇的乘積,并且給出了該乘積的結(jié)構(gòu),同時(shí)證明了此范疇中有等化子.

Girard Quantale范疇;等化子;乘積

0 引言

1986年,C.J.M u lvey在研究非交換的C＊-代數(shù)的譜時(shí)首先提出了Q uan tale的概念,從此,Quan tale理論受到了數(shù)學(xué)家和邏輯學(xué)家的廣泛關(guān)注,而對(duì)于Quantale理論較為系統(tǒng)地介紹始于1990年文獻(xiàn)[1]的出版.在這20多年的發(fā)展中,有關(guān)Quan tale理論的新觀點(diǎn)、新應(yīng)用相繼被揭示,如文獻(xiàn)[2-4].而本文結(jié)合范疇論[5]的研究方法,借助于文獻(xiàn)[6-7]的一些思想方法,證明了GirardQuan tale范疇中有等化子,并且構(gòu)造出了Girard Quantale范疇的乘積結(jié)構(gòu).

下面是一些預(yù)備知識(shí),本文未加定義的概念、記號(hào)見(jiàn)文獻(xiàn)[1,5].

定義1[1]設(shè)Q為完備格,&為Q中滿足結(jié)合律的二元運(yùn)算.若

則稱Q為Quan tale.

用0和1分別表示Q的最小元和最大元.

定義2[1]設(shè)Q為Quantale,s∈Q,若?a∈Q,有a→ls=a→rs則稱s為Q的循環(huán)元.

設(shè)Q為Quan tale,d∈Q,若?a∈Q,有(a→ld)→rd=a=(a→rd)→ld,則稱d為Q的對(duì)偶元.

若d既為Q的循環(huán)元又為Q的對(duì)偶元,則稱d為Q的循環(huán)對(duì)偶元.

定義3[1]設(shè)Q為Quantale,若Q含有循環(huán)對(duì)偶元d,則稱Q為Girard Quan tale.

定義4 所有僅含一個(gè)循環(huán)對(duì)偶元的Girard Quantale(以下僅稱為Girard Quantale)和保循環(huán)對(duì)偶元的Quantale同態(tài)(以下簡(jiǎn)稱為Girard Quanta le同態(tài))構(gòu)成的范疇稱為Girard Quantale范疇,記作GQuant,用Ob(GQuan t)表示GQuant-對(duì)象類,用M or(GQuant)表示GQuant-態(tài)射類.

定義5[5]設(shè)C是一個(gè)范疇,f,g:A→B是C-態(tài)射.二元組(E,e)稱為f,g在C中的一個(gè)等化子,若E∈O b(GQuant)且

(1)e:E→A是C-態(tài)射;

(2)f°e=g°e;

(3)?E’∈O b(C),?e’:E’→A∈M or(C)使得f°e’=g°e’,則存在唯一的C-態(tài)射?-e:E’→E使得e’=e°-e,

即下圖可換:

1 Girard Quantale范疇中的乘積結(jié)構(gòu)

命題1 設(shè)Q1,Q2為Girard Quan tale,f1,f2是從Q1到Q2的Girard Quan tale同態(tài),則f1和f2有等化子.

注1 命題1中的e是Girard Quan tale范疇中的正則單態(tài)射,(Q,e)為Q1的子對(duì)象.

命題2 Girard Quan tale范疇有有限乘積.

設(shè)π1,π2分別是P×Q到P,Q上的投射,易知π1,π2是Girard Quantale同態(tài).下面說(shuō)明(P×Q,π1

×π2)是P,Q在范疇GQuant中的乘積.

?S∈Ob(GQuan t),f:S→P,g:S→Q是Girard Quantale同態(tài).取h:S→P×Q為:?s∈S,h(s)=(f(s), g(s)).顯然f=π1°h,g=π2°h.如下圖所示:

下面驗(yàn)證h是Girard Quan tale同態(tài).

(3)設(shè)d∈S為S中的循環(huán)對(duì)偶元,由于f,g都為Girard Quantale同態(tài),所以f(d)=d1∈P,g(d)= d2∈Q,分別為P,Q中的循環(huán)對(duì)偶元,所以h(d)=(f(d),g(d))=(d1,d2)就為P×Q中的循環(huán)對(duì)偶元.

故h是保循環(huán)對(duì)偶元的Quantale同態(tài).

下證這樣的態(tài)射h是唯一的.假設(shè)還存在h’使得f=π1°h’,g=π2°h’,那么?s∈S,h(s)=(f(s),g(s)) =(π1°h’(s),π2°h’(s))=h’(s),所以h=h’.

故P×Q是P與Q的乘積.

下面我們把Girard Quantale P和Q的笛卡兒積P×Q推廣到任意Girard Quantale族Qii∈I上,如下定義笛卡兒乘積Πi∈IQi上的運(yùn)算:其中的序關(guān)系采用點(diǎn)式序.笛卡兒乘積的“&”運(yùn)算是按分量做“&”運(yùn)算,Πi∈IQi中的循環(huán)對(duì)偶元是這樣的一個(gè)元素:它的每個(gè)分量為循環(huán)對(duì)偶元.由此得到下面的命題.

定理1 Girard Quan tale范疇有乘積.

由于φi為Girard Quan tale同態(tài),所以易知φ也為Girard Quan tale同態(tài).

所以Πi∈IQi是Girard Quan tale范疇的乘積.

[1]Rosenthal I.Quantales and their app lications[M].New York:Longman Scientific&Technical,1990.

[2]王偉華,吳洪博.非交換BR0-代數(shù)與其上的Quan tale[J].計(jì)算機(jī)工程與應(yīng)用,2008,44(25):43-45.

[3]張小紅,魏萍.DR0-代數(shù):由DeM organ[N].代數(shù)導(dǎo)出的正則剩余格[J].數(shù)學(xué)進(jìn)展,2008,37(4):499-511.

[4]梁少輝,趙彬.連續(xù)Quan ta le及其范疇性質(zhì)[J].陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2008,36(5):1-5.

[5]Herrlich H.Category theo ry[M].Berlin:Heldermann Verlag,1979.

[6]樊太和.分子格范疇中的積運(yùn)算[J].科學(xué)通報(bào),1986,31(4):243-247.

[7]徐曉泉.完全分配格范疇中的乘積和上積及其結(jié)構(gòu)[J].科學(xué)通報(bào),1990,35(9):623-646.

The Product in the Category of G irard Quan ta le

L IJing1,N ILi-li1,ZHANGW en-qian2,3
(1.SchoolofM athematicsand System s Science,Taishan University,Tai’an,271021;
2.W enyang Central Prim ary School;3.W enyang CentralM idd le Schoo l,Feicheng,271606,China)

In thispaper,the p roduct in the category of Girard Quantale is considered,and its conform ation isgiven.A t the sam e tim e,the theo rem isp roved,which the category of Girard Quantale has the equalizer.

the catego ry of Girard Quantale;the equalizer;the p roduct

O 153.1

A

1672-2590(2010)03-0018-04

2010-04-10

李 靜(1981-),女,山東肥城人,泰山學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)學(xué)院講師.