基本介紹
- 中文名:非標準分析
- 外文名:Non-standard analysis
- 類型:理論
- 創立:1960年
- 別稱:實無限分析
- 領域:數理科學
歷史,動機,1.歷史上的原因,2.教學上的原因,3.技術上的原因,無窮小分析的各種建立方法,
歷史
在G·W·萊布尼茲的時代,實無限的概念雖然符合直覺,但是被批評為不夠嚴謹。
在德國數學家卡爾·魏爾斯特拉斯(1815-1897)創建極限的潛無窮概念,替代實無限作為微積分的基礎時,被學界認為是微積分的一大勝利,即能夠嚴謹地表示與證明。卡爾·魏爾斯特拉斯的取徑稱為潛無窮取徑,亦即定義和證明的過程都不涉及實際的無限小""量"",而以可無限趨近的""程式""取代。
1960年代初,德國數學家亞伯拉罕·魯濱遜提出非標準分析,重新回到G·W·萊布尼茲的實無限取徑,並以此建構出一個嚴謹的基礎。他寫道:(...)無限小或無窮小量的想法在我們的直覺中出現得蠻自然的。不管怎么說,在微分和積分演算方法的形成之初,已經常用到了無窮小量。至於有人反對說(...)兩個不同實數之間的距離不能無限小,G·W·萊布尼茲卻認為,無窮小量理論使我們必需引入一種理想的數,它們比起實數而言可能無限小或者無限大,但都與後者擁有相同的性質。不過,無論是他本人,他的弟子們抑或後來的繼承者們,都沒能夠把這種想像中的系統合理地發展出來。因此,無窮小量的理論逐漸遭到冷落,並最終為經典的極限理論所取代。
魯濱遜繼續說道:本書表明萊布尼茨的思想是完全可以得到平反的,而且還可以引出無論對經典分析還是對其它數學分支而言都能帶來豐碩果實的全新方法。數學語言和數學結構之間的關係是現代模型論的基石,而對它的詳細分析即是本書方法的關鍵。
有序域F中的非零元素稱為無窮小量,若且唯若其絕對值小於F中任何形如1/n的元素,其中n為F中的標準整數。一個擁有無窮小量的有序域稱為非阿基米德的。更一般地說,無窮小分析是任何依賴於非標準模型和傳達原理(這個原理指出,把實數域上的一些命題搬到超實數域上仍然是對的)的數學。一個域如果滿足實數的傳達原理,則為超實數域,而實無限分析就是使用這些域作為實數的非標準模型。
魯濱遜的原始辦法正是基於這些非標準的實數域模型。他那1966出版的的經典奠基作非標準分析,在今天仍有印行。
為了發展出無窮小量的算法,必須先解決幾個技術問題。比如,只構造出含無窮小量的有序域是不夠的。
動機
至少有三個原因使人們考慮無窮小分析:
1.歷史上的原因
用無窮小量來建立一個自洽的分析理論是一項挑戰,方法不只一種,而第一個令人滿意地完成此任務的人是亞伯拉罕·魯濱遜。
1958年,Curt Schmieden和Detlef Laugwitz發表了一篇文章Eine Erweiterung der Infinitesimalrechnung,即“無窮小算法的拓展”,其中提出了含無窮小量的環的一種構造,這個環是用一些實數序列構造出來的:如果兩個序列只在有限項不相等,則認為是等價的;算術運算是逐項定義的。然而,這樣構造的環含有零因子,因此不能構成一個域。
2.教學上的原因
一些教育工作者認為,比起以往用ε-δ語言的辦法來,用無窮小量更能使學生直觀容易地把握分析的概念。見H·傑爾姆·基斯勒的書。對某些結論而言,ε-δ語言多少有些笨拙,而無窮小量的方法有時能提供更容易的證明。例如,在非標準分析的框架下證明微分法的鏈式法則是較為簡單的。這樣的簡化大多源於非標準分析的簡單運算規則,即:
無窮小×有界量 = 無窮小,
無窮小 +無窮小 = 無窮小,
以及下面會提到的傳達原理。無窮小分析的批評者認為,這些簡化只是一種幻想,一種障眼法,使人看不見初等的ε-δ論證。他們爭論說,理解超實數的這些公理和構造不見比ε-δ式的論證來得容易。
無窮小分析在教學上的另一個套用是愛德華·尼爾森對隨機過程處理。這在他的專著Radically Elementary Probability Theory(基本初等機率論)中談及了。
3.技術上的原因
無窮小分析的各種建立方法
1.語義學方法:
魯濱遜最初做非標準分析的方法便屬於這一類。在他的論文中可見,此法的基礎是考察一個理論的各種模型(尤其是飽和模型)。自魯濱遜的工作以來,已由Elias Zakon發展出一套更簡明的語義學方法。他使用了一些稱為超結構的純集合論對象。在這種新方法裡,一個集合
上的超結構
取代了理論的各種模型。從
出發構造出
時用到了超乘積的構造,以及
到
的一個滿足傳達原理的映射。映射* 聯繫了
和
的形式化性質。此外,可以考慮一種形式更簡單的飽和模型,即可數飽和模型。這種簡化的方法也更適合專業不在模型論或邏輯的數學家。








2.句法學方法:
使用句法學方法做非標準分析時,需要非常小心地套用集合構成原理(通常叫做概括公理,或分類公理模式);數學家們常常想當然地認為此原理成立。但正如納爾遜指出,一個常見的推理謬誤正是在於非法構成集合。例如,在IST中不存在恰由所有標準整數構成的集合。為了避免非法構成集合,必須只使用ZFC中的謂詞來定義子集。