999精品在线视频,手机成人午夜在线视频,久久不卡国产精品无码,中日无码在线观看,成人av手机在线观看,日韩精品亚洲一区中文字幕,亚洲av无码人妻,四虎国产在线观看 ?

不可約內部算子和不可約閉包算子

2019-03-22 12:00:57徐款款
長春師范大學學報 2019年2期
關鍵詞:定義

徐款款,盧 濤

(淮北師范大學數學科學學院,安徽淮北 235000)

偏序集上的內部算子和閉包算子[1]是對點集拓撲學中的內部和閉包的抽象和完善.很多學者對它進行了研究,路玲霞[2]、姚衛[3]分別給出內部算子和閉包算子與伴隨的關系及其性質.本文在格上給出不可約閉包算子和不可約內部算子的定義,并研究了相關性質及其等價刻畫,進一步豐富了偏序集上的算子理論.

1 預備知識

定義1.1[4]設L是格,a∈L,(1)設a≠1,若?x,y∈L,當x∧y=a時,有x=a或y=a,則稱a是L的交既約元;(2)設a≠0,若?x,y∈L,當x∨y=a時,有x=a或y=a,則稱a是L的并既約元.

定義1.2[5]設S和T是偏序集,f:S→T,g:T→S是映射,若(1)f和g都是保序映射;(2)?s∈S,t∈T,f(s)≥t?s≥g(t),則稱偶對(f,g)是S和T上的Galois伴隨(簡稱伴隨).其中,f稱為上伴隨,g稱為下伴隨.

定義1.3[6]設L是半格,F:L→L是映射,對任意的a∈L,設a≠1,如果對一切的x,y∈L,當F(x∧y)≤a時,有F(x)≤a或F(y)≤a,則稱F為L上的素內部算子.

定義1.4[6]設L是并半格,F:L→L是映射,對任意的a∈L,設a≠0,如果對一切的x,y∈L,當F(x∨y)≥a時,有F(x)≥a或F(y)≥a,則稱F為L上的素閉包算子.

2 不可約內部算子與不可約閉包算子

定義2.1 設L是半格,F:L→L是保序映射,對任意的a∈L,設a≠1,如果對任意的x,y∈L,當F(x∧y)=a時,有F(x)=a或F(y)=a,則稱F為L上的不可約內部算子.

定義2.2 設L是并半格,F:L→L是保序映射,對任意的a∈L,設a≠0,如果對任意的x,y∈L,當F(x∨y)=a時,有F(x)=a或F(y)=a,則稱F為L上的不可約閉包算子.

顯然,根據不可約內部算子和不可約閉包算子定義,有以下結論:(1)設L是格,若L上的恒等映射F:L→L是保序映射,a∈L,a≠1,且a是L的交既約元,則F為L上的不可約內部算子;(2)設L是格,若L上的恒等映射F:L→L是保序映射,a∈L,a≠0,且a是L的并既約元,則F為L上的不可約閉包算子.

命題2.1 設L是半格,F:L→L是半格同構映射,對?a∈L,若F為不可約內部算子,則a是L上的交既約元.

證明 設a≠1,對?x,y∈L,當x∧y=a時,由F保序知,F(x∧y)=F(a).因為F為不可約內部算子,則F(x)=F(a)或F(y)=F(a).由F逆保序知,x=a或y=a,故a是L上的交既約元.

相應地,有以下命題:

命題2.2 設L是并半格,F:L→L是并半格同構映射,對?a∈L,若F為不可約閉包算子,則a是L上的并既約元.

定理2.1 設(f,g)是格S和T上的伴隨且f保并,g保交,(1)若任意的a∈T是并既約元,則gf是不可約閉包算子;(2)若任意的a∈S是交既約元,則fg是不可約內部算子.

證明 (1)?x,y∈T,若fg(x∨y)=a,則fg(x)∨fg(y)=a.因為a是并既約元,則fg(x)=a或fg(y)=a,故fg是不可約閉包算子.

(2)?x,y∈S,若fg(x∧y)=a,則fg(x)∧fg(y)=a.因為a是交既約元,則fg(x)=a或fg(y)=a,故fg是不可約內部算子.

接下來給出不可約閉包算子和不可約內部算子與素閉包算子和素內部算子的關系:

定理2.2 設L是分配格,F:L→L是保序映射,則(1)F是素內部算子當且僅當F是不可約內部算子;(2)F是素閉包算子當且僅當F是不可約閉包算子.

證明 (1)設F是不可約內部算子,若?x,y∈L,?a∈L,F(x∧y)≤a,則由分配律可知,a=F(x∧y)∨a=a∨(F(x)∧F(y))=(a∨F(x))∧(a∨F(y)),則a=a∨F(x)或a=a∨F(y),從而F(x)≤a或F(y)≤a,故F是素內部算子.

反過來,設F是素內部算子,若?x,y∈L,?a∈L,F(x∧y)=a,則F(x∧y)≤a且F(x∧y)≥a,當F(x∧y)≤a時,F(x)≤a或F(y)≤a;當F(x∧y)≥a時,a≤F(x)或a≤F(y),故F(x)=a或F(y)=a,F是不可約內部算子.

類似可證結論(2).

定理2.3[4]設L是格,F是L上的閉包算子,對任意的a∈F(L),則F是格L上的素內部算子當且僅當主理想↓(F(a))是素理想.

定理2.4[4]設L是格,F是L上的內部算子,對任意的a∈F(L),則F是格L上的素閉包算子當且僅當主濾子↑(F(a))是素濾子.

根據定理2.2、定理2.3和定理2.4有以下結論:

定理2.5 設L是分配格,F是L上的閉包算子,對任意的a∈F(L),則F是格L上的不可約內部算子當且僅當主理想↓(F(a))是素理想.

定理2.6 設L是分配格,F是L上的內部算子,對任意的a∈F(L),則F是格L上的不可約閉包算子當且僅當主濾子↑(F(a))是素濾子.

定理2.7 設L是完備格,映射{gi}i∈I:L→L保序,(1)對任意的a∈L,若a是交既約元,則L上的所有不可約內部算子構成的集合是完備格;(2)對任意的a∈L,若a是并既約元,則所有不可約閉包算子構成的集合是完備格.

證明 設任意的映射{gi}i∈I是不可約內部算子,設g=∧i∈Igi,則g保序.任意的a∈L,a≠1,?x,y∈L,當∧i∈Igi(x∧y)=a時,即(∧i∈Igi(x))∧(∧i∈Igi(y))=a,又因為a是交既約元,故∧i∈Igi(x)=a或∧i∈Igi(y)=a,從而∧i∈Igi是不可約內部算子,即所有不可約內部算子構成的集合對任意交封閉,故L上的所有不可約內部算子構成的集合是完備格.

同理可證,L上的所有不可約閉包算子構成的集合是完備格.

設f是不可約內部算子,g是不可約閉包算子,令Lf={a∈L:f(a)=a},Lg={a∈L:g(a)=a},若f,g冪等,則Lf,Lg非空.若L是完備格,則Lf是交完備子格(即對任意交封閉),Lg是并完備子格(即對任意并封閉).

定理2.8 設L是完備格,映射f:L→L是冪等的,若存在L的并完備格子格L1,使?a∈L,都有f(a)=∨↓L1a成立,其中↓L1a={x∈L:x≤a},則f是素內部算子.

證明 ?a,b∈L,使a≤b,則↓L1a?↓L1b,從而∨↓L1a?∨↓L1b,即f(a)≤f(b),從而f保序.因為f(a∧b)=f(b)=↓L1b={x∈L:x≤b}≤b,又因為f冪等,則a=f(a)≤f(b)=b≤b,從而f(a)≤b或f(b)≤b,故f是素內部算子.

定理2.9 設L是完備格,映射f:L→L是冪等的,若存在L的交完備格子格L1,使?a∈L,都有f(a)=∧↑L1a成立,其中↑L1a={x∈L:x≥a},則f是素閉包算子.

最后給出關于布爾代數上的不可約閉包算子與不可約內部算子的等價刻畫.

設L是布爾代數,:L→L是相應的補運算(即滿足?a∈L,a∧a=0,a∨a=1).易知,:L→L為逆合對應,即?x,y∈L,x≤y?x≥y.證明過程可見參考文獻[7].

定理2.10 設L是布爾代數,:L→L是補運算,對?a∈L,若f是不可約內部算子,g是不可約閉包算子,則f是不可約閉包算子,g是不可約內部算子.

猜你喜歡
定義
以愛之名,定義成長
活用定義巧解統計概率解答題
例談橢圓的定義及其應用
題在書外 根在書中——圓錐曲線第三定義在教材和高考中的滲透
永遠不要用“起點”定義自己
海峽姐妹(2020年9期)2021-01-04 01:35:44
嚴昊:不定義終點 一直在路上
華人時刊(2020年13期)2020-09-25 08:21:32
定義“風格”
成功的定義
山東青年(2016年1期)2016-02-28 14:25:25
有壹手——重新定義快修連鎖
修辭學的重大定義
當代修辭學(2014年3期)2014-01-21 02:30:44
主站蜘蛛池模板: 亚洲一区精品视频在线| 91探花在线观看国产最新| 国产91麻豆视频| 久久久亚洲色| 亚洲AⅤ综合在线欧美一区| 成人午夜在线播放| 91久久精品国产| 欧美人人干| 少妇露出福利视频| 91精品国产无线乱码在线| 香蕉视频国产精品人| A级全黄试看30分钟小视频| 人妻少妇乱子伦精品无码专区毛片| 日本三级欧美三级| 日日噜噜夜夜狠狠视频| 91破解版在线亚洲| 成人午夜福利视频| 国产午夜在线观看视频| 亚洲丝袜第一页| 欧美笫一页| 亚洲婷婷丁香| a毛片免费在线观看| 亚洲一区二区黄色| 亚洲欧美人成电影在线观看| 青青草国产一区二区三区| 精品久久综合1区2区3区激情| 狠狠色狠狠色综合久久第一次| 不卡视频国产| 91po国产在线精品免费观看| 亚洲欧美在线综合一区二区三区| 最新国产你懂的在线网址| 国产精品成人免费综合| 999福利激情视频| 国产一在线观看| 久久精品国产在热久久2019| 无码在线激情片| 91极品美女高潮叫床在线观看| 亚洲天堂网视频| 欧美日韩一区二区在线播放 | 国产亚洲欧美在线视频| 亚洲三级电影在线播放| 日韩东京热无码人妻| 日本一区二区三区精品AⅤ| 国产欧美视频综合二区 | 国产一区二区三区夜色| 狠狠干综合| 国产91丝袜在线播放动漫| 婷婷色在线视频| 996免费视频国产在线播放| 国产又色又刺激高潮免费看 | 国内精品免费| 中文字幕日韩视频欧美一区| 日本妇乱子伦视频| 久草热视频在线| 国产91丝袜在线观看| 天天视频在线91频| 国产91小视频在线观看| 国模私拍一区二区三区| 国产福利免费在线观看| 97超爽成人免费视频在线播放| 一区二区日韩国产精久久| 亚洲综合第一区| 欧美午夜视频在线| 亚洲综合精品香蕉久久网| 亚洲 欧美 偷自乱 图片| 久久人午夜亚洲精品无码区| 一区二区三区毛片无码| 国产一区二区三区精品欧美日韩| 51国产偷自视频区视频手机观看| 日韩精品毛片人妻AV不卡| 亚洲免费福利视频| 国产人人射| 日韩黄色在线| 成人国产精品网站在线看| 国产精品成人久久| 四虎成人精品在永久免费| 日本免费a视频| 成人在线欧美| 国产精品原创不卡在线| 欧美三级视频网站| 一本大道东京热无码av | 亚洲男人在线天堂|