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

        ?

        L-Flou集范疇及其層表示

        2018-10-09 10:57:02湯建鋼
        關(guān)鍵詞:模糊集同構(gòu)子集

        周 鑫, 劉 靜, 湯建鋼

        (1. 伊犁師范學(xué)院 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 新疆 伊寧 835000; 2. 東北師范大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 長(zhǎng)春 130024;3. 伊犁職業(yè)技術(shù)學(xué)院 基礎(chǔ)部, 新疆 伊寧 835000)

        模糊集[1]用于刻畫(huà)客觀事物的不確定性. 設(shè)X是一個(gè)非空集合, 集合X的模糊子集可由隸屬函數(shù)A:X→[0,1]刻畫(huà), 其中:X稱(chēng)為A的承載集, 記為K(A)=X; [0,1]稱(chēng)為真值集. 為了使模糊集能刻畫(huà)更一般的事物, Goguen[2]引入了L-fuzzy子集的概念, 其真值集由比[0,1]更一般的完全分配格L代替.

        由模糊集合的分解定理知, 一個(gè)模糊集對(duì)應(yīng)一族集合. 反之, 由模糊集的表現(xiàn)定理知, 一族集合可形成一個(gè)模糊集. Gentilhomme[3]定義了一種刻畫(huà)模糊集的非經(jīng)典集合——flou集的概念; 文獻(xiàn)[4]給出了L-flou集的概念及性質(zhì), 并得到了L-fuzzy集與L-flou集的格同構(gòu)關(guān)系. 文獻(xiàn)[5]研究表明,L-flou集可用集合套表現(xiàn), 使其表示模糊信息時(shí)既增強(qiáng)了模糊信息的表達(dá)精度, 又避免了單點(diǎn)隸屬度確定困難的問(wèn)題. 基于此,L-flou集理論在處理信息等領(lǐng)域應(yīng)用廣泛.

        本文利用范疇理論, 將真值集L視為范疇L, 給定元素的隸屬度視為范疇中的對(duì)象, 用態(tài)射刻畫(huà)不同隸屬度之間的關(guān)系, 給出L-fuzzy集范疇Set(L )與L-flou集合范疇Set(fL )的同構(gòu)關(guān)系, 并結(jié)合文獻(xiàn)[6-7], 得到了范疇Set(fL )同構(gòu)于賦予層結(jié)構(gòu)的集合范疇SetL(S H ).

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

        定義1[2]設(shè)X∈Ob(Set), 函數(shù)A: X→L稱(chēng)為集合X的L-fuzzy子集, 也稱(chēng)為L(zhǎng)-子集或L-集, 記做(X,A). 在承載集合X確定且不至引起混淆的情況下, 簡(jiǎn)記為A.

        注1按點(diǎn)態(tài)方式定義集合X的所有L-fuzzy子集, 表示為FL(X)={A|A: X→L }=LX, 其構(gòu)成完備的Heyting代數(shù)[2,8].

        定義2[4]設(shè)X∈Ob(Set), 若集值函數(shù)μ: Lop→P (X)滿足:

        1) μ(0)=X;

        則μ稱(chēng)為集合X的L-flou子集, 記作(μ,X). 集合X的所有L-flou子集表示為

        F lL(X)={μ: L → P (X)|μ滿足1),2)}.

        圖1 F上的余錐形Fig.1 Cocone on F

        圖2 F的余極限Fig.2 Colimit of F

        定義4[9]如果范疇C中任意J型圖都存在極限, 則稱(chēng)C為完備范疇. 對(duì)偶地, 可定義余完備范疇.

        定義5[10]設(shè)C是一個(gè)范疇, 取X∈Ob(C ), 定義范疇C/X如下:

        1) 對(duì)象: 任意C∈C, 范疇C中態(tài)射f: C→X作為C/X的對(duì)象;

        2) 態(tài)射: 對(duì)于f: C→X, g: D→X, 定義Hom(f,g)={h∈Hom(C,D)|f=gh};

        3) 復(fù)合: 由范疇C中復(fù)合誘導(dǎo);

        4) 單位: 1f=idX.

        則稱(chēng)范疇C/X為對(duì)象X上的切片范疇. 對(duì)偶地, 可定義余切片范疇X/C.

        定義6[8]設(shè)C是一個(gè)完備范疇, L上的一個(gè)C-預(yù)層F是范疇Lop到范疇C的函子F: Lop→C, 則:

        1) 對(duì)象間的對(duì)應(yīng): 若u∈Ob(L ), 則F(u)∈C;

        2) 態(tài)射間的對(duì)應(yīng): 若v≤u∈Mor(L ), 則F(v≤u): F(u)→F(v)∈Mor(C ).

        定義7[8]設(shè)F是L上的一個(gè)C-預(yù)層, {ui|i∈I}, {u=∨ui|i∈I}(ui∈L ), 如果

        正合, 即態(tài)射e是態(tài)射a,b的等值子, 則稱(chēng)F是L上的一個(gè)C-層.

        注2特別地, 取范疇C為Set, 則可得集合范疇上的預(yù)層及層.

        2 范疇Set(L )與范疇Set(fL )的同構(gòu)關(guān)系

        定義8設(shè)L是一個(gè)完備格范疇, Set是集合范疇, 則L-fuzzy集合范疇Set(L )定義如下:

        1) 對(duì)象: 序?qū)?X,A), 其中X∈Ob(Set), A: X→L為集合X的L-fuzzy子集;

        2) 態(tài)射: 序?qū)?f,f*): (X,A)→(Y,B), 其中f: X→Y, f*: A→B由f誘導(dǎo)且滿足A≤B°f;

        3) 復(fù)合: 集合映射的復(fù)合誘導(dǎo);

        4) 單位: 對(duì)任意對(duì)象(X,A), 有1(X,A)=(1X,1A).

        注3由定義3及文獻(xiàn)[11-12], 可定義范疇Set(L )中的極限及余極限等相關(guān)概念.

        定義9設(shè)L是一個(gè)完備格范疇, Set是集合范疇, 則L-flou集合范疇Set(fL )定義如下:

        1) 對(duì)象: 對(duì)(μ,X), 其中X∈Ob(Set), μ: L→P (X)為集合X的L-flou子集;

        3) 復(fù)合: 若φ: (μ,X)→(ν,Y), ψ: (ν,Y)→(ω,Z), 則ψ°φ: (μ,X)→(ω,Z)滿足

        (φ*°ψ*)°μ=(φ°ψ)*°μ≤ω;

        4) 單位: 對(duì)任意對(duì)象(X,A), 有1(X,A)=(1X,1A).

        注4可將L-flou集合范疇Set(fL )視為函子范疇, 即

        其中X的冪集合P (X)可視為偏序范疇, 其對(duì)象為集合X的子集合, 態(tài)射為集合間的包含關(guān)系.

        定理1設(shè)L是一個(gè)完備格范疇, Set是集合范疇, 則L-fuzzy集合范疇Set(L )同構(gòu)于L-flou集合范疇Set(fL ).

        證明: 構(gòu)造從范疇Set(L )到范疇Set(fL )的函子F: Set(L)→Set(fL ), 證明其作用在對(duì)象類(lèi)上同構(gòu)且局部單與局部滿. 設(shè)函子F: Set(L )→Set(fL ), 則:

        1) 對(duì)象間的對(duì)應(yīng): 若A∈Ob(Set(L )), 則F(A)=μA∈Ob(Set(fL )), 這里μA(u)={x∈X|A(x)≥u, u∈L };

        2) 態(tài)射間的對(duì)應(yīng): 若f*: A→B∈Mor(Set(L )), 則F(f*)=μf*: μA→μB∈Mor(Set(fL )).

        首先證明F作用在范疇Set(L )的對(duì)象到范疇Set(fL )的對(duì)象上是同構(gòu)的. 對(duì)任意μA∈Ob(Set(fL )), 令A(yù)μ∈Ob(Set(L )), Aμ(x)=∨{v∈Ob(L )|x∈μ(v)}. 為簡(jiǎn)便, 記{v∈Ob(L )|x∈μ(v)}=Ix.

        首先,對(duì)于城市居民來(lái)說(shuō),判斷他們與外來(lái)人口社會(huì)距離的大小其實(shí)很簡(jiǎn)單,那就是利益的重合。如果她們的利益與遷移人口沒(méi)有重合,也就是說(shuō)他們的利益不會(huì)受到影響時(shí),社會(huì)距離就比較小;相反,當(dāng)城市居民覺(jué)得自身的利益會(huì)受到外來(lái)遷移人口的影響而有所損失時(shí),就會(huì)排斥遷移者,從而有著較大的社會(huì)距離。體現(xiàn)在本次研究中,就是那些有著更高的收入和主觀社會(huì)經(jīng)濟(jì)地位的城市居民與外來(lái)遷移人口的社會(huì)距離更近。因?yàn)橄鄬?duì)于外來(lái)遷移人口,他們有著無(wú)法比擬的競(jìng)爭(zhēng)優(yōu)勢(shì),而那些收入較少、主觀社會(huì)經(jīng)濟(jì)地位低,再加上年齡較大的城市居民則更容易體會(huì)到來(lái)自外來(lái)遷移人口的競(jìng)爭(zhēng),因此對(duì)他們有所排斥。

        {x∈X|A(x)≥A(x0)=A′(x)≥A(x0)},

        從而A′(x0)≥A(x0). 又{x∈X|A(x)≥A′(x0)=A′(x)≥A′(x0)}, 進(jìn)而A(x0)≥A′(x0), 故A′=A. 綜上, F是單的.

        對(duì)任意v≤u∈Ob(L ), t對(duì)應(yīng)如圖4所示的分支之間的交換性. 由圖3的交換性可得圖4的交換性, 故t: μA→μB∈Mor(Set(fL )).

        圖3 交換圖Fig.3 Commutative diagram

        圖4 自然變換t的u,v分支Fig.4 Components u,v of natural transformation t

        圖5 自然變換t的u,0分支Fig.5 Components u,0 of natural transformation t

        A1,μ=∨{v∈Ob(L )|x∈μA(v)=A2,μ},

        故f1*=f2*.

        2) 證F局部滿. 令

        Aμ(x)=∨{u∈Ob(L )|x∈μA(v)},

        Bμ(x)=∨{u∈Ob(L )|f(x)∈μB(v)},

        可得

        故(f,f*): (X,A)→(Y,B)∈Mor(Set(L )).

        綜上, 函子F是從范疇Set(L )到范疇Set(fL )的同構(gòu)函子.

        3 L-子對(duì)象與層

        定義10[9]設(shè)C是一個(gè)完備范疇, 如果對(duì)任意Z∈Ob(C )及f,g: Z→X∈Mor(C ), 由if=ig, 有g(shù)=h, 則稱(chēng)i: X→Y∈Mor(C )為單態(tài)射.

        考慮(X′,i), 其中X′∈Ob(C ), i: X′→X∈Mor(C )是單態(tài)射.

        定義11[9]如果存在f: X′→X″∈Mor(Set), 使得j°f=i成立, 則(X′,i)≤(X″,j). 若g: X″→X′∈Mor(Set), 使得i°g=j,j°f=i, 則稱(chēng)(X′,i)與(X″,j)等價(jià), 記作(X′,i)~(X″,j).

        定義12[9]序?qū)?X′,i)在等價(jià)關(guān)系~下的等價(jià)類(lèi)稱(chēng)為X的子對(duì)象. 在不混淆的情形下, 用(X′,i)表示X的一個(gè)子對(duì)象, 其中i: X′→X是單態(tài)射.

        命題1[9]設(shè)X∈Ob(C ), X的所有子對(duì)象構(gòu)成的范疇記作Sub(X), 則:

        1) 對(duì)象: X的子對(duì)象(X′,i);

        2) 態(tài)射: f: (X′,i)→(X″,j), 且i=j°f;

        3) 復(fù)合: 對(duì)于f: (X′,i)→(X″,j), g: (X″,j)→(X?,k), 有g(shù)°f: (X′,i)→(X?,k), 且i=k°(g°f);

        4) 單位: 1f= id(X′,i).

        定義13設(shè)X∈Ob(C ), X的L-子對(duì)象是指函子μ: L→Sub(X)滿足:

        1) μ(0)=X;

        注6當(dāng)X∈Ob(Set)時(shí), X的L-子對(duì)象即為X的L-子集.

        定義14[6]設(shè)X∈Ob(Set), 函子F: Lop→Sub(X)是Sub(X)層, 則稱(chēng)F是X上的一個(gè)層結(jié)構(gòu), (X,F )稱(chēng)為賦予層結(jié)構(gòu)的集合.

        定義15賦予層結(jié)構(gòu)的集合范疇SetL(S H )定義如下:

        1) 對(duì)象: 賦予層結(jié)構(gòu)的集合(X,F );

        2) 態(tài)射: (X,F ), (Y,G)賦予層結(jié)構(gòu)的集合, 態(tài)射(f,t): (X,F )→(Y,G)中f: X→Y∈Mor(Set), t: F→G是自然變換;

        3) 復(fù)合: (f,t)°(g,s)=(f°g,t°s);

        4) 單位: 1(X,F )=(1X,1F).

        定理2設(shè)L是一個(gè)完備格范疇, 則賦予層結(jié)構(gòu)的集合范疇SetL(S H )同構(gòu)于L-flou集合范疇Set(fL ).

        證明: 由文獻(xiàn)[6]知, 賦予層結(jié)構(gòu)的集合范疇SetL(S H )同構(gòu)于L-fuzzy集合范疇Set(L ). 再由定理1可得結(jié)論.

        猜你喜歡
        模糊集同構(gòu)子集
        由一道有關(guān)集合的子集個(gè)數(shù)題引發(fā)的思考
        巧用同構(gòu)法解決壓軸題
        拓?fù)淇臻g中緊致子集的性質(zhì)研究
        基于上下截集的粗糙模糊集的運(yùn)算性質(zhì)
        指對(duì)同構(gòu)法巧妙處理導(dǎo)數(shù)題
        同構(gòu)式——解決ex、ln x混合型試題最高效的工具
        高等代數(shù)教學(xué)中關(guān)于同構(gòu)的注記
        關(guān)于奇數(shù)階二元子集的分離序列
        E-不變凸模糊集
        每一次愛(ài)情都只是愛(ài)情的子集
        都市麗人(2015年4期)2015-03-20 13:33:22
        亚洲va在线∨a天堂va欧美va| 国产精品午夜夜伦鲁鲁| 性无码一区二区三区在线观看| 搡老熟女中国老太| 无码国产精品第100页| 国产精品久久国产三级国| 亚洲精品国产精品乱码视色| 97久久草草超级碰碰碰| 毛片免费在线观看网址| 熟女人妻一区二区在线观看| 国产偷国产偷亚洲综合av| 性裸交a片一区二区三区| 亚洲成a人片在线观看久| 日韩精品一区二区三区四区五区六 | 国产精品jizz在线观看老狼| 日韩在线视精品在亚洲| 亚洲中文字幕综合网站| 婷婷四虎东京热无码群交双飞视频 | 黄色av三级在线免费观看| 少妇被按摩出高潮了一区二区| 精品国产av色一区二区深夜久久 | 日本在线中文字幕一区二区| 国产日韩厂亚洲字幕中文| 国产激情久久久久影院老熟女| 久久久久中文字幕无码少妇| 国产一级自拍av播放| 人人妻人人添人人爽欧美一区| av无码久久久久不卡网站下载| 99精品视频69v精品视频免费| 男女搞基视频免费网站| 成 人 免 费 黄 色| 精品丝袜人妻久久久久久| 抖射在线免费观看视频网站 | 中文字幕在线日亚州9| 精品少妇人妻av免费久久久| 亚洲国产综合精品久久av| 亚洲va视频一区二区三区| 亚洲色欲色欲www| 白白色发布在线播放国产| 成人爽a毛片在线播放| 久久天堂综合亚洲伊人hd妓女|