国产日韩欧美一区二区三区三州_亚洲少妇熟女av_久久久久亚洲av国产精品_波多野结衣网站一区二区_亚洲欧美色片在线91_国产亚洲精品精品国产优播av_日本一区二区三区波多野结衣 _久久国产av不卡

?

由 X上理想族誘導(dǎo)出的*X上的 I-拓?fù)?/h1>
2010-12-26 08:59:08馬春暉李生剛史艷維
關(guān)鍵詞:拓?fù)鋵W(xué)非標(biāo)準(zhǔn)春暉

馬春暉,李生剛,史艷維

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

2.西安建筑科技大學(xué)理學(xué)院,陜西西安710055;

3.西安培華學(xué)院基礎(chǔ)部,陜西西安710125)

由X上理想族誘導(dǎo)出的*X上的 I-拓?fù)?/p>

馬春暉1,2,李生剛1,史艷維3

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

2.西安建筑科技大學(xué)理學(xué)院,陜西西安710055;

3.西安培華學(xué)院基礎(chǔ)部,陜西西安710125)

在非標(biāo)準(zhǔn)擴(kuò)大模型下,利用集合X上全體理想之族,誘導(dǎo)出了集合X的非標(biāo)準(zhǔn)擴(kuò)張*X上的一種拓?fù)洹狪-拓?fù)?研究了集合X上全體理想之族的基本性質(zhì)及理想族上、下確界存在的條件.在此基礎(chǔ)上,利用X上全體理想之族誘導(dǎo)出了*X上的 I-拓?fù)?討論了 I-拓?fù)涞木o性、分離性等基本性質(zhì)及其在非標(biāo)準(zhǔn)拓?fù)鋵W(xué)中的一些應(yīng)用.

非標(biāo)準(zhǔn)擴(kuò)大模型;理想;單子;I-拓?fù)?弱 Hausdo rff

非標(biāo)準(zhǔn)拓?fù)鋵W(xué)是非標(biāo)準(zhǔn)分析理論的一個(gè)重要的研究方向[1],對(duì)它的研究是非標(biāo)準(zhǔn)分析理論前進(jìn)的主要?jiǎng)恿χ?非標(biāo)準(zhǔn)拓?fù)鋵W(xué)的研究大致分為兩個(gè)方面:一是利用非標(biāo)準(zhǔn)分析理論的有關(guān)知識(shí)對(duì)拓?fù)鋵W(xué)中的概念和結(jié)論進(jìn)行非標(biāo)準(zhǔn)刻畫,進(jìn)而得到較原有結(jié)論簡(jiǎn)潔、直觀的結(jié)果[2-4];二是在集合X的非標(biāo)準(zhǔn)擴(kuò)張*X上構(gòu)造出一種拓?fù)浣Y(jié)構(gòu),利用非標(biāo)準(zhǔn)模型的特性,討論其拓?fù)湫再|(zhì)[5-8].

本文主要是對(duì)非標(biāo)準(zhǔn)拓?fù)鋵W(xué)的第二個(gè)研究方面做了一些嘗試性探討.在非標(biāo)準(zhǔn)擴(kuò)大模型下,利用集合X上全體理想之族,誘導(dǎo)出了集合X的非標(biāo)準(zhǔn)擴(kuò)張*X上的一種拓?fù)洹狪-拓?fù)?討論了 I-拓?fù)涞木o性、分離性等基本性質(zhì)及其在非標(biāo)準(zhǔn)拓?fù)鋵W(xué)中的一些應(yīng)用.

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

2 理想族及其上、下確界

3 由X上的理想族誘導(dǎo)出的*X上的拓?fù)洹狪-拓?fù)?/h2>

接下來討論 I-拓?fù)淇臻g(X,T)的分離性.

引理3.1 設(shè)A?*X,則A°=ν(Id(A)),其中A°表示集合A在 I-拓?fù)淇臻g(X,T)中的內(nèi)部.

證明由于A?*X,則 Id(A)是由A生成的X上的離散理想,即 Id(A)∈I,所以ν(Id(A))∈T.又ν(Id(A))= ∪{*G|*G?A},于是ν(Id(A))?A.假設(shè)G是包含在A中的 I-開集,則G≠*X,于是存在I∈I,使得G=ν(I),這樣對(duì)于任意的I∈I,*I?G?A,由 Id(A)的定義,I∈Id(A),即 I?Id(A),由引理2.1,G=ν(I)?ν(Id(A)).從而ν(Id(A))是包含在A中的最大 I-開集,即A°=ν(Id(A)).

引理3.2[9]ν(Id(*X-{x}))=*X-{x},當(dāng)且僅當(dāng)x∈X.

由引理3.1和引理3.2直接可得:

定理3.3 I-拓?fù)淇臻g(X,T)不是T1空間,進(jìn)而不是 Hausdorff空間.

但 I-拓?fù)淇臻g(X,T)仍具有以下弱分離性:

引理3.3 設(shè)A?X,則*A既是 I-開集,又是 I-閉集.

證明若A=X,則*X顯然既是 I-開集,又是 I-閉集.若A?X,則由例2.1知,I(A)是X上的一個(gè)由A生成的主理想,這樣ν(I(A))=∩{*G|G?X,G?A}=*A,也就是說,對(duì)于任意的A?X,存在I(A)∈I,使得*A=ν(I(A)),即*A∈T.同理*X-*A=*(X-A)是 I-開集,所以*A又是 I-閉集.從而,對(duì)于任意的A?X,*A既是 I-開集,又是 I-閉集.

定理3.4 I拓?fù)淇臻g(X,T)是弱 Hausdorff空間.

證明設(shè)x,y∈*X,G是點(diǎn)x的任意一個(gè) I-開鄰域,并且y?G.由于y?G,所以G≠*X,由 T的定義,存在X上的理想 I∈I,使得x∈G=ν(I),這樣,根據(jù)理想單子的定義,存在I∈I,x∈*I?G.由引理3.3,*I既是 I-開集,又是 I-閉集.從而*X-*I也既是 I-開集,又是 I-閉集.而*X-*I?*X-G,于是y∈*X-*E.即存在 I-開集*E和*X-*I,使得x∈*I,y∈*X-*I,且*I∩(*X-*I)= ?,亦即 I拓?fù)淇臻g(X,I)是弱 Hausdorff空間.

在一般拓?fù)淇臻g,有以下結(jié)論:

引理3.4[10]在任一拓?fù)淇臻g中,對(duì)于任意的閉集A,A∪B°?(A∪B)°,其中Y°表示集合Y在該拓?fù)淇臻g下的內(nèi)部.

定理3.5 設(shè)集合A既是 I-開集,又是 I-閉集,則對(duì)于任意的B?*X,A°∪B°=(A∪B)°.

證明一方面,因?yàn)锳?A∪B,所以A°?(A∪B)°.同理可得B°?(A∪B)°,于是A°∪B°?(A∪B)°.另一方面,因?yàn)榧螦是 I-閉集,所以對(duì)于任意的B?*X,A∪B°?(A∪B)°,而A又是 I-開集,所以A=A°,于是A°∪B°?(A∪B)°.從而,A°∪B°=(A∪B)°.

定理3.6 設(shè)A?*X,則以下結(jié)論等價(jià):

(1)集合A是標(biāo)準(zhǔn)集合;

(2)集合A既是 I-開集,又 I-閉集;

(3)對(duì)于任意的B?*X,A°∪B°=(A∪B)°.

證明只需證明(3)?(1).令B=*X-A,則A°∪B°=(A∪B)°=(A∪(*X-A))°=*X°=*X,由引理3.1,A°∪B°=ν(Id(A))∪ν(Id(B))=*X,于是存在G∈Id(A),H∈Id(B)滿足*G∪*H=*X,由Id(A)和 Id(B)的定義,A?*G,B?*H,所以A∪B=*X,又A∩B= ?,因此A=*G,即集合A是標(biāo)準(zhǔn)集合.

定理3.7 設(shè)集合A是 I-開集,I∈I,若對(duì)于任意的I∈I,A∪*I≠*X,則A∪ν(I)≠*X.

證明顯然A≠*X,否則對(duì)于任意的I∈I,A∪*I=*X.于是,由引理3.1和集合A是 I-開集,有A=A°=ν(Id(A)).因?yàn)閷?duì)任意的I∈I,A∪*I≠*X,所以ν(Id(A))∪*I≠*X,于是,對(duì)任意的G∈Id(A),*G∪*I≠*X,由轉(zhuǎn)換原理,G∪I≠*X.又由定理 2.3和定理 2.4,Id(A)∨I存在,因此*X≠Id(A)∨ν(I)=ν(Id(A))∪ν(I)=A°∪ν(I)=A∪ν(I),即A∪ν(I)≠*X.

[1] DAV ISM.App lied nonstandard analysis[M].New York:Wiley,1977:83-117.

[2] 史艷維,陳東立,馬春暉.理想收斂理論的非標(biāo)準(zhǔn)刻畫[J].西安建筑科技大學(xué)學(xué)報(bào),2005,37(2):294-296.

[3] 陳東立,馬春暉,苑文法.濾子收斂的非標(biāo)準(zhǔn)特征及其應(yīng)用[J].純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué),2004,20(1):10-13.

[4] 陳東立,馬春暉,王平安.網(wǎng)收斂的非標(biāo)準(zhǔn)特征及其應(yīng)用[J].西安建筑科技大學(xué)學(xué)報(bào),2003,35(3):289-291.

[5] 陳東立,馬春暉,史艷維.拓?fù)涞姆菢?biāo)準(zhǔn)定義[J].西北大學(xué)學(xué)報(bào),2006,36(3):348-351.

[6] 陳東立,馬春暉,史艷維.*Tx的結(jié)構(gòu)及其性質(zhì)[J].數(shù)學(xué)研究與評(píng)論,2007,27(4):671-673.

[7] 陳東立,馬春暉,史艷維.度量空間中的擬近標(biāo)準(zhǔn)點(diǎn)及度量空間的非標(biāo)準(zhǔn)完備化[J].陜西師范大學(xué)學(xué)報(bào):自然科學(xué)版,2008,36(3):10-12.

[8] 陳庭勇,殷樹友,林和平.RBF人工神經(jīng)網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)定義與解的唯一性證明[J].東北師大學(xué)報(bào):自然科學(xué)版,2009,41(3):30-35.

[9] LUXEMBURGW A J.A general theo ry of monads[M].New Yo rk:Halt,1969:7-23.

[10] KELLEY J L.General topology[M].New York:Sp ringer-Verlag,1955:107-123.

The I-topology on*X induced by the fam ily of ideals on set X

MA Chun-hui1,2,L ISheng-gang1,SH I Yan-wei3

(1.College of Mathematics and Information Science,Shanxi Normal University,Xi'an 710062,China;
2.School of Science,Xi'an University of A rchitecture and Technology,Xi'an 710055,China;
3.Department of Basic Courses,Xi'an Peihua University,Xi'an 710125,China)

The I-topology on*Xwas induced by the family of all ideals onXunder the nonstandard enlarged model.Firstly,some p ropertiesof idealsand conditionsof existence of the sup reme and infium of a family of ideals onXwere discussed.Then the I-topology on*Xwas defined,and some topological p roperties were show n.A t last,some app lications of I-topology in nonstandard topology were obtained.

nonstandard enlarged model;ideals;monad;I-topology;weakly Hausdorff

O141.41;O189.11

110·31

A

1000-1832(2010)03-0013-05

2009-12-27

陜西省自然科學(xué)基金資助項(xiàng)目(2007A 12);西安建筑科技大學(xué)青年科技基金資助項(xiàng)目(QN0736).

馬春暉(1980—),男,博士研究生,主要從事格上拓?fù)鋵W(xué)和應(yīng)用非標(biāo)準(zhǔn)分析研究;李生剛(1959—),男,教授,博士研究生導(dǎo)師,主要從事格上拓?fù)鋵W(xué)與擬陣鄰域研究.

(責(zé)任編輯陶 理)

猜你喜歡
拓?fù)鋵W(xué)非標(biāo)準(zhǔn)春暉
發(fā)明與創(chuàng)新(2022年28期)2022-11-22 17:46:48
水木榮春暉
中老年保健(2022年2期)2022-08-24 03:20:24
春暉
鴨綠江(2021年17期)2021-11-11 13:03:41
論幽默邏輯
誰言寸草心,報(bào)得三春暉——唱給父母的贊歌
一類常微分方程的非標(biāo)準(zhǔn)有限差分法
吳春暉藏石欣賞
寶藏(2017年11期)2018-01-03 06:45:52
從拓?fù)鋵W(xué)到拓?fù)浣^緣體
點(diǎn)集拓?fù)湟粋€(gè)典型反例的研究
加工非標(biāo)準(zhǔn)小精孔對(duì)麻花鉆切削部分的改制
河南科技(2014年23期)2014-02-27 14:19:02

常德市| 封开县| 治县。| 长垣县| 出国| 德化县| 酒泉市| 芜湖市| 曲阳县| 微山县| 前郭尔| 丰镇市| 齐河县| 麻城市| 大方县| 文山县| 喀喇沁旗| 大丰市| 长兴县| 依兰县| 和林格尔县| 平湖市| 天祝| 揭阳市| 泗阳县| 施秉县| 尚义县| 潢川县| 怀柔区| 平邑县| 堆龙德庆县| 义乌市| 济源市| 岳普湖县| 铁岭市| 马山县| 六枝特区| 邢台市| 呈贡县| 永新县| 铁力市|