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

        ?

        理想單子在非標(biāo)準(zhǔn)飽和模型下的若干應(yīng)用

        2009-07-05 14:21:20王茜陳東立馬春暉
        關(guān)鍵詞:非標(biāo)準(zhǔn)單子春暉

        王茜,陳東立,馬春暉

        (1.西安建筑科技大學(xué)理學(xué)院,陜西西安 710055;2.空軍工程大學(xué)理學(xué)院,陜西西安 710051)

        理想單子在非標(biāo)準(zhǔn)飽和模型下的若干應(yīng)用

        王茜1,2,陳東立1,馬春暉1

        (1.西安建筑科技大學(xué)理學(xué)院,陜西西安 710055;2.空軍工程大學(xué)理學(xué)院,陜西西安 710051)

        通過(guò)利用非標(biāo)準(zhǔn)分析中的飽和模型,對(duì)其中的理想進(jìn)行了討論,從而得到了理想的非標(biāo)準(zhǔn)特征,并進(jìn)一步利用這一特征證明了單子論中的一些相關(guān)定理.

        理想;理想單子;飽和模型

        1 引言

        非標(biāo)準(zhǔn)分析,是利用數(shù)理邏輯的方法來(lái)探討和刻畫微積分的理論基礎(chǔ),為數(shù)學(xué)開辟了新的研究領(lǐng)域;是使用非標(biāo)準(zhǔn)模型研究各種數(shù)學(xué)問題的新的數(shù)學(xué)理論.它利用現(xiàn)代數(shù)理邏輯的概念和方法證明了實(shí)數(shù)結(jié)構(gòu)R可以擴(kuò)張[1]為包含無(wú)窮小與無(wú)窮大數(shù)的超結(jié)構(gòu)?R[2],在嚴(yán)格的數(shù)學(xué)基礎(chǔ)上恢復(fù)了萊布尼茨的作為“更合于發(fā)明家的藝術(shù)”的無(wú)窮小方法.這個(gè)方法無(wú)論在刻畫概念,證明定理,思考問題等方面都顯示出優(yōu)越性.用無(wú)窮小方法,可使許多概念的刻畫顯得直觀,簡(jiǎn)明,可使定理的論證縮短.它使萊布尼茨的無(wú)窮小問題得到了圓滿的解決.在分析的標(biāo)準(zhǔn)模型中,或者說(shuō)在實(shí)數(shù)域上展開的分析學(xué)稱為標(biāo)準(zhǔn)分析;把實(shí)數(shù)域及其上的關(guān)系的擴(kuò)大成為分析的非標(biāo)準(zhǔn)模型.本文所要討論的是用非標(biāo)準(zhǔn)分析的方法給出理想單子概念,并討論它在非標(biāo)準(zhǔn)飽和模型下的若干應(yīng)用,從而為理想單子的研究提供了一條新路徑.既推動(dòng)了非標(biāo)準(zhǔn)分析在不同應(yīng)用領(lǐng)域的發(fā)展,又給測(cè)度論賦有了更加內(nèi)在的探索意義.

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

        設(shè)X是無(wú)限集,X包含在非標(biāo)準(zhǔn)全域V(S)的個(gè)體集S中,V(?S)是S的非標(biāo)準(zhǔn)模型,于是有?X是X的擴(kuò)張,X??X[3].

        定義1[4]設(shè)Γ?P(X),如果Γ滿足:

        2)若A∈Γ,B?A,則B∈Γ;

        3)若A∈Γ,B∈Γ,則A∪B∈Γ,

        則稱Γ是X上的理想.

        定義2設(shè)Γ是X上的理想,稱ν(Γ)=∪{?G:G∈Γ}為Γ的單子.

        定義3若DA={I:I?X且A??I},則稱νd(A)為Γ的離散單子,其中νd(A)= ν(DA).

        定義4[1]設(shè)r是V(?S)上的一個(gè)內(nèi)二元關(guān)系,A?dom(r),若對(duì)于任意的x1,x2,…,xn∈dom(r),均存在某個(gè)內(nèi)二元y∈V(?S),使得〈xi,y〉∈r,(i=1,2,…,n),則稱r是A中的一個(gè)共點(diǎn)關(guān)系.

        定義5[5]設(shè)κ為無(wú)限基數(shù),若對(duì)V(?S)中的每個(gè)內(nèi)二元關(guān)系r,當(dāng)r滿足card(A)<κ 時(shí)(A?dom(r)),均存在內(nèi)元b∈V(?S),使得對(duì)于任意的a∈A,滿足〈a,b〉∈r,則稱V(?S) 為κ飽和的.

        3 上下溢原理

        上、下溢原理是非標(biāo)準(zhǔn)模型中一個(gè)常用的技巧性重要工具,在非標(biāo)準(zhǔn)分析的許多問題中都會(huì)用到它,如著名的LOEB測(cè)度空間的構(gòu)造.本文在非標(biāo)準(zhǔn)的飽和模型中用理想單子來(lái)刻畫它.

        定理1設(shè)X是無(wú)限集,?X是X的擴(kuò)張.則以下命題等價(jià):

        (1)對(duì)X上的任意理想Γ,?X的所有內(nèi)子集A,若對(duì)任意的I∈Γ,?I∪A/=?X,則ν(Γ)∪A/=?X.

        (2)對(duì)X上的任意的理想Γ,若Λ是?Γ的一個(gè)內(nèi)子集,Γ=?Λ,則存在E∈Λ使E?ν(Γ).

        (3)對(duì)X上的任意理想Γ,若Λ是?Γ的一個(gè)內(nèi)子集,E∈?Γ且E?ν(Γ)有E∈Λ,則存在一個(gè)I∈Γ使得?I∈Λ.

        定理1中條件(1)在非標(biāo)準(zhǔn)擴(kuò)大模型中未必成立,但在非標(biāo)準(zhǔn)飽和模型中結(jié)論顯然是成立的,從而在非標(biāo)準(zhǔn)飽和模型中結(jié)論(2)和(3)也成立.(2)和(3)則充分體現(xiàn)了上下溢原理的本質(zhì)內(nèi)涵.

        下面利用定理1給出理想的離散單子在飽和模型中的一些應(yīng)用.

        理想的離散單子是理想單子的特殊情形.首先DA是一個(gè)理想單子,而由其表達(dá)式DA= {I:I?X且A??I}及νd(A)=ν(DA)可知理想的離散單子就是理想單子的特殊情形.由于它的特殊性,我們就進(jìn)一步的給出其更具體的應(yīng)用.

        定理2設(shè)X是無(wú)限集,?X是X的擴(kuò)張.?X為κ飽和,κ>card(X).

        [1]陳東立,馬春暉,史艷維.擴(kuò)大模型的充要條件及其應(yīng)用[J].西安建筑科技大學(xué)學(xué)報(bào),2004,36(2):243-245.

        [2]潘紅霞,陳東立,史艷維.飽和模型的充要條件及其應(yīng)用[J].純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué),2006,22(1):131-133.

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

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

        [5]Luxemburg W A J.A General Theory of M onads[M].New York:W iley,1969.

        The idealm onad under the app lication of nonstandard model saturation

        WANG Qian1,2,CHEN Dong-li1,MA Chun-hui1

        (1.School of Science,Xi’an A rchitecture and Technology University,Xi’an 710055,China; 2.College of Science,A ir Force Engineering University,X i’an 710051,China)

        In this paper,the ideal in exspend model using non-standardized expand model is discussed giving the non-standard characteristics of ideal.Furthermore,it is to prove some related theorems in monad.

        ideal,idealmonad,saturation

        O141.41

        A

        1008-5513(2009)02-0258-03

        2007-11-05.

        陜西省自然科學(xué)基金(2007A 12),西安建筑科技大學(xué)基礎(chǔ)研究基金(JC 0620),西安建筑科技大學(xué)青年科技基金(QN 0736).

        王茜(1983-),碩士,研究方向:非標(biāo)準(zhǔn)分析.

        2000M SC:03H 05

        猜你喜歡
        非標(biāo)準(zhǔn)單子春暉
        水木榮春暉
        中老年保健(2022年2期)2022-08-24 03:20:24
        春暉
        鴨綠江(2021年17期)2021-11-11 13:03:41
        論幽默邏輯
        誰(shuí)言寸草心,報(bào)得三春暉——唱給父母的贊歌
        單子伊 王家璇 潘銘澤
        一類常微分方程的非標(biāo)準(zhǔn)有限差分法
        綢都人
        吳春暉藏石欣賞
        寶藏(2017年11期)2018-01-03 06:45:52
        單子論與調(diào)性原理
        加工非標(biāo)準(zhǔn)小精孔對(duì)麻花鉆切削部分的改制
        河南科技(2014年23期)2014-02-27 14:19:02
        女人被男人爽到呻吟的视频| 无码AV大香线蕉伊人久久| 女同中文字幕在线观看| 美妇炮灰被狂躁爽到高潮h| 久久精品中文字幕大胸| 精品人妻伦九区久久AAA片69| 丰满女人猛烈进入视频免费网站| 国产精品网站在线观看免费传媒 | 三级国产女主播在线观看| 亚洲视频在线免费观看一区二区 | 国产午夜福利不卡在线观看| 欧美激情五月| 亚洲av中文字字幕乱码| 国产黄色av一区二区三区| 人妻激情另类乱人伦人妻| 啪啪无码人妻丰满熟妇| 亚洲无人区乱码中文字幕| 日本三级吃奶头添泬| 中国丰满熟妇xxxx| 亚洲人成18禁网站| sm免费人成虐漫画网站| 日本大乳高潮视频在线观看| 久久天天躁狠狠躁夜夜爽| 精品久久免费一区二区三区四区| 国产女同舌吻1区2区| 日本入室强伦姧bd在线观看| 国产欧美久久久另类精品| 久久国产精品免费久久久| 久久国产成人精品av| 国产香蕉97碰碰视频va碰碰看| 国产午夜精品美女裸身视频69| 亚洲乱码一区二区av高潮偷拍的| 亚洲精品久久一区二区三区777| 亚洲中文无码久久精品1| av手机天堂在线观看| 人妻丰满熟妇av无码区app| 欧美人妻精品一区二区三区| 成在线人免费无码高潮喷水| 富婆猛男一区二区三区| 日本老熟妇毛茸茸| 2021精品综合久久久久|