亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        Q-代數(shù)上的余核映射

        2016-10-10 02:43:02
        關(guān)鍵詞:同態(tài)師范大學(xué)代數(shù)

        李 瑞

        (陜西師范大學(xué) 數(shù)學(xué)與信息科學(xué)學(xué)院, 陜西 西安 710062)

        ?

        ·數(shù)理科學(xué)·

        Q-代數(shù)上的余核映射

        李瑞

        (陜西師范大學(xué) 數(shù)學(xué)與信息科學(xué)學(xué)院, 陜西 西安710062)

        利用Quantale中余核映射的思想和方法,在Q-代數(shù)中引入了Q-代數(shù)余核映射的概念,得到了Q-代數(shù)余核映射的若干性質(zhì),討論了Q-代數(shù)余核映射到單位Q-代數(shù)與GirardQ-代數(shù)的擴(kuò)張問(wèn)題。

        Quantale;Q-代數(shù);Q-代數(shù)余核映射;GirardQ-代數(shù)

        Quantale是由Mulvey[1]于1986年在研究非交換C*-代數(shù)的譜時(shí)首先提出的,其背景是給量子力學(xué)提供新的數(shù)學(xué)模型。由于Quantale自身具有豐富的序結(jié)構(gòu)和代數(shù)結(jié)構(gòu),使得Quantale理論已經(jīng)應(yīng)用到C*-代數(shù)、線性邏輯、環(huán)的理想理論等諸多領(lǐng)域中。

        受環(huán)上代數(shù)結(jié)構(gòu)和結(jié)論的啟發(fā),文獻(xiàn)[2-3]在Quantale和Quantale模的基礎(chǔ)上引入了Quantale代數(shù)(簡(jiǎn)稱(chēng)Q-代數(shù))的概念,已成功應(yīng)用到多值拓?fù)涞难芯恐衃4]。需要指出的是,文獻(xiàn)[5]證明了Q-代數(shù)范疇同構(gòu)于模糊Quantale范疇,所以Q-代數(shù)可以看成是Quantale模糊化的結(jié)構(gòu)。另外,受Girard quantale和Girard 雙模的啟發(fā),文獻(xiàn)[6]給出了GirardQ-代數(shù)的概念,并證明了每個(gè)Q-代數(shù)都可以嵌入到一個(gè)GirardQ-代數(shù)中。在Quantale理論中,由于余核映射完全刻畫(huà)了子Quantale,所以研究余核映射是十分必要的。文獻(xiàn)[7]分別研究了余核映射到單位QuantaleQ[e]與Girard quantaleQ×Qop的擴(kuò)張問(wèn)題。受此啟發(fā),本文在Q-代數(shù)中引入了余核映射的概念,考慮了Q-代數(shù)余核映射到單位Q-代數(shù)與GirardQ-代數(shù)的擴(kuò)張問(wèn)題。

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

        在本文中,用0表示完備格中的最小元,1表示完備格中的最大元。

        定義1[1]設(shè)Q是完備格,&是Q上的二元運(yùn)算且滿(mǎn)足

        1) ?a,b,c∈Q,(a&b)&c=a&(b&c);

        2) ?a∈Q,{bi}i∈I?Q,a&(∨i∈Ibi)=∨i∈I(a&bi)且(∨i∈Ibi)&a=∨i∈I(bi&a),則稱(chēng)(Q,&)是Quantale,簡(jiǎn)稱(chēng)Q是Quantale。

        由Quantale的定義知a&-和-&a是Q上的保并映射,所以它們都有右伴隨,分別用a→r-和a→l-表示,即?a,b,c∈Q,a&b≤c?a≤b→lc?b≤a→rc。

        設(shè)Q是Quantale。若存在e∈Q使得?a∈Q,e&a=a&e=a,則稱(chēng)e是Q的單位元,且Q是單位Quantale。若?a,b∈Q,a&b=b&a,則稱(chēng)Q是交換Quantale。

        定義2[1]設(shè)Q是Quantale,c,d∈Q。

        1) 若?a∈Q,有a→rc=a→lc,則稱(chēng)c是Q上的循環(huán)元。

        2) 若?a∈Q,有(a→rd)→ld=a=(a→ld)→rd,則稱(chēng)d是Q上的對(duì)偶元。

        3) 若Q中有一個(gè)循環(huán)對(duì)偶元,則稱(chēng)Q是Girardquantale。

        定義3[1]設(shè)Q1,Q2是Quantale。如果映射f:Q1→Q2滿(mǎn)足

        1) ?{ai}i∈I?Q1,f(∨i∈Iai)=∨i∈If(ai);

        2) ?a,b∈Q1,f(a&b)=f(a)&f(b),

        則稱(chēng)映射f為Quantale同態(tài)。

        定義4[1]設(shè)Q是Quantale。若映射g是Q上的余閉包算子且?a,b∈Q,g(a)&g(b)≤g(a&b),則稱(chēng)g是Q上的余核映射。

        定義5[8]設(shè)Q是Quantale,M為完備格。如果映射·:Q×M→M滿(mǎn)足

        1) ?{ai}i∈I?Q,?m∈M,(∨i∈Iai)·m=∨i∈I(ai·m);

        2) ?a∈Q,?{mj}j∈J?M,a·(∨j∈Jmj)=∨j∈J(a·mj);

        3) ?a,b∈Q,?m∈M,(a&b)·m=a·

        (b·m),

        則稱(chēng)(M,·)是左Q-模。

        由左Q-模的定義知a·-和-·m保任意并,所以它們都有右伴隨,分別用a|→r-和m|→l-表示,即?a∈Q,?m,n∈M,a·m≤n?m≤a|→rn?a≤m|→ln。若Q是單位Quantale,左Q-模(M,·)滿(mǎn)足?m∈M,eQ·m=m,則稱(chēng)(M,·)是單位左Q-模。對(duì)偶地,可定義(單位)右Q-模。我們約定本文中的Q模均為左Q-模。

        定義6[8]設(shè)(M,·),(N,·)為Q-模。如果映射f:M→N滿(mǎn)足

        1) ?{mi}i∈I?M,f(∨i∈Imi)=∨i∈If(mi);

        2) ?a∈Q,?m∈M,f(a·m)=a·f(m),

        則稱(chēng)映射f為Q-模同態(tài)。

        定義7[2]設(shè)Q是Quantale。如果三元組(A,·,?)滿(mǎn)足:

        1) (A,·)是Q-模;

        2) (A,?)是Quantale;

        3) ?q∈Q,a,b∈A,q·(a?b)=(q·a)?b=a?(q·b),

        則稱(chēng)(A,·,?)為Q-代數(shù)。

        定義8[6]設(shè)(A,·,?)為Q-代數(shù)。若(A,?)是單位Quantale,則稱(chēng)(A,·,?)為單位Q-代數(shù)。

        定義9[9]設(shè)(A,·,?),(B,·,?)是Q-代數(shù)。若映射f:A→B既是Quantale同態(tài)又是Q-模同態(tài),則稱(chēng)f是Q-代數(shù)同態(tài)。若f是單射,則稱(chēng)f是Q-代數(shù)嵌入。若f還是雙射,則稱(chēng)f是Q-代數(shù)同構(gòu)。

        定義10[6]設(shè)(A,·,?)是Q-代數(shù),S?A。若S關(guān)于任意并,·,?運(yùn)算封閉,則稱(chēng)S是A的子Q-代數(shù)。

        2 Q-代數(shù)余核映射

        定義11設(shè)(A,·,?)是Q-代數(shù)。若g是A上的余閉包算子且?q∈Q,a,b∈A,有g(shù)(a)?g(b)≤g(a?b),q·g(a)≤g(q·a),則稱(chēng)g是Q-代數(shù)余核映射。

        注1 1) 當(dāng)Q=2時(shí),Q-代數(shù)余核映射恰為Quantale余核映射。

        2)用CN(A)表示Q-代數(shù)(A,·,?)上所有余核映射的全體,則CN(A)關(guān)于逐點(diǎn)序是完備格。

        命題1設(shè)(A,·,?)是Q-代數(shù)。若g是A上的Q-代數(shù)余核映射,則Ag={a∈A|g(a)=a}是A的子Q-代數(shù)。反之,若S是A的任意子Q-代數(shù),則存在Q-代數(shù)余核映射g,使得S=Ag。

        證 明與Quantale情形的證明類(lèi)似[1]。

        命題2設(shè)(A,·,?)是Q-代數(shù),則?a∈A,g=a?(a→r-):A→A是Q-代數(shù)余核映射。

        證 明1) g(x)=a?(a→rx)≤x。

        2)若x≤y,則g(x)=a?(a→rx)≤a?(a→ry)=g(y)。

        3) g(g(x))=g(a?(a→rx))=a?(a→r(a?(a→rx)))=a?(a→rx)=g(x)。

        4) g(x)?g(y)=(a?(a→rx))?(a?(a→ry))≤a?((a→rx)?y)≤a?(a→r(x?y))=g(x?y)。

        5) ?q∈Q,x∈A,q·g(x)=q·(a?(a→rx))=(q·a)?(a→rx)=a?(q·(a→rx))≤a?(a→r(q·x))=g(q·x)。所以g=a?(a→r-):A→A是Q-代數(shù)余核映射。

        命題3設(shè)(A,·,?)是單位Q-代數(shù),eA是單位元。E(A)={a∈A|a?a=a,a≤eA,?b∈A,a?b=b?a},則?a∈E(A),g=-?a:A→A是Q-代數(shù)余核映射。

        證 明1) g(x)=x?a≤x?eA=x。

        2)若x≤y,則g(x)=x?a≤y?a=g(y)。

        3) g(g(x))=g(x?a)=(x?a)?a=x?(a?a)=x?a=g(x)。

        4) g(x)?g(y)=(x?a)?(y?a)=x?(a?y)?a=x?(y?a)?a=x?y?(a?a)=x?y?a=g(x?y)。

        5) ?q∈Q,x∈A,q·g(x)=q·(x?a)=(q·x)?a=g(q·x)。

        所以g=-?a:A→A是Q-代數(shù)余核映射。

        命題4[10]設(shè)Q是Quantale。Q[e]={a∨k:a∈Q,k∈{0,e}},其中e?Q。Q[e]上的任意并如下定義:0∨e=e

        ∨i∈I(ai∨ki)=

        Q[e]上的&′運(yùn)算如下定義:

        (a∨k′)&′(b∨k″)=

        則Q[e]是單位Quantale,其中e是單位元。

        定理1[2]1)若(A,·,?)是Q-代數(shù),則(A,°,?)是Q[e]-代數(shù)且(A,°)是單位Q[e]-模,其中定義°:Q[e]×A→A為?a∨k∈Q[e],m∈A,

        2)若(A,°,?)是Q[e]-代數(shù),則(A,·,?)是Q-代數(shù),其中定義·:Q×A→A為?q∈Q,a∈A,q·a=q°a。

        定理2設(shè)A是Q-代數(shù),g是A上的映射,則g是(A,·,?)上的Q-代數(shù)余核映射當(dāng)且僅當(dāng)g是(A,°,?)上的Q[e]-代數(shù)余核映射。

        證 明充分性:若g是Q[e]代數(shù)余核映射,則由定理1顯然有g(shù)是Q-代數(shù)余核映射。

        必要性:顯然g是QuantaleA上的余核映射且?q∈Q,x∈A,q·g(x)≤g(q·x)。?a∨k∈Q[e],x∈A,則

        (a∨k)°g(x)=

        顯然,當(dāng)k=0時(shí),a·g(x)≤g(a·x);當(dāng)k=e時(shí),a·g(x)≤g(a·x)≤g((a·x)∨x),g(x)≤g((a·x)∨x)。即(a∨k)°g(x)≤g((a∨k)°x)。故g是Q[e]-代數(shù)余核映射。

        設(shè)Q是Quantale(A,·,?),(B,·,?)是Q-代數(shù)。定義?:(A×B)×(A×B)→A×B為?(a,b),(c,d)∈A×B,(a,b)?(c,d)=(a?c,b?d);*:Q×(A×B)→A×B為?q∈Q,(a,b)∈A×B,q*(a,b)=(q·a,q·b)。容易驗(yàn)證(A×B,*,?)是Q-代數(shù)。

        定理3 設(shè)Q是Quantale。(A,·,?),(B,·,?)是Q-代數(shù),gA是A上的Q-代數(shù)余核映射,gB是B上的Q-代數(shù)余核映射,定義映射gA×B:A×B→A×B為?(a,b)∈A×B,gA×B(a,b)=(gA(a),gB(b)),則gA×B是A×B上的Q-代數(shù)余核映射。

        證 明1) ?(a,b)∈A×B,gA×B(a,b)=(gA(a),gB(b))≤(a,b)。

        2) ?(a,b)≤(c,d),gA×B(a,b)=(gA(a),gB(b))≤(gA(c),gB(d))=gA×B(c,d)。

        3) ?(a,b)∈A×B,gA×B(gA×B(a,b))=

        gA×B(gA(a),gB(b))=

        (gA(gA(a)),gB(gB(b)))=

        (gA(a),gB(b))=gA×B(a,b)。

        4) ?(a,b),(c,d)∈A×B,gA×B(a,b)?gA×B(c,d)=(gA(a),gB(b))?(gA(c),gB(d))=(gA(a)?gA(c),gB(b)?gB(d))≤(gA(a?c),gB(b?d))=gA×B((a,b)?(c,d))。

        5) ?q∈Q,(a,b)∈A×B,q*gA×B(a,b)=q*(gA(a),gB(b))=(q·gA(a),q·gB(b))≤(gA(q·a),gB(q·b))=gA×B(q·a,q·b)=gA×B(q*(a,b))。所以gA×B是A×B上的Q-代數(shù)余核映射。

        3 Q-代數(shù)余核映射的擴(kuò)張

        本節(jié)主要討論了Q-代數(shù)余核映射到單位Q-代數(shù)與GirardQ-代數(shù)的擴(kuò)張問(wèn)題。我們約定本節(jié)中的Q均表示單位交換Quantale。

        命題5[6]設(shè)(A,·,?)是Q-代數(shù)。定義?:(Q×A)×(Q×A)→Q×A為?(a,x),(b,y)∈Q×A,(a,x)?(b,y)=(a&b,(x?y)∨(a·y)∨(b·x));·:Q×(Q×A)→Q×A為?q∈Q,(a,x)∈Q×A,q·(a,x)=(q&a,q·x),則(Q×A,·,?)是單位Q-代數(shù),且有Q-代數(shù)嵌入i:A→Q×A為?a∈A,i(a)=(0,a)。

        命題6 設(shè)(A,·,?)是Q-代數(shù),g是Q×A上的Q-代數(shù)余核映射,則g|{0}×A是{0}×A上的Q-代數(shù)余核映射。

        證 明要證g|{0}×A:{0}×A→{0}×A是Q-代數(shù)余核映射,?(0,a)∈{0}×A,由g是Q×A上的Q-代數(shù)余核映射知g(0,a)≤(0,a),則g(0,a)∈{0}×A,從而g|{0}×A是{0}×A上的映射。易證g|{0}×A是{0}×A上的Q-代數(shù)余核映射。

        定義12[6]設(shè)(A,·,?)是Q-代數(shù),若(A,?)是Girardquantale,則(A,·,?)是GirardQ-代數(shù)。

        證 明1) ?a∈A,gp(a)=π1°g°ε(a)=π1°g(a,1)≤π1(a,1)=a。

        2)若a≤b,則gp(a)=π1°g°ε(a)=π1°g(a,1)≤π1°g(b,1)=π1°g°ε(b)=gp(b)。

        3)設(shè)g(a,1)=(c,d),由于g(a,1)≤(a,1),則(c,d)≤(a,1),從而d≥1,即d=1,于是g(a,1)=(c,1)。由g是余核映射知g°g(a,1)=g(a,1),即g(c,1)=g(a,1)。因此gp(a)=π1°g°ε(a)=π1°g(a,1)=π1°g(c,1)=gp(c)=gp°gp(a)。

        4) ?a,b∈A,gp(a)?gp(b)=(π1°g°ε(a))?(π1°g°ε(b))=(π1°g(a,1))?(π1°°g(b,1))=π1(g(a,1)?g(b,1))≤π1(g((a,1)?(b,1)))=π1(g(a?b,1))=π1°g°ε(a?b)=gp(a?b)。

        5) ?q∈Q,a∈A,由(3)可令g(a,1)=(c,1),則q·g(a,1)=q·(c,1)=(q·c,q|→r1)=(q·c,1)且g(q·(a,1))=g(q·a,q|→r1)=g(q·a,1)。由于q·g(a,1)≤g(q·(a,1)),則q·c≤π1°g(q·a,1)。因此q·gp(a)=q·π1(g(a,1))=q·π1(c,1)=q·c≤π1°g(q·a,1)=gp(q·a)。故gp是A上的Q-代數(shù)余核映射。

        [1]ROSENTHAL K I. Quantales and their Applications[M]. New York: Longman Scientific and Tecnical, 1990.

        [2]PAN Fang-fang, HAN Sheng-wei. Free Q-algebras[J]. Fuzzy Sets and Systems, 2014, 247: 138-150.

        [3]SOLOVYOV. S A. A representation theorem for quantale algebras[J]. Contributions to General Algebra, 2008, 18: 189-198.

        [4]SOLOVYOV. S A. From quantale algebroids to topological spaces: Fixed-and variable-basis approaches[J]. Fuzzy Sets and Systems, 2010, 161: 1270-1287.

        [5]汪開(kāi)云, 趙彬. 模糊Quantale范疇的性質(zhì)[J]. 陜西師范大學(xué)學(xué)報(bào): 自然科學(xué)版, 2013, 41(3): 1-6.

        [6]WANG Kai-yun, ZHAO Bin. On embeddings ofQ-algebras[J]. Houston Journal of Mathematics, 2016, 42(1): 73-90.

        [7]HAN Sheng-wei, ZHAO Bin. The quantic conuclei on quantales[J]. Algebra Universalis, 2009, 61: 97-114.

        [8]PASEKA J. Quantale Modules[D]. Habilitation thesis, Department of Mathematics, Faculty of Science,Masaryk University,Brno,June 1999.

        [9]王蕊, 趙彬. Quantale代數(shù)及其代數(shù)理想[J]. 模糊系統(tǒng)與數(shù)學(xué), 2010, 24(2): 44-49.

        [10] HAN Sheng-wei, ZHAO Bin. Remark on the unital quantaleQ[e][J]. Applied Categorical Structures, 2012, 20: 239-250.

        (編輯亢小玉)

        The conuclei onQ-algebras

        LI Rui

        (College of Mathematics and Information Science, Shaanxi Normal University, Xi′an 710062, China)

        By using the methods and thoughts of conuclei on Quantales, the notion ofQ-algebra conuclei is introduced.Some properties ofQ-algebra conuclei are obtained.The extensions ofQ-algebra conuclei to unitalQ-algebra and GirardQ-algebra are discussed.

        Quantale;Q-algebra;Q-algebra conuclei; GirardQ-algebra

        2015-04-11

        國(guó)家自然科學(xué)基金資助項(xiàng)目(11171196,11301316);中央高?;究蒲袠I(yè)務(wù)費(fèi)專(zhuān)項(xiàng)基金資助項(xiàng)目(GK201501001)

        李瑞,女,山西運(yùn)城人,從事格上拓?fù)渑c非經(jīng)典數(shù)理邏輯研究。

        O153.1

        A

        10.16152/j.cnki.xdxbzr.2016-02-003

        猜你喜歡
        同態(tài)師范大學(xué)代數(shù)
        兩個(gè)有趣的無(wú)窮長(zhǎng)代數(shù)不等式鏈
        Hopf代數(shù)的二重Ore擴(kuò)張
        關(guān)于半模同態(tài)的分解*
        什么是代數(shù)幾何
        科學(xué)(2020年1期)2020-08-24 08:08:06
        拉回和推出的若干注記
        Study on the harmony between human and nature in Walden
        Balance of Trade Between China and India
        商情(2017年9期)2017-04-29 02:12:31
        Courses on National Pakistan culture in Honder College
        一種基于LWE的同態(tài)加密方案
        Film Music and its Effects in Film Appreciation
        亚洲爆乳精品无码一区二区| 国产成人亚洲精品91专区高清| 色偷偷激情日本亚洲一区二区| 国产真实强被迫伦姧女在线观看| 久久aⅴ无码一区二区三区| 国产高清一区在线观看| 国产91成人精品高潮综合久久| 精品成在人线av无码免费看| 国产精品亚洲综合一区在线观看| 吃下面吃胸在线看无码| 青青草手机视频免费在线播放| 亚洲亚洲人成综合丝袜图片| 又硬又粗又大一区二区三区视频| 中文字幕av无码一区二区三区电影| 国产一区三区二区视频在线观看 | 久久久中文久久久无码| 国产精品久久久av久久久| 亚洲中文字幕日产喷水| 亚洲av第一区国产精品| 久久人妻少妇嫩草av无码专区| 91精品国产综合成人| 国模一区二区三区白浆| 日本av在线一区二区| 欧美野外疯狂做受xxxx高潮 | 日本道免费一区日韩精品| 91精品国产92久久久| 久久精品娱乐亚洲领先| 神马不卡一区二区三级| 日本一区二区三级免费| 亚洲av网一区二区三区| 最近中文av字幕在线中文| 亚洲愉拍自拍视频一区| 日韩精品专区在线观看| 亚洲av综合久久九九| 久久精品国产精品亚洲婷婷| 中文字幕日韩高清乱码| 极品少妇小泬50pthepon| 国产香蕉尹人在线视频播放| 国产99久久久国产精品免费| 精品亚洲国产成人蜜臀av| 亚洲男同帅gay片在线观看|