查看“︁非标准分析”︁的源代码

'''非標準分析'''（{{lang-en|Non-standard analysis}}），又可稱為'''實無限分析'''或'''超标准分析'''，是一個[[數學分析]]的一个分支，它用嚴格定義的[[无穷小量]]的概念來構建[[分析學]]。1973年，[[直觉主义]]者[[阿兰德·海廷]]称赞非标准分析是“重要数学研究的标准模型”。<ref>Heijting, A. (1973) "Address to Professor A. Robinson. At the occasion of the Brouwer memorial lecture given by Prof. A.Robinson on the 26th April 1973." Nieuw Arch. Wisk. (3) 21, pp. 134—137.</ref>

==歷史==

實無限的概念源自[[萊布尼茲|G·W·萊布尼茲]]，將微積分中的dx, dy等符號視為實際存在的[[無窮小量]]，而dy/dx則是它們之間的比值，也就是無限小尺度下的[[斜率]]。在[[萊布尼茲|G·W·萊布尼茲]]的時代，實無限的概念雖然符合直覺，但是被批評為不夠嚴謹。

在德國數學家[[卡尔·魏尔斯特拉斯]]（1815-1897）創建[[极限 (数学)|極限]]的潛無窮概念，替代實無限作為微積分的基礎時，被學界認為是微積分的一大勝利，即能夠嚴謹地表示與證明。{{notetag|卡尔·魏尔斯特拉斯的取徑稱為潛無窮取徑，亦即定義和證明的過程都不涉及實際的無限小"量"，而以可無限趨近的[[算法]]取代。}}

1960年代初，德國[[數學家]][[亞伯拉罕·魯濱遜]]提出非標準分析，重新回到[[萊布尼茲|G·W·萊布尼茲]]的實無限取徑，並以此建構出一個嚴謹的基礎。他寫道：
{{quote|（...）無限小或無窮小量的想法在我們的直覺中出現得蠻自然的。不管怎麼說，在微分和積分演算方法的形成之初，已經常用到了無窮小量。至於有人反對說（...）兩個不同實數之間的距離不能無限小，[[萊布尼茲|G·W·萊布尼茲]]卻認為，無窮小量理論使我們必需引入一種理想的數，它們比起實數而言可能無限小或者無限大，但都與後者擁有相同的性質。不過，無論是他本人，他的弟子們抑或後來的繼承者們，都没能夠把這種想像中的系統合理地發展出來。因此，無窮小量的理論逐漸遭到冷落，並最終為經典的極限理論所取代<ref name="NSA2">{{cite book|last=Robinson|first=Abraham|title=Non-standard analysis|url=https://archive.org/details/nonstandardanaly0000robi_h7u8|year=1996|edition=Revised edition|publisher=Princeton University Press|isbn=0-691-04490-2}}</ref>。}}

魯濱遜繼續說道：

{{quote|本書表明萊布尼茨的思想是完全可以得到平反的，而且還可以引出無論對經典分析還是對其它數學分支而言都能帶來豐碩果實的全新方法。數學語言和數學結構之間的關係是現代模型論的基石，而對它的詳細分析即是本書方法的關鍵。}}

[[File:Non-Standard_Analysis.png|right|thumb|240px|[[無窮]]們在一個[[實數|實]]在非標準實數域的[[体 (数学)|場地]]裡插上[[全序關係|隊]]。]]

[[有序域]]''F''中的非零元素稱為無窮小量，當且僅當其[[絕對值]]小於''F''中任何形如1/''n''的元素，其中''n''為''F''中的[[整數 (域)|標準整數]]。一個擁有無窮小量的有序域稱為[[阿基米德性質|非阿基米德]]的。

更一般地說，無窮小分析是任何依賴於[[非標準模型]]和{{le|傳達原理|transfer principle}}{{notetag|這個原理指出，把[[實數域]]上的一些命題搬到超實數域上仍然是對的。尚未找到此英文術語的通用中譯。}}的數學。一個[[域 (數學)|域]]如果滿足實數的傳達原理，則為超實數域，而實無限分析就是使用這些域作為實數的''非標準模型''。

魯濱遜的原始辦法正是基於這些非標準的實數域模型。他那1966出版的經典奠基作''非標準分析''，在今天仍有印行<ref name="NSA">Robinson, Abraham (1966). ''Non-standard analysis.''</ref>{{notetag|為了發展出無窮小量的演算法，必須先解決幾個技術問題。比如，只構造出含無窮小量的有序域是不夠的；關於此事的討論，參閱[[超实数]]}}。

==動機==
至少有三個原因使人們考慮無窮小分析：

===歷史上的原因===
在[[牛頓]]和[[萊布尼茲]]發展[[微积分|無窮小演算法]]的最初階段，經常采取''無窮小的數''以及''最終要消失的量''等的表達方式。正如[[超实数 (非标准分析)|超實數]]中所提到的，這些提法曾遭到其它人的廣泛非議，其中最著名的是[[乔治·贝克莱]]主教所写书籍[[消失量之鬼]]中提到的[[悖論]]，而当时牛顿也无法解决该悖论。{{notetag|亞伯拉罕·魯濱遜及之後的建構者现已解決此悖論。}}

用無窮小量來建立一個[[自洽]]的分析理論是一項挑戰，方法不只一種，而第一個令人滿意地完成此任務的人是亞伯拉罕·魯濱遜<ref name="NSA" />。

1958年，[[Curt Schmieden]]和[[Detlef Laugwitz]]發表了一篇文章''Eine Erweiterung der Infinitesimalrechnung'' <ref>Curt Schmieden and Detlef Laugwitz: ''Eine Erweiterung der Infinitesimalrechnung'', Mathematische Zeitschrift 69 (1958), 1-39</ref>，即“無窮小演算法的拓展”，其中提出了含無窮小量的[[环 (代数)|環]]的一種構造，這個環是用一些實數[[序列]]構造出來的：如果兩個序列只在有限[[項 (序列)|項]]不相等，則認為是[[等價]]的；[[算術運算]]是[[逐項]]定義的。然而，這樣構造的環含有[[零因子]]，因此不能構成一個域。

===教學上的原因===
一些教育工作者認為，比起以往用[[極限的epsilon-delta定義|ε-δ語言]]的辦法來，用無窮小量更能使學生直觀容易地把握分析的概念。見{{le|H·傑爾姆·基斯勒|Howard Jerome Keisler}}的書<ref name="EC">H. Jerome Keisler: ''Elementary calculus: An Approach Using Infinitesimals''. 1976第一版，1986年第二版。已絕版。出版商己把著作權還於作者。作者提供了第二版的pdf格式：[http://www.math.wisc.edu/~keisler/calc.html http://www.math.wisc.edu/~keisler/calc.html] {{Wayback|url=http://www.math.wisc.edu/~keisler/calc.html |date=20110501113944 }}</ref>。對某些結論而言，ε-δ語言多少有些笨拙，而無窮小量的方法有時能提供更容易的證明。例如，在非標準分析的框架下證明[[微分法]]的[[鏈式法則]]是較為簡單的。這樣的簡化大多源於非標準分析的簡單運算規則，即：

::無窮小×有界量 = 無窮小
::無窮小 +無窮小 = 無窮小

以及下面會提到的傳達原理。無窮小分析的批評者認為，這些簡化只是一種幻想，一種障眼法，使人看不見初等的ε-δ論證。他們爭論說，理解超實數的這些公理和構造不見比ε-δ式的論證來得容易。

無窮小分析在教學上的另一個應用是{{link-en|愛德華·尼爾森|Edward_Nelson}}對[[隨機過程]]處理。他在他的專著《概率论的初级理论》（''Radically Elementary Probability Theory''）讨论了这个问题。<ref>Edward Nelson: ''Radically Elementary Probability Theory'', Princeton University Press, 1987. pdf格式可供下載[http://www.math.princeton.edu/~nelson/books/rept.pdf http://www.math.princeton.edu/~nelson/books/rept.pdf] {{Wayback|url=http://www.math.princeton.edu/~nelson/books/rept.pdf |date=20120204043055 }}</ref>。

===技術上的原因===
一些新近的工作中，特別是在[[統計學]]和[[數學物理]]中考查[[極限過程]]時，便使用了無窮小分析中的概念。Albeverio等討論了此法的一些應用。

==無窮小分析的各種建立方法==

無窮小分析有兩個非常不同的做法：[[語義學]]方法或稱模型論方法，以及[[句法學]]方法。兩個辦法都能應用於除分析外的其它數學領域，包括[[數論]]，[[代數]]，和[[拓撲]]。

*語義學方法：魯濱遜最初做非標準分析的方法便屬於這一類。在他的論文中可見，此法的基礎是考察一個理論的各種模型（尤其是[[飽和模型]]）。自魯濱遜的工作以來，已由[[Elias Zakon]]發展出一套更簡明的語義學方法。他使用了一些稱為[[全集#在一般數學中|超結構]]的純集合論對象。在這種新方法裡，一個集合''S''上的'''超結構''' ''V(S)''取代了理論的各種模型。從''V(S)''出發構造出''*V(S)''時用到了[[超乘積]]的構造，以及''V(S)''到''*V(S)''的一個滿足傳達原理的映射。映射* 聯繫了''V(S)''和''*V(S)''的形式化性質。此外，可以考慮一種形式更簡單的飽和模型，即[[可數飽和模型]]。這種簡化的方法也更適合專業不在模型論或邏輯的數學家。

*句法學方法：''句法學方法''對理解和使用邏輯和模型論的要求要低得多。此方法是在70年代中期由數學家[[愛德華尼爾森]]建立的。尼爾森用完全公理化的方式構建了非標準分析；他稱之為'''{{le|內含集合論|Internal_set_theory}}'''（簡稱'''IST'''）。<ref name="Nel">愛德華尼爾森：''Internal Set Theory: A New Approach to Nonstandand Analysis'', Bulletin of the American Mathematical Society, Vol. 83, Number 6, November 1977.此書中的一章''Interal Set Theory''可供下載：[http://www.math.princeton.edu/~nelson/books/1.pdf http://www.math.princeton.edu/~nelson/books/1.pdf] {{Wayback|url=http://www.math.princeton.edu/~nelson/books/1.pdf |date=20120205022939 }}</ref> IST是[[策梅洛-弗蘭克爾集合論]]（含選擇公理，即ZFC）的延伸。其中除了元素間的基本二元關係<math>\in</math>外，還引入了新的[[一元謂詞]]，''標準''（standard）。

用合適的模型可以證明ZFC + IST相對於ZFC的[[相對相容性|相容性]]：若ZFC是相容的，則ZFC + IST也是相容的。實際上可以證明更強的命題：ZFC + IST是ZFC的一個[[保守擴展]]，也就是說任何經典公式（正確或不正確的！）只要可以在內含集合論中證明，則'''僅用'''策梅洛-弗蘭克爾的公理系統加上[[選擇公理]]就能證明。

使用句法學方法做非標準分析時，需要非常小心地應用'''集合構成原理'''（通常叫做'''概括公理'''，或'''[[分類公理|分類公理模式]]'''）；數學家們常常想當然地認為此原理成立。但正如納爾遜指出，一個常見的推理謬誤正是在於'''[[非法構成集合]]'''。例如，在IST中'''不存在'''恰由所有標準整數構成的集合。為了避免非法構成集合，必須只使用[[ZFC]]中的謂詞來定義子集<ref name="Nel" />。

句法學方法的另一個例子是[[可替代的集合論#ASF|代替集合論]]<ref> Vopěnka, P.,  Mathematics in the Alternative Set Theory. Teubner, Leipzig, 1979. </ref>，由{{le|Petr Vopěnka}}引進。此理論試圖尋找一套比策梅洛-弗蘭克爾集合論更適合於非標準分析的公理系統。

==注释==
{{notefoot}}

==参见==
{{Portal|数学}}
中心話題：
* {{le|溢出法|overspill}}
* [[非標準微積分]]
* [[非標準測度論]]
* [[非標準泛函分析]]
* 內含集合論
其它相關話題：
* [[超實數|各種超實數]]
* [[初等微積分]]
* [[超整數]]
* [[無窮小量]]
* [[超現實數]]
* 非經典分析
* [[光滑無窮小量分析]]
* 對非標準分析的批評
* 非標準分析的影響

==暫譯術語==
*傳達原理（transfer principle）
*溢出法（overspill）
*內含集合論（Internal Set Theory）
*代替集合論（Alternative Set Theory）

==參考資料==
{{reflist}}

{{Authority control}}
[[Category:數學分析]]
[[Category:模型論]]
[[Category:含暫譯術語|3個]]