• 
    

    
    

      99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看

      ?

      拓?fù)湎到y(tǒng)中的內(nèi)部元及其應(yīng)用

      2024-03-05 14:25:58白榮榮吳洪博
      關(guān)鍵詞:同態(tài)等價(jià)算子

      白榮榮, 吳洪博

      (陜西師范大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 陜西 西安 710119)

      根據(jù)研究對(duì)象的不同,拓?fù)鋵W(xué)的研究方法可以分為有點(diǎn)化方法和無(wú)點(diǎn)化方法[1-2].兩種方法各有其特點(diǎn)與優(yōu)勢(shì),可以相互借鑒[3-6].1989年,Vickers[7]引進(jìn)了一種新型的拓?fù)鋵W(xué)研究對(duì)象-拓?fù)湎到y(tǒng),成功的將兩種方法融合為一體.Vickers[7]主要從格序理論方面對(duì)拓?fù)湎到y(tǒng)的性質(zhì)和應(yīng)用進(jìn)行了討論.近幾年來(lái),國(guó)內(nèi)學(xué)者對(duì)拓?fù)湎到y(tǒng)的性質(zhì)和應(yīng)用均有研究,并且取得了一些相關(guān)成果[8-16].

      本文結(jié)合拓?fù)淇臻g中開(kāi)集和拓?fù)湎到y(tǒng)中開(kāi)元的關(guān)聯(lián)性,在拓?fù)湎到y(tǒng)中提出了內(nèi)部元的概念,并對(duì)其相關(guān)性質(zhì)進(jìn)行了研究.本文的工作主要包含三部分:1) 在拓?fù)湎到y(tǒng)中引入內(nèi)部元概念,討論了內(nèi)部元的基本性質(zhì);2) 在點(diǎn)集X與FrameA之間通過(guò)映射范圍Ex:A→2X,內(nèi)部元映射Int:2X→A定義了內(nèi)部元算子,討論了內(nèi)部元算子的相關(guān)性質(zhì),給出了由內(nèi)部元算子確定拓?fù)湎到y(tǒng)的方法;3) 利用內(nèi)部元對(duì)拓?fù)湎到y(tǒng)之間的連續(xù)映射進(jìn)行了等價(jià)刻畫(huà).

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

      定義1[3,7]FrameA是滿足以下條件的偏序集:

      1) ?S?finA,S的下確界存在,即∧S存在;

      2) ?S?A,S的上確界存在,即∨S存在;

      3) 滿足第一無(wú)限分配律,即,?a∈A,?S?A,有a∧(∨S)=∨{a∧s:s∈S}.

      注11) 本文中S?finA表示S是A中的有限子集;

      2) 由于∨-完備格是完備格,完備格是有界格,將其中最大元記作1,最小元記作0.又在格中兩個(gè)分配律等價(jià),因此Frame是分配格.

      定義2[3,7]設(shè)A,B是Frame.若映射f:A→B滿足以下條件:

      1) ?S?finA,f(∧S)=∧f(S);

      2) ?S?A,有f(∨S)=∨f(S);

      則稱f:A→B是Frame同態(tài).

      定義3[7]設(shè)A是Frame,X是集合,|=?X×A,若(x,a)∈|=,則稱x滿足a,記作x|=a.若|=滿足:

      1)?S?finA,?x∈X,x|=∧S??a∈S,x|=a;

      2)?S?A,?x∈X,x|=∨S??a∈S,使得x|=a;

      則稱(X,A,|=)為一個(gè)拓?fù)湎到y(tǒng).

      在本文中,將拓?fù)湎到y(tǒng)(X,A,|=)記為D,將X記為PtD,將A記為ΩD.

      引理1[7]設(shè)D=(PtD,ΩD,|=)是拓?fù)湎到y(tǒng),1,0分別是ΩD的最大元和最小元.?a,b∈ΩD,則

      1) ?x∈PtD,x|=1;

      2) ?x∈PtD,x|≠0;

      3) 若x|=a,a≤b,則x|=b.

      引理2[7]設(shè)D=(PtD,ΩD,|=)是拓?fù)湎到y(tǒng).定義映射ex:ΩD→2PtD,

      ?a∈ΩD,ex(a)={x∈PtD,x|=a}

      設(shè)Ω(PtD)={ex(a)|a∈ΩD},則Ω(PtD)是PtD上的拓?fù)?并且,

      1) ex(0)=?,ex(1)=2PtD;

      2) ?a,b∈ΩD,ex(a∧b)=ex(a)∩ex(b);

      3) ?S?ΩD,ex(∨S)=∪{ex(s)|s∈S}.

      2 拓?fù)湎到y(tǒng)中的內(nèi)部元及基本性質(zhì)

      借助拓?fù)湎到y(tǒng)中的Frame的成員定義拓?fù)湎到y(tǒng)中點(diǎn)集部分的子集的內(nèi)部元, 并討論與內(nèi)部元相關(guān)的性質(zhì).

      定義4在拓?fù)湎到y(tǒng)D=(PtD,ΩD,|=)中,設(shè)A?PtD.令

      A°=∨{a|a∈ΩD,ex(a)?A}

      稱A°為集合A在拓?fù)湎到y(tǒng)D=(PtD,ΩD,|=)中的內(nèi)部元.

      定理1在拓?fù)湎到y(tǒng)D=(PtD,ΩD,|=)中,內(nèi)部元有如下的性質(zhì):

      1) ex(1)=PtD,(PtD)°=1;

      2) ?A?PtD,ex(A°)?A;

      3) ?A,B?PtD,若A?B,則A°≤B°;

      4) ?A,B?PtD,A°∧B°=(A∩B)°;

      5) ?a∈ΩD,a≤(ex(a))°;

      6) ?A?PtD,a∈ΩD,則ex(a)?ex(A°)當(dāng)且僅當(dāng)a≤A°;

      7) ?A?PtD,(ex(A°))°=A°;

      8) ?a∈ΩD,ex((ex(a))°)=ex(a).

      證明在拓?fù)湎到y(tǒng)D=(PtD,ΩD,|=)中,

      1) 由引理1中1)知?x∈PtD,x|=1.即,?x∈PtD,x∈ex(1).因此,ex(1)=PtD.

      因?yàn)?a∈ΩD,則a≤1,結(jié)合引理2中2)可知:ex(a)?ex(1)=PtD.所以,由定義4得

      (PtD)°=∨{a|a∈ΩD,ex(a)?PtD}=
      ∨{a|a∈ΩD}=1

      2) ?A?PtD,根據(jù)定義4,引理2中3)得

      ex(A°)=ex(∨{a|a∈ΩD,ex(a)?A})=
      ∪{ex(a)|a∈ΩD,ex(a)?A}?A

      3) ?A,B?PtD,若A?B,因此,

      {a|a∈ΩD,ex(a)?A}?

      {a|a∈ΩD,ex(a)?B}

      因此,

      ∨{a|a∈ΩD,ex(a)?A}≤

      ∨{a|a∈ΩD,ex(a)?B}

      因此,

      A°≤B°

      4) ?A,B?PtD.首先,由于A∩B?A,根據(jù)3)得

      A°≥(A∩B)°;同理,B°≥(A∩B)°

      其次,由2)知:ex(A°)?A,ex(B°)?B,因此,A°∧B°≥(A∩B)°,

      ex(A°)∩ex(B°)?A∩B

      結(jié)合引理2中2)得

      ex(A°∧B°)?A∩B

      因此,A°∧B°∈{a|a∈ΩD,ex(a)?A∩B},再結(jié)合定義4得

      (A∩B)°=∨{a|a∈ΩD,ex(a)?A∩B}≥A°∧B°

      綜合以上兩方面得

      A°∧B°=(A∩B)°

      5) ?a∈ΩD,因?yàn)閍∈{b|b∈ΩD,ex(b)?ex(a)},因此,根據(jù)定義4得

      (ex(a))°=∨{b|b∈ΩD,ex(b)?ex(a)}≥a

      6) 設(shè)A?PtD,a∈ΩD.

      一方面,若ex(a)?ex(A°),又由定理1中2)得

      ex(A°)?A

      因此,ex(a)?A.結(jié)合3)得

      (ex(a))°≤A°

      又根據(jù)5)得

      a≤(ex(a))°

      因此,a≤A°.

      另一方面,若a≤A°,結(jié)合引理2中2)可得

      ex(a)?ex(A°)

      結(jié)合兩方面得ex(a)?ex(A°)當(dāng)且僅當(dāng)a≤A°.

      7) ?A?PtD,首先,A°∈ΩD,其次,A°≤A°,利用6)得

      8) ?a∈ΩD,由2)得ex((ex(a))°)?ex(a);由5)得a≤(ex(a))°,由范圍映射的保序性直接可得ex(a)?ex((ex(a))°),所以,ex((ex(a))°)=ex(a).

      定理2在拓?fù)湎到y(tǒng)D=(PtD,ΩD,|=)中,

      {A°|A∈2PtD}={(ex(a))°|a∈ΩD}

      證明一方面,?a∈ΩD,由于ex(a)∈2PtD,因此,?a∈ΩD,(ex(a))°∈{A°|A∈2PtD}.所以,

      {A°|A∈2PtD}?{(ex(a))°|a∈ΩD}

      另一方面,?A∈2PtD,由定理1中7)得(ex(A°))°=A°.又由于A°∈ΩD,因此,

      (ex(A°))°∈{(ex(a))°|a∈ΩD}

      兩者結(jié)合得A°∈{(ex(a))°|a∈ΩD}.所以,

      {A°|A∈2PtD}?{(ex(a))°|a∈ΩD}

      綜合以上兩方面得

      {A°|A∈2PtD}={(ex(a))°|a∈ΩD}

      定理3在拓?fù)湎到y(tǒng)D=(PtD,ΩD,|=)中,

      {A∈2PtD|ex(A°)=A}={ex(a)|a∈ΩD}

      證明一方面,?A∈2PtD,如果ex(A°)=A,由于A°∈ΩD,因此,ex(A°)∈{ex(a)|a∈ΩD},從而,A∈{ex(a)|a∈ΩD}.所以,

      {A∈2PtD|ex(A°)=A}?{ex(a)|a∈ΩD}

      另一方面,?a∈ΩD,由定理1中8)知:

      ex((ex(a))°)=ex(a)

      因此,ex(a)∈{A∈2PtD|ex(A°)=A}.所以,

      {A∈2PtD|ex(A°)=A}?{ex(a)|a∈ΩD}

      綜合以上兩方面知:

      {A∈2PtD|ex(A°)=A}={ex(a)|a∈ΩD}

      3 拓?fù)湎到y(tǒng)中的內(nèi)部元算子

      定義5(內(nèi)部元算子) 設(shè)X是非空集合,L是Frame.若雙映射:Ex:L→2X,Int:2X→L滿足條件:

      1) Int(X)=1,Ex(1)=X;

      2) ?A?X,A?Ex(Int(A));

      3) ?a,b∈L,Ex(a∧b)=Ex(a)∩Ex(b);

      4) ?A,B?X,Int(A)∧Int(B)=Int(A∩B);

      5) ?a∈L,Int(Ex(a))≥a;

      則稱(Ex,Int)是(X,L)上的內(nèi)部元算子.

      引理3設(shè)X是非空集合,L是Frame,(Ex,Int)是(X,L)上內(nèi)部元算子.則

      1) Ex:L→2X是保序映射.即,?a,b∈L,若a≤b,則Ex(a)?Ex(b);

      2) Int:2X→L是保序映射.即,?A,B∈2X,若A?B,則Int(A)≤Int(B);

      3) ?A∈2X,Int(Ex(Int(A)))=Int(A);

      4) ?a∈ΩD,Ex(Int(Ex(a)))=Ex(a);

      證明1) ?a,b∈L.若a≤b,則a∧b=a.因此,Ex(a∧b)=Ex(a).結(jié)合定義5中3)得

      Ex(a)∩Ex(b)=Ex(a)

      因此,Ex(a)?Ex(b).

      2) 類似1)的證明,結(jié)合定義5中4)可證,略.

      3) 一方面,由內(nèi)部算子的條件2)得

      Ex(Int(A))?A

      結(jié)合引理3中2)可得

      Int(Ex(Int(A)))≤Int(A)

      另一方面,由內(nèi)部算子的條件5)得

      Int(Ex(Int(A)))≥Int(A)

      綜合兩方面得

      Int(Ex(Int(A)))=Int(A)

      4) ?a∈ΩD.由定義5中2)得

      Ex(Int(Ex(a)))?Ex(a)

      由定義5中5)得Int(Ex(a))≥a,結(jié)合引理3中1)得

      Ex(Int(Ex(a)))?Ex(a)

      所以,Ex(Int(Ex(a)))=Ex(a)

      引理4設(shè)X是非空集合,L是Frame,(Ex,Int)是(X,L)上內(nèi)部元算子.則集族

      Τ={A∈2X|Ex(Int(A))=A}

      是集合X上的拓?fù)?

      證明1) 由定義5中1)得

      Ex(Int(X))=Ex(1)=X

      因此,X∈Τ;

      再由定義5中2)得??Ex(Int(?)),因此,?=Ex(Int(?)),因此,?∈Τ;

      2) 設(shè)A,B∈Τ,則

      A=Ex(Int(A)),B=Ex(Int(B))

      結(jié)合定義5中3),定義5中4)得

      Ex(Int(A∩B))=Ex(Int(A)∧Int(B))=

      Ex(Int(A))∩Ex(Int(B))=A∩B

      因此,A∩B∈Τ;

      3) 設(shè){Aj|j∈J}?Τ,則

      ?j∈J,Aj=Ex(Int(Aj))

      一方面,由定義5中2)得

      進(jìn)而,

      再結(jié)合?j∈J,Aj=Ex(Int(Aj))得

      因此,

      綜合上面兩方面得

      由1)~3)的結(jié)果知:集族

      Τ={A∈2X|Ex(Int(A))=A}

      是集合X上的拓?fù)?

      引理5設(shè)X是非空集合,L是Frame,(Ex,Int)是(X,L)上內(nèi)部元算子.則Ex:L→2X是Frame同態(tài).

      證明1) ?a,b∈L.根據(jù)定義5中3)可得

      Ex(a∧b)=Ex(a)∩Ex(b)

      2) ?{aj|j∈J}?L.

      一方面,由于?j∈J,aj≤∨{aj|j∈J}.結(jié)合引理3中1)得

      ?j∈J,Ex(aj)?Ex(∨{aj|j∈J})

      因此,

      ∪{Ex(aj)|j∈J}?Ex(∨{aj|j∈J})

      另一方面,由于?j∈J,

      ∪{Ex(aj)|j∈J}?Ex(aj)

      由引理3中2)得?j∈J,

      Int(∪{Ex(aj)|j∈J})≥Int(Ex(aj))

      又由定義5中5)得

      ?j∈J,Int(Ex(aj))≥aj

      將兩者結(jié)合得

      Int(∪{Ex(aj)|j∈J})≥aj

      因此,

      Int(∪{Ex(aj)|j∈J})≥∨{aj|j∈J}

      結(jié)合引理3中1)得

      Ex(Int(∪{Ex(aj)|j∈J}))?Ex(∨{aj|j∈J})

      再由定義5中2)得

      ∪{Ex(aj)|j∈J}?Ex(Int(∪{Ex(aj)|j∈J}))

      因此,由傳遞性得

      ∪{Ex(aj)|j∈J}?Ex(∨{aj|j∈J})

      綜合以上兩方面得

      ∪{Ex(aj)|j∈J}=Ex(∨{aj|j∈J})

      因此,根據(jù)定義2知Ex:L→2X是Frame同態(tài).

      引理6設(shè)X是非空集合,L是Frame,(Ex,Int)是(X,L)上內(nèi)部元算子.定義從X到L的二元關(guān)系|=如下:

      ?(x,a)∈X×L,x|=a當(dāng)且僅當(dāng)x∈Ex(a)

      則(X,L,|=)是拓?fù)湎到y(tǒng).

      證明由引理5知:Ex:L→2X是Frame同態(tài).下面驗(yàn)證二元關(guān)系|=滿足定義3中1)和2).

      1) ?S?finL,結(jié)合定義5中3)得x|=∧S,當(dāng)且僅當(dāng)x∈Ex(∧S),當(dāng)且僅當(dāng)x∈∩{Ex(s)|s∈S},當(dāng)且僅當(dāng)?s∈S,x∈Ex(s),當(dāng)且僅當(dāng)?s∈S,x|=s;

      2) ?S?L,由引理5知:

      Ex(∨S)=∪{Ex(s)|s∈S}

      因此,x|=∨S,當(dāng)且僅當(dāng)x∈Ex(∨S),當(dāng)且僅當(dāng)x∈∪{Ex(s)|s∈S},當(dāng)且僅當(dāng)?s∈S,x∈Ex(s),當(dāng)且僅當(dāng)?s∈S,x|=s.

      根據(jù)定義3知:(X,L,|=)是拓?fù)湎到y(tǒng).

      4 Kuratovski型內(nèi)部元算子定理

      定理4(內(nèi)部元算子定理) 設(shè)X是非空集合,L是Frame,(Ex,Int)是(X,L)上內(nèi)部元算子.則存在唯一的拓?fù)湎到y(tǒng)D=(X,L,|=),使得在該拓?fù)湎到y(tǒng)中,?A?X,A°=Int(A).

      證明設(shè)X是非空集合,L是Frame,(Ex,Int)是(X,L)上內(nèi)部元算子.定義從X到L的二元關(guān)系“|=”如下:

      ?(x,a)∈X×L,x|=a當(dāng)且僅當(dāng)x∈Ex(a)

      則由引理6知D=(X,L,|=)是拓?fù)湎到y(tǒng),且由“|=”定義和引理2可知:?a∈L,

      ex(a)=Ex(a)

      在拓?fù)湎到y(tǒng)(X,L,|=)中,?A∈2X,由定義4知:A°=∨{a|a∈L,Ex(a)?A}.

      一方面,由定義5中2)知:Ex(Int(A))?A,又Int(A)∈L,因此,

      Int(A)∈{a|a∈L,Ex(a)?A}

      另一方面,?a∈L,若Ex(a)?A,則結(jié)合引理3中2)可得Int(A)≥Int(Ex(a));又由定義5中5)得Int(Ex(a))≥a.因此,Int(A)≥a.

      綜合兩方面知:

      A°=∨{a|a∈L,Ex(a)?A}=Int(A)

      下面證明滿足條件的拓?fù)湎到y(tǒng)D=(X,L,|=)的唯一性,若拓?fù)湎到y(tǒng)D1=(X,L,|=1)也滿足:

      ?A?PtD,A°=Int(A)

      在拓?fù)湎到y(tǒng)D1=(X,L,|=1)中,?a∈L,用ex1(a)記a在D1中的范圍,因此,

      1) (ex1(a))°=Int(ex1(a));

      2) (Ex(a))°=Int(Ex(a)).

      先證?a∈L,ex1(a)=Ex(a).

      ?a∈L.

      一方面,由定理1中5)得(ex1(a))°≥a,再結(jié)合1)得

      a≤Int(ex1(a))

      再結(jié)合引理3中1)得

      Ex(a)?Ex(Int(ex1(a)))

      又根據(jù)定義5中2)得

      Ex(Int(ex1(a)))?ex1(a)

      因此,

      Ex(a)?ex1(a)

      另一方面,由定義5中5)得Int(Ex(a))≥a,再結(jié)合2)得

      (Ex(a))°≥a

      再結(jié)合引理2可知:

      ex1((Ex(a))°)?ex1(a)

      又根據(jù)定理1的2),得

      ex1((Ex(a))°)?Ex(a)

      因此,Ex(a))?ex1(a).

      綜合以上兩方面得

      ?a∈L,Ex(a)=ex1(a)

      再證|=1=|=.?a∈L,?x∈X.

      由引理2知:

      x|=1a當(dāng)且僅當(dāng)x∈ex1(a)

      結(jié)合Ex(a)=ex1(a)可知:

      x|=1a當(dāng)且僅當(dāng)x∈Ex(a)

      由|=的定義可知:

      x∈Ex(a)當(dāng)且僅當(dāng)x|=a

      因此,?a∈L,?x∈X.x|=1a當(dāng)且僅當(dāng)x|=a.所以,|=1=|=.

      因此,兩個(gè)拓?fù)湎到y(tǒng)是一致的.

      5 連續(xù)映射的等價(jià)刻畫(huà)

      利用內(nèi)部元對(duì)連續(xù)映射進(jìn)行等價(jià)刻畫(huà).

      定義6[7]設(shè)D=(PtD,ΩD,|=),E=(PtE,ΩE,|=)是拓?fù)湎到y(tǒng),映射Ptf:PtD→PtE和Frame態(tài)射Ωf:ΩE→ΩD構(gòu)成的偶對(duì)(Ptf,Ωf)稱為從拓?fù)湎到y(tǒng)D=(PtD,ΩD,|=)到拓?fù)湎到y(tǒng)E=(PtE,ΩE,|=)的映射,記作f:D→E.

      再若?x∈PtD,?b∈ΩD,

      x|=Ωf(b)當(dāng)且僅當(dāng)Ptf(x)|=b

      則稱f:D→E是連續(xù)映射.

      為后面討論方便,先給出下面的連續(xù)映射的等價(jià)描述.

      定理5設(shè)D=(PtD,ΩD,|=),E=(PtE,ΩE,|=)是拓?fù)湎到y(tǒng),映射f:D→E連續(xù)的充要條件是:?b∈ΩD,

      ex(Ωf(b))=(Ptf)-1(ex(b))

      證明必要性) 設(shè)f:D→E是連續(xù)的.?b∈ΩD.

      根據(jù)引理2定義6和f:D→E連續(xù)可得?x∈PtD,x∈ex(Ωf(b)),當(dāng)且僅當(dāng)x|=Ωf(b)當(dāng)且僅當(dāng)Ptf(x)|=b,當(dāng)且僅當(dāng)Ptf(x)∈ex(b),當(dāng)且僅當(dāng)x∈(Ptf)-1(ex(b)).

      因此,?b∈ΩD,

      ex(Ωf(b))=(Ptf)-1(ex(b))

      充分性) 設(shè)?b∈ΩD,

      ex(Ωf(b))=(Ptf)-1(ex(b))

      ?b∈ΩD,?x∈PtD.

      根據(jù)引理2和ex(Ωf(b))=(Ptf)-1(ex(b))可得x|=Ωf(b)當(dāng)且僅當(dāng)x∈ex(Ωf(b)),當(dāng)且僅當(dāng)x∈(Ptf)-1(ex(b)),當(dāng)且僅當(dāng)Ptf(x)∈ex(b),當(dāng)且僅當(dāng)Ptf(x)|=b.

      因此,?b∈ΩD,?x∈PtD,x∈ex(Ωf(b))當(dāng)且僅當(dāng)Ptf(x)|=b.

      因此,根據(jù)定義6可知:映射f:D→E是連續(xù)映射.

      定理 6設(shè)D=(PtD,ΩD,|=),E=(PtE,ΩE,|=)是拓?fù)湎到y(tǒng),f:D→E是連續(xù)映射.則以下結(jié)論成立.

      1) ?U?PtE,ex(Ωf(U°))=(Ptf)-1(ex(U°));

      2) ?U?PtE,ex(Ωf(U°))?ex(((Ptf)-1(U))°);

      3) ?b∈ΩE,ex(Ωf((ex(b))°))=ex(Ωf(b)).

      證明1) ?U?PtE,

      由定義4知:U°∈ΩE,已知f:D→E是連續(xù)映射,因此由定理5直接得

      ex(Ωf(U°))=(Ptf)-1(ex(U°)).

      2) ?U?PtE,?x∈PtD.

      若x∈ex(Ωf(U°)),由引理2中ex:ΩD→2PtD的定義可知:Ptf(x)|=U°.因此,Ptf(x)∈ex(U°).結(jié)合定義4和引理2可知:

      ?b∈ΩE使得Ptf(x)∈ex(b)?U.

      因此,?b∈ΩE使得

      x∈(Ptf)-1(ex(b))?(Ptf)-1(U)

      由于f:D→E是連續(xù)映射,由定理5可得

      ex(Ωf(b))=(Ptf)-1(ex(b))

      因此,?b∈ΩE使得

      x∈ex(Ωf(b))?(Ptf)-1(U)

      根據(jù)定義4可知:x∈ex(((Ptf)-1(U))°).因此,

      ex(Ωf(U°))?ex(((Ptf)-1(U))°)

      3) ?b∈ΩE,由定理1中8)得ex((ex(b))°)=ex(b),又f:D→E是連續(xù)映射,結(jié)合定理5得

      ex(Ωf((ex(b))°))=

      (Ptf)-1(ex((ex(b))°))=

      (Ptf)-1(ex(b))=ex(Ωf(b))

      推論1設(shè)D=(PtD,ΩD,|=),E=(PtE,ΩE,|=)是拓?fù)湎到y(tǒng),f:D→E是連續(xù)映射,U?PtE.則

      (Ptf)-1(ex(U°))?ex(((Ptf)-1(U))°)

      證明結(jié)合定理6中1)和2)直接可得.

      定理7設(shè)D=(PtD,ΩD,|=),E=(PtE,ΩE,|=)是拓?fù)湎到y(tǒng),映射f:D→E連續(xù)的充要條件是下面1)和2)同時(shí)成立:

      1) ?U?PtE,ex(Ωf(U°))=(Ptf)-1(ex(U°))

      2) ?b∈ΩE,ex(Ωf((ex(b))°))?ex(Ωf(b))

      證明必要性) 根據(jù)定理6中1)和3)直接可得.

      充分性) ?b∈ΩE,則ex(b)?PtE,代入1)得

      ex(Ωf((ex(b))°))=(Ptf)-1(ex((ex(b))°))

      又根據(jù)定理1中8)得ex((ex(b))°)=ex(b),因此,

      ex(Ωf((ex(b))°))=(Ptf)-1(ex(b));

      再根據(jù)定理1中5)得(ex(b))°≥b,結(jié)合Ωf:ΩE→ΩD和ex:ΩD→2PtD的保序性可得

      ex(Ωf((ex(b))°))?ex(Ωf(b))

      結(jié)合2)得

      ex(Ωf((ex(b))°))=ex(Ωf(b))

      結(jié)合上面的等式得

      ?b∈ΩE,ex(Ωf(b))=(Ptf)-1(ex(b))

      因此,根據(jù)定理5可知:映射f:D→E是連續(xù)映射.

      猜你喜歡
      同態(tài)等價(jià)算子
      擬微分算子在Hp(ω)上的有界性
      關(guān)于半模同態(tài)的分解*
      各向異性次Laplace算子和擬p-次Laplace算子的Picone恒等式及其應(yīng)用
      拉回和推出的若干注記
      一類Markov模算子半群與相應(yīng)的算子值Dirichlet型刻畫(huà)
      n次自然數(shù)冪和的一個(gè)等價(jià)無(wú)窮大
      中文信息(2017年12期)2018-01-27 08:22:58
      一種基于LWE的同態(tài)加密方案
      Roper-Suffridge延拓算子與Loewner鏈
      HES:一種更小公鑰的同態(tài)加密算法
      收斂的非線性迭代數(shù)列xn+1=g(xn)的等價(jià)數(shù)列
      淅川县| 博野县| 乐业县| 红安县| 澄迈县| 始兴县| 罗城| 安顺市| 土默特左旗| 田东县| 长垣县| 临沂市| 林芝县| 禄劝| 海伦市| 金湖县| 永新县| 唐山市| 湖州市| 丰镇市| 溧阳市| 常州市| 高台县| 乌兰县| 灵川县| 穆棱市| 错那县| 北碚区| 辉南县| 托克逊县| 项城市| 维西| 阜宁县| 镇沅| 江永县| 本溪| 横峰县| 土默特左旗| 巨鹿县| 闵行区| 莱西市|