趙增遜
(陜西鐵路工程職業(yè)技術(shù)學(xué)院基礎(chǔ)課部,陜西渭南 714000)
冪等余Quantale
趙增遜
(陜西鐵路工程職業(yè)技術(shù)學(xué)院基礎(chǔ)課部,陜西渭南 714000)
討論了冪等余Quantale與左純?cè)?、子余Quantale的一些相關(guān)性質(zhì),發(fā)現(xiàn)冪等余Quantale的左純?cè)獦?gòu)成的集合是對(duì)應(yīng)的子余Quantale;每個(gè)冪等余Quantale都可有一個(gè)核映射與子余Quantale保持對(duì)應(yīng)關(guān)系;并且冪等余Quantale與核映射,左右純?cè)?Frame等都有一定關(guān)系.
Quantale;子余Quantale;冪等余Quantale
Quantale是由Mulvey在1986年研究非交換的C?-代數(shù)時(shí)首先引入的,其背景是給量子力學(xué)提供新的數(shù)學(xué)模型[1].在近20年中,Quantale的理論研究和應(yīng)用研究得到了很大的發(fā)展,其思想和方法對(duì)數(shù)學(xué)、邏輯以及理論計(jì)算機(jī)科學(xué)的若干分支產(chǎn)生了較為深遠(yuǎn)的影響.隨著文獻(xiàn)[2-3]等的出版,Quantale理論作為一個(gè)研究分支已經(jīng)逐漸成熟.文獻(xiàn)[4-7]討論了Quantale的一系列性質(zhì).
定義2.1設(shè)Q為余Quantale.a∈Q,且a為左側(cè)元(右側(cè)元),若對(duì)任意的b∈Q,有a&b=a∨b(b&a=b∨a),則稱a為左純?cè)?右純?cè)?.
定義2.2設(shè)Q為冪等余Quantale.若Q=lp(Q),則稱Q為左純余Quantale.由于左純余是雙側(cè)元,而由定義知冪等雙側(cè)元作為的余Quantale是Frame.
定義2.3設(shè)Q為余Quantale,a∈Q且a為左側(cè)元(右側(cè)元).若對(duì)任意的b∈Q,有b&a=b∨a(a&b=a∨b),則稱a為左擬純?cè)?右擬純?cè)?.
定義2.4設(shè)Q為余Quantale,j為Q上的核映射.若對(duì)于任意的a∈Q,g(0&a)≥g(a)則稱g為左側(cè)余核映射.N(Q)表示Q上的所有余核映射之集,其構(gòu)成一個(gè)完備格.
令gl=sup{g∈N(Q)|g},則顯然jl為左側(cè)的余核映射.
引理2.1設(shè)P,Q為余Quantale,f:P→Q與g:Q→P是保序映射,并且g是f的左伴隨.若f為余Quantale滿同態(tài),則g保素元.
引理2.2設(shè)Q為余Quantale.若a,b為Q中的左(右)純?cè)?則a&b仍為左(右)純?cè)?
引理2.3設(shè)Q為余Quantale.g為Q上的余核映射,則下述條件等價(jià):
(1)Qj是左側(cè)的子余Quantale;(2)g是左側(cè)的余核映射;(3)gl≥g;(4)Qgl?Qg.
命題3.3設(shè)Q為冪等右側(cè)余Quantale.則對(duì)于任意s∈Q,-&s:Q→Q為核映射,并且相應(yīng)的子余Quantale同構(gòu)于s→lQ.
證明首先證明對(duì)于任意s∈Q,-&s為核映射.對(duì)于任意a,b∈Q,
(1)不增:a&s≥a&0≥a;(2)保序:顯然;(3)冪等:由Q為冪等的容易證明;
(4)閉映射:由引理可知(a&s)&(b&s)=a&b&s&s=a&b&s≤a&b&s,所以-&s為Q的核映射.
下面再證明此核映射的子余Quantale同構(gòu)于s→lQ.
[1]Mulvey C J.On the quantisation of point[J].J.Pure Appl.Algebra,2001,159:231-295.
[2]Rosenthal K I.Quantales and Their Applications[M].London:Longman Scientific and Technical,1990.
[3]David K.Points of Quantales[M].Brno:Cerven,2002.
[4]Karazeris P.Gabriel topologies on coherent quantales[J].J.Pure Appl.Alg.,1998,127:177-192.
[5]Picado J.The quantale of Galois connections[J].Algebra Univers.,2004,52:527-540.
[6]Shmuely Z.The structure of Galois connections[J].Pacific J.Math.,1974,54:209-225.
[7]趙曄,王昌,宋軼文,等.冪等左側(cè)余Quantale的特征[J].純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué),2011,27(3):334-338.
The indempotent coquantale
Zhao Zengxun
(Shaanxi Railway Institute,Weinan714000,China)
In this article,the related properties between coquantale and left pure unit are discussed,and some related properties of idempotent coquantale and subcoquantale are too.The left pure unit set of idemponent coquantale is corresponding subcoquantale.Every idempotent coquantale has one nuclear mapping to subcoquantale.Also the idempotent coquantale have some relations to nuclear mapping,left and right pure unit,and frame etc.
Quantale,subcoquantale,idempotent coquantale
O153.1
A
1008-5513(2013)03-0282-05
10.3969/j.issn.1008-5513.2013.03.009
2013-01-15.
國(guó)家自然科學(xué)基金(111712717).
趙增遜(1981-),碩士,研究方向:模糊數(shù)學(xué),代數(shù)學(xué)及代數(shù)學(xué)史.
2010 MSC:03E72