查看“︁無窮小量”︁的源代码

{{Tone|time=2021-02-02T12:40:33+00:00}}
{{NoteTA
|1 = zh-cn:脚注; zh-tw:註腳;
}}
'''無窮小量'''（{{lang-en|Infinitesimal}}），或稱「不可分量」，是[[數學分析]]中的一個概念，其被用于嚴格地定義諸如「最終會消失的量」{{refGT|1=''vanishing quantity''，可見於非正式的數學描述，如 [[Theodor Gomperz]](2007) 的 ''Greek Thinkers - A History of Ancient Philosophy'' （READ BOOKS 出版, ISBN 1406766054620） 第197頁：“If we take counsel to the mathematicians, we shall be advised to neglect the infinitesimally small or vanishing quantity...”}}、「絕對值比任何正數都要小的量」等的非正式描述。在經典的[[微積分]]或數學分析中，無窮小量通常以[[函數]]、[[序列]]等形式出現。

==定义==
一個[[序列]]<math>a=(a_n)_{n \in \mathbb{N}}</math>若滿足如下性質：

* 對任意的預先給定的[[实数#正数与负数|正實數]]<math>\varepsilon>0</math>，存在[[正整數]]<math>\displaystyle N</math>使得

:<math>|a_k| < \varepsilon</math>

在<math>\displaystyle k>N</math>時必定成立；或用[[極限_(數列)|極限]]符號把上述性質簡記為

:<math>\lim_{n\to \infty} a_n = 0</math>

則序列<math>a</math>被稱為<math>n \to \infty</math>時的無窮小量{{noteGT|1=<math>n \to \infty (n \in \mathbb{N})</math>是一種[[濾子]]。無論是無窮小量、無窮大量還是極限，都需在特定濾子之下討論。其它常見的濾子有<math>x \to - \infty (x \in \mathbb{R})</math>，<math>(x,y,z) \to (a,b,c) ((x,y,z) \in \mathbb{R}^3)</math>等等。在[[非標準分析]]中，無窮小量也和實數一樣被視為具體的「數」，這些數比零大，但比任何正實數都小。前面用序列來定義無窮小量的經典方法或多或少有些難於處理，而「非標準」的無窮小量{{quote|利用他们，罗宾逊和其他人轻松地证明了所有传统定理和部分新定理，而19世纪的方法永远无法处理这些定理。他们恢复了莱布尼兹的声誉，也纠正了我们在思考运动变化的一点偏差。}}

引文{{refGT|1=《零的历史》196頁。卡普兰著，郝以磊，茹季月譯，中信出版社出版(2005)。ISBN 7-5086-0158-0}}提到的'''羅賓遜'''（Abraham Robinson，一譯魯賓遜）是[[非標準分析]]的開創者之一{{refGT|1=〔[[美國人|美]]〕[[道本周]]({{link-en|Joseph W. Dauben|Joseph W. Dauben}})原著：《非標準分析創始人：魯賓遜》，[[王前]]等譯，科學出版社，ISBN 7-03-015151-8}}，他提出了無窮小量的新定義。直觀的說，如果一個數比1, 1+1, 1+1+1...等任何[[自然數]]大稱為無窮大；則一個數不等於零且它的[[倒數]]是無窮大稱為無窮小。但這種數的存在與否，甚至能不能合法的稱作一種「數」等問題，都是需要進一步考慮的本質問題。}}。

== 历史 ==
無窮小量對應英語的'''Infinitesimals'''{{noteGT|此詞源於十七世紀的[[拉丁語|現代拉丁語]]新造詞''infinitesimus'',本來是指一個序列的「第無窮個」元素}}，用於極其微小的對象的一種表達，人們根本無從看見它們或者量度它們。在日常生活中，''Infinitesimal''作為形容詞可以指「非常小」，但不一定是「無窮的小」。而中文的「無窮小量」僅是技術用語。

「無窮小的量」的概念最初在[[埃利亞學派]]有所討論。[[乔治·贝克莱|柏克萊]]指出無窮小量的特性為「既不是有限量，也不是無限小，又不是零」。而[[阿基米德]]在其《[[機械原理方法論]]》（{{lang|en|The Method of Mechanical Theorems}}）中曾初次提出一種和無窮量有關的邏輯上嚴密的敍述{{refGT|1=[[阿基米德]]著《[[機械原理方法論]]》；見[[阿基米德羊皮書]]}}。但在[[古希臘數學|古希臘的數學系統]]中，實數並不存有獨立的地位，而是用幾何上的長度來表示：1是代表某條線段的規定長度，用以給予測量所需的長度[[計量單位|單位]]，數的加減法用線段的延長和截短來表示。阿基米德所說的是：對任意兩個長度不等（無論長度相差多少）的線段，在長線段裡不斷截去短線段的長度，在有限次之後就不能再截下去，因為那些短線段長度的「和」超過了原本較長的那一條。如果把線段長度理解成數的話，則反映了實數集的[[阿基米德性質]]：没有任何實數''x''可以滿足條件|''x''|>1，|''x''|>1+1，|''x''|>1+1+1……，即無窮大的實數並不存在。儘管如此，阿基米德還是把無窮大量和無窮小量用於啟發式的論證中，但在完整的數學證明裡則拒絕使用它們，而致力於使用「[[窮竭法]]」, 類似於現在的「{{le|ε-δ語言|(ε, δ)-definition of limit}}」。

[[牛頓]]和[[萊布尼茲]]發展[[微積分|微積分學]]時使用過無窮小量，但這樣的不嚴格使用引來一些批評者的攻擊。[[喬治·貝克萊|貝克萊主教]]就是其中之一{{refGT|1=喬治·貝克萊《分析者》（The Analyst; 或者「向異端數學家發表的演說」）}}。儘管[[數學家]]、[[科學家]]、[[工程師]]等不斷使用無窮小量來得到正確的結果，微積分卻一直到後半十九世紀才等到了更严谨的，使用了{{le|ε-δ語言|(ε, δ)-definition of limit}}和[[集合论]]描述的形式，这项工作由[[奧古斯丁·路易·柯西]]，[[伯納德·波爾查諾]]、[[卡尔·魏尔施特拉斯]]、[[格奥尔格·康托尔]]、[[理查德·戴德金]]等人完成。随着数学的发展及康托、戴德金、魏尔施特拉斯等人及他们的追随者的探索，他们的哲学家好友[[伯特兰·罗素]]、[[鲁道夫·卡尔纳普]]等人认为「无穷小」是伪概念；但同时，[[赫尔曼·科恩]]等[[新康德主义]]者希望能找到一个保留无穷小的逻辑系统{{refGT|1={{Cite journal|last=Mormann|first=Thomas|author-link=Thomas Mormann|last2=Katz|first2=Mikhail|author-link2=Mikhail Katz|date=Fall 2013|title=Infinitesimals as an Issue of Neo-Kantian Philosophy of Science|journal=[[HOPOS|HOPOS: The Journal of the International Society for the History of Philosophy of Science]]|volume=3|issue=2|pages=236–280|arxiv=1304.1027|doi=10.1086/671348|jstor=10.1086/671348}}}}。在二十世紀，無窮小量才得到了嚴格的處理，成為一種「數」。以上任何一種處理辦法都不是錯誤的——如果正確地使用的話{{noteGT|1=不嚴格的處理辦法，一般來講要求使用者具有更正確的數學直覺。}}。

在一份HPM（數學史與數學教學，History and Pedagogy of Mathematics）的研究中{{refGT|1=Giorgio BAGNI(2004), ''“HISTORY OF CALCULUS FROM EUDOXUS TO CAUCHY”
 --- Historical investigation and interpretation and Mathematics education'', Proceedings of HPM–2004 & ESU–4, Revised edition
(pp. 529–536). Crete: Emedia, University of Crete.
}}，對無窮小量在一些數學家眼裡的認識有一個總結：

{| class="wikitable"
|-
! 人物 !! 年代 !! 對無窮小量的觀點，或處理方法
|-
| [[歐幾里得]]等[[古希臘數學家]]|| 公元前300年 || [[窮竭法]]：他們相信用間接法才能使面積問題獲得嚴格證明。
|-
| [[博納文圖拉·卡瓦列里|卡瓦列里]]（B. Cavalieri） ||  1598-1647  || 把無窮小量的辦法推進了一步(見[[祖暅原理]])。
|-
| [[約翰·沃利斯 (數學家)|沃利斯]]（J. Wallis） || 1616-1703 || 他對極限的定義“含有正確的想法，但用詞不嚴謹”。
|-
| [[萊布尼茲]] || 1646-1716 ||  其演算法很成功，但“對概念不太確定”。他對於“消失中的量”的立場是複雜的，而且隨時間而變。
|-
| [[歐拉]] || 1707-1783 || 獲得了很多重要結果，但不考慮真正無窮小量帶來的困難。其觀點受十七世紀典型的科學思維框架影響。
|-
| [[達朗貝爾]]（J. d'Alembert） || 1717-1783 || 拒絕承認“消失中的量”。他給出過極限的定義，但措辭不明確。
|-
| [[拉格朗日]] || 1736-1813 || 也拒絕承認無窮小量，企圖把微積分歸結為代數。
|-
| [[柯西]] || 1789-1857 || 其寫下的定義至今依然通用，由當時可以使用的數學語言寫成。
|}

就目前所知，在十九世紀以前没有任何形式上定義好的數學概念是直接把無窮小量當作「正常」的數來處理的，但很多想法其實已經出現。微積分的奠基人——牛頓、萊布尼茲、[[歐拉]]，以及很多其他人——以一種不嚴格的方式使用無窮小量，卻也能得到正確而深刻的結果（類似地，[[實數]]在當時也没有正式的定義）。

=== 關鍵字 ===
* [[窮竭法]]
* [[無窮乘積]]
* 牛頓的[[流數法]]
* 萊布尼茲的「<math>\mathrm{d}x</math>」記號
* 歐拉對級數的處理
* [[一致收斂]]
* 嚴格的[[極限 (數學)|極限]]概念
* [[非標準分析]]

== 經典分析中的處理 ==
=== 階的比較 ===
設<math>a=(a_n)_{n \in \mathbb{N}}</math>，<math>b=(b_n)_{n \in \mathbb{N}}</math>為兩個序列，而且都是<math>n \to \infty</math>時的無窮小量。雖然它們在<math>n</math>趨於無窮時都趨於零，但趨於零的'''速度'''是有區別的。可以用如下方式比較它們的速度：

* 若對於任意正實數<math>\displaystyle c>0</math>，存在正整數<math>\displaystyle N</math>使得

:<math> a_k < c \cdot b_k</math>

在<math>\displaystyle k>N</math>時總是成立，則稱<math>\displaystyle a</math>是<math>\displaystyle b</math>的'''高階無窮小'''{{refGT|1=可參考《微积分/I》§2.3，清华大学出版社(2003)，ISBN 7-302-06785-6}}，記作

:<math>\displaystyle a_n=o(b_n) \quad (n \to \infty)</math>

其中的<math>n \to \infty</math>有時也被省略不寫。

在上述定義中，也可以說無窮小量<math>a</math>的階要比<math>b</math>的要高，或者說<math>a</math>比<math>b</math>更快地趨於零，儘管在此時「'''階'''」或者「速度」本身其實都没有明確的定義。

===性质===
#若<math>\{a_n\}</math>是无穷小量，改变<math>\{a_n\}</math>中的某有限项之后，它仍是无穷小量。
#若<math>\{a_n\}</math>、<math>\{b_n\}</math>都是无穷小量，<math>\{a_n + b_n\}, \{a_n - b_n\}</math>也是无穷小量。
#若<math>\{a_n\}</math>是无穷小量，<math>\{b_n\}</math>是有界数列，则<math>\{a_n b_n\}</math>也是无穷小量。
#若<math>\{a_n\}</math>是无穷小量，<math>|b_n| \le |a_n|</math>，则<math>\{b_n\}</math>也是无穷小量。
#若<math>\{a_n\}</math>是无穷小量，从<math>\{a_n\}</math>中取出无穷多的一部分，按原来的次序排成的数列（这叫做<math>\{a_n\}</math>的'''子列'''）也是无穷小量。
#把<math>\{a_n\}</math>的次序打乱重新得到的数列<math>\{b_n\}</math>。若<math>\{a_n\}</math>是无穷小量，则<math>\{b_n\}</math>也是无穷小量。
#无穷小量是有界列。
#若<math>\{a_n\}</math>的各项相等，<math>\{a_n\}</math>是无穷小量则必有<math>a_1 = a_2 = \cdots = a_n = \cdots = 0</math>。

== 非標準分析中的處理 ==
設''F''為[[有序域]]，''a''為''F''中的一個非零元素。若對''F''中任意正整數''n''{{noteGT|1=''F''中的'''正整數'''集定義為滿足如下性質的最小集合''A''：''A''含有[[乘法單位元]]（即1∈''A'')，且只要''n''∈''A''，''n''+1∈''A''也一定成立。}}，''a'' < 1/''n''和-''a'' > -1/''n''都成立（換句話說，即''a''的[[絕對值]]小於1/''n''），則稱''a''為無窮小量。

=== 一階性質 ===
在把擴充實數系使其能包含無窮大量和無窮小量時，人們希望能夠盡量保持原系統的各種基本的性質{{noteGT|當然不包括[[阿基米德性質]]——無窮量本身不允許它成立}}，這樣的好處是，那些使用基本性質證明過的[[命題]]能夠在新的系統裡自動成立。這裡的「基本」通常是指不對集合使用量詞，但可以對集合的元素使用（有限次），比如以下公理「對任意的''x''，''x''+0=''x''」仍然應該成立；使用兩次也行：「對任意的''x''和''y''，''xy''=''yx''」，而如果出現「對任意集合''S''」則不能算基本性質，在新系統中可能不成立，比如「任何形如{''k''∈'''Z'''|''xk''>''y''}都不是[[空集]]」就是一例（其實這就是阿基米德性質）。對命題量詞的這種限制，叫做一階邏輯。類似於阿基米德性質，[[實數]]集的完備性也不能在新的系統裡成立，因為實數集是'''唯一'''的完備[[有序域]]。

== 註解 ==
{{noteGF}}

== 參考資料 ==
{{refGF}}


{{大数}}

[[Category:大数]]
[[Category:數學分析]]
[[Category:微积分]]
[[Category:无穷]]
[[Category:微积分史]]