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

        ?

        模糊有界完備domain及其基本性質

        2021-07-14 02:04:10馬娜娜羅清君
        關鍵詞:偏序子集代數

        馬娜娜, 羅清君

        (西安財經大學 統(tǒng)計學院,陜西 西安710100)

        Domain理論產生于20世紀60年代末70年代初,其目的是為Strachey的指稱語義學提供模型,是理論計算機科學的數學基礎之一.序和拓撲的相互結合、相互作用是這一理論的基本特征.1980年,Gierz等[1]對連續(xù)格的內容和思想進行了系統(tǒng)的研究.2003年,Gierz等[2]重新修訂了專著[1],對連續(xù)格和Domain理論的發(fā)展做了階段性總結.2013年,Goubault-Larrecq[3]介紹了Domain理論與非T2拓撲的緊密聯系.經過40多年的發(fā)展,Domain理論已有豐富的成果和廣泛的應用,并與拓撲學和范疇論等眾多數學分支有著緊密的聯系[4-6].

        模糊Domain理論是把模糊集理論應用到Domain理論中,其最大的優(yōu)點在于強調與模糊集理論的直接聯系,從而可以運用模糊集理論作為工具,使許多問題得以順利解決.目前,模糊Domain理論及相關領域已經取得了較為豐富的研究成果[7-16],并與拓撲學、范疇論和理論計算機科學等眾多學科發(fā)生了非常密切的聯系,但關于模糊有界完備domain的性質還尚無涉及.基于此,本文引入模糊有界完備domain和模糊Scott domain的概念,研究它們的模糊閉包算子的像以及模糊保序映射等一些基本的性質.證明在相應條件下,IL(X)是模糊Scott domain,并在此基礎上給出模糊有界完備domain的等價刻畫.

        1 預備知識

        下面給出完備剩余格和模糊偏序集中的一些基本概念和結論.

        定義1.1[17]作為一個泛代數,一個剩余格是一個(2,2,2,2,0,0)型代數(L;∧,∨,*,→,0,1)(有時簡記為(L,*)或僅為L)滿足:

        (RL1)(L;∧,∨,0,1)是有界格,0、1分別為最小元和最大元;

        (RL2)(L;*,1)是交換幺半群,且*雙側保序;

        (RL3)?x,y,z∈L,x*y≤z當且僅當

        若L是完備格,則稱L是完備剩余格.

        定理1.2[18]設L是剩余格,則成立:

        (R1)a*b≤a∧b;

        (R2)a=1→a;

        (R3)a≤b?a→b=1;

        (R4)a→(b→c)=(a*b)→c;

        (R5)a→b≥b;

        當L是完備格時,則成立:

        文中若無特別說明,L均表示一個完備剩余格.

        定義1.3[7,14]設X是一個集合,e:X×X→L是一個映射.若滿足:?x,y,z∈X,成立:

        (E1)e(x,x)=1(自反性);

        (E2)e(x,y)*e(y,z)≤e(x,z)(傳遞性);

        (E3)e(x,y)=e(y,z)=1?x=y(tǒng)(反對稱性);則稱(X,e)是模糊偏序集,e稱為X上的模糊偏序.有時也把(X,e)簡記為X.

        定義1.4[7,14]設(X,e)是模糊偏序集,x0∈X,?A∈LX.若滿足:

        1)?x∈X,A(x)≤e(x,x0)(相應地,A(x)≤e(x0,x));

        在定義1.4中,如果x0和A滿足條件1),此時稱x0為A的上界(相應地,下界).

        定理1.5[7]設(X,e)是模糊偏序集,A∈LX,則

        定義1.6[7]設(X,e)是模糊偏序集,若?A∈存在,則稱模糊偏序集(X,e)模糊完備格.

        設f是模糊偏序集(X,eX)和(Y,eY)之間的映射.若

        則稱f是模糊保序映射.若f是雙射且f,f-1是模糊保序映射,則稱f是模糊序同構.

        定義1.7設f:X→Y是一個映射.Zadeh前置冪集算子

        和Zadeh后置冪集算子

        分別定義為:

        定義1.8[19]設(X,e)是模糊偏序集,D∈L X,,且

        則稱D為一個模糊定向子集.若模糊定向子集I∈L X是模糊下集,則稱I為一個模糊理想.模糊偏序集(X,e)的全體模糊定向子集(模糊理想)的全體記為DL(X)(IL(X)).

        定義1.9[20-21]設(X,e)是模糊Dcpo,?x∈X,定義?x∈L X為

        定義1.10[20-21]設(X,e)是模糊Dcpo,x∈X.定義映射k x:X→L為?y∈X,則

        若k x是X的模糊定向子集且則稱X是代數模糊domain.

        定義1.11[22]設(X,e)是模糊偏序集,f:X→Y為映射,若f滿足

        則稱f為X上的一個模糊閉包算子.

        2 模糊有界完備domain

        下面引入模糊有界完備domain的概念,主要研究其上的模糊閉包算子的像以及模糊保序映射等一些基本的性質.

        定義2.1[23]設(X,e)是模糊偏序集,如果?A∈L X,當A有上界時存在,則稱(X,e)為模糊有界完備的.

        定義2.2設(X,e)是模糊domain,如果(X,e)為模糊有界完備的,則稱(X,e)是模糊有界完備domain.

        定理2.3設(X,e)是模糊有界完備domain,若c:X→X是保模糊定向并的模糊閉包算子,則c(X)是模糊有界完備domain,且

        證明第一步,c(X)是模糊Dcpo.

        由于(X,e)是模糊有界完備domain,有

        下證

        對任意x∈c(X),則

        反之,對任意y∈c(X),則

        綜上

        第二步,c(X)是模糊domain.設y∈c(X),x∈X,I∈IL(c(X)),則

        因此

        下證?y∈c(X),?y∈IL(c(X)).由于

        對任意x,x2∈c(X),則

        容易證明?y是c(X)中的模糊下集.

        綜上,?y∈IL(c(X)).

        由于(X,e)是模糊有界完備domain,有

        又c:X→X保模糊定向并,則

        下證c(X)是模糊連續(xù)的.

        反之,顯然成立.

        綜上,c(X)是模糊domain.

        第三步,c(X)是模糊有界完備的.?A∈Lc(X),x0為A的上界,即

        定義

        則A1∈LX,且A1的模糊上界為x0,根據X是模糊有界完備的,得到存在.

        因此

        最后,證明對任意x,y∈c(X),則

        反之

        推論2.4設(X,e)是模糊有界完備domain,若c:X→X是保模糊定向并的模糊閉包算子,則

        證明?x,y∈X,?y(x)≤?y(c(x))=

        定理2.5設(X,e)是模糊有界完備domain,(Y,e)是模糊連續(xù)格,用(X→Y)表示所有的模糊保序映射,?f∈(X→Y),定義k(f):X→Y為

        有:

        1)k(f)∈(X→Y);

        2)若用[X→Y]表示

        則f保模糊定向并.

        證明1)?x1,x2∈X,則

        因此,k(f)∈(X→Y).

        一方面

        另一方面

        綜上,f保模糊定向并.

        3 模糊Scott domain

        下面研究模糊Scott domain中模糊閉包算子的像的性質,證明在相應條件下,IL(X)是模糊Scott domain,在此基礎上給出模糊有界完備domain的等價刻畫.

        定義3.1[20-21]設(X,e)是模糊Dcpo,x∈X.如果?x(x)=1,則稱x是X中的L-緊元.X中L-緊元的全體記為K(X).

        定義3.2設(X,e)是模糊有界完備的Dcpo,x∈X.定義映射k x:X→L為?y∈X,則

        若k x是X的模糊定向子集且則稱X是代數模糊有界完備domain,也稱為模糊Scott domain.

        命題3.3設(X,e)是模糊Scott domain,則(X,e)是模糊有界完備domain.

        命題3.4設(X,e)是模糊Scott domain,c:X→X是保模糊定向并的模糊閉包算子,有:

        1)c(X)是模糊Scott domain;

        2)若L是frame且1?1,則

        證明1)由定理2.3,c(X)是模糊有界完備domain.僅需證明c(X)是代數的.?c(x)∈c(X),由于(X,e)是模糊Scott domain且c:X→X是保模糊定向并的模糊閉包算子,則k x是X的模糊定向子集且又根據推論2.4知c(K(X))?K(c(X)).

        下證

        一方面

        另一方面

        2)由1)知c(K(X))?K(c(X)).

        下證

        根據定理2.3,?x∈K(c(X)),則

        由于L是frame且1?1.因此,存在u∈K(X),使得x=c(u),從而

        引理3.5設(X,e)是模糊偏序集,?A∈LX,存在x0∈X使得A(x0)=1,則(X,e)是模糊有界完備的當且僅當存在.

        證明必要性 設?A∈LX,A有上界,即?x∈X,存在y∈X使得A(x)≤e(x,y),則

        因此,Au≠0L.根據存在,這說明(X,e)是模糊有界完備的.

        充分性 設?0L≠A∈LX,根據題意知存在x0∈X使得A(x0)=1,由于

        這說明Al有上界.因此知存在.

        引理3.6設(X,e)是模糊有界完備domain,L=[0,1],?Φ∈LIL(X),存在I0∈X使得 Φ(I0)=1,則IL(X)是模糊Scott domain.

        證明文獻[20-21]已經證明當(X,e)是模糊domain時,IL(X)是代數模糊domain,在這里只需證明當(X,e)是模糊有界完備時,IL(X)是模糊有界完備的.設

        下證 φ∈IL(X).

        1)φ是模糊下集.

        定理3.7設(X,e)是模糊Dcpo,則(X,e)是模糊有界完備domain當且僅當存在模糊Scott domain(Y,e),r:Y→X使得r是保模糊定向并的滿射且r有左伴隨.

        證明必要性 令Y=IL(X),根據引理3.6可知IL(X)是模糊Scott domain.定義r:Y→X為

        容易驗證r是滿射且有左伴隨.根據文獻[20-21],易證

        因此,r保模糊定向并.

        充分性 設h是r的左伴隨,則h保模糊定向并.由于r:Y→X是滿射,故h:X→Y是單射.令p=h?r,則X?imp.類似定理2.3,根據(Y,e)是模糊Scott domain,容易證明imp是模糊有界完備domain.因此,(X,e)是模糊有界完備domain.

        4 結束語

        本文引入了模糊有界完備domain和模糊Scott domain的概念,研究了它們的模糊閉包算子的像以及模糊保序映射等一些基本的性質.證明了在相應條件下,IL(X)是模糊Scott domain,在此基礎上給出了模糊有界完備domain的等價刻畫.然而,模糊有界完備domain范疇和模糊Scott domain范疇是否是笛卡爾閉的,以及如何刻畫它們的模糊Scott拓撲等方面的工作,可以進一步探究.

        猜你喜歡
        偏序子集代數
        由一道有關集合的子集個數題引發(fā)的思考
        拓撲空間中緊致子集的性質研究
        兩個有趣的無窮長代數不等式鏈
        Hopf代數的二重Ore擴張
        什么是代數幾何
        科學(2020年1期)2020-08-24 08:08:06
        關于奇數階二元子集的分離序列
        基于有限辛空間的一致偏序集和Leonard對
        相對連續(xù)偏序集及其應用
        可消偏序半群的可消偏序擴張與商序同態(tài)
        一個非平凡的Calabi-Yau DG代數
        美女裸体无遮挡黄污网站| 精品999日本久久久影院| 精品一区二区三区免费播放| 日韩亚洲欧美中文高清在线| 日产乱码一区二区国产内射| 成年女人A级毛片免| 久久免费精品视频老逼| 蜜桃a人妻精品一区二区三区| 国内女人喷潮完整视频| 成人片黄网站色大片免费观看app| 国产精品成人无码久久久久久| 人妻少妇偷人精品视频| 成人艳情一二三区| 丰满熟妇乱又伦| 国产精品98视频全部国产| 99久久婷婷国产精品综合网站| 中文字幕人乱码中文字幕| 少妇激情一区二区三区视频| 亚洲av国产av综合av| 国产高清丝袜美腿视频在线观看| 国产av一级片在线观看| 巨胸喷奶水www视频网站| 日本成人一区二区三区| 精品少妇一区二区三区四区| 97丨九色丨国产人妻熟女| 又色又爽又黄又硬的视频免费观看 | 男男车车的车车网站w98免费| 日本口爆吞精在线视频| 免费人成黄页网站在线一区二区| 日韩日韩日韩日韩日韩日韩| 最近中文av字幕在线中文| 日本二区视频在线观看| 日韩一区在线精品视频| 亚洲av综合日韩| 五月天无码| 中文国产乱码在线人妻一区二区| а天堂中文最新一区二区三区 | 精品水蜜桃久久久久久久| 国产成人8x视频网站入口| 色婷婷在线一区二区三区| 免费看男女做羞羞的事网站|