無窮小量

無窮小量（）或稱「不可分量」是數學分析中的一個概念，用以嚴格地定義諸如「最終會消失的量」、「絕對值比任何正數都要小的量」等非正式描述。在經典的微積分或數學分析中，無窮小量通常它以函數、序列等形式出現。

定义
一個序列若滿足如下性質：

 對任意的預先給定的正實數，存在正整數使得

在時必定成立；或用極限符號把上述性質簡記為

則序列被稱為時的無窮小量。

历史 
無窮小量對應英語的Infinitesimals，用於表達一種極其微小的對象，人們根本無從看見它們或者量度它們。在日常生活中，Infinitesimal作為形容詞可以指「非常小」，但不一定是「無窮的小」。而中文的「無窮小量」僅是技術用語。

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

牛頓和萊布尼茲發展微積分學時使用過無窮小量，但這樣的不嚴格使用引來一些批評者的攻擊。貝克萊主教就是其中之一。儘管數學家、科學家、工程師等不斷使用無窮小量來得到正確的結果，微積分卻一直到後半十九世紀才等到了更严谨的，使用了和集合论描述的形式，这项工作由奧古斯丁·路易·柯西，伯納德·波爾查諾、卡尔·魏尔施特拉斯、格奥尔格·康托尔、理查德·戴德金等人完成。随着数学的发展及康托、戴德金、魏尔施特拉斯等人及他们的追随者的探索，他们的哲学家好友伯特兰·罗素、鲁道夫·卡尔纳普等人认为无穷小事实上是伪概念；但同时，赫尔曼·科恩等新康德主义者希望能找到一个保留无穷小的逻辑系统。在二十世紀，無窮小量才得到了嚴格的處理，成為一種「數」。以上任何一種處理辦法都不是錯誤的——如果正確地使用的話。

在一份HPM（數學史與數學教學，History and Pedagogy of Mathematics）的研究中，對無窮小量在一些數學家眼裡的認識有一個總結：

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

關鍵字 
 窮竭法
 無窮乘積
 牛頓的流數法
 萊布尼茲的「」記號
 歐拉對級數的處理
 一致收斂
 嚴格的極限概念
 非標準分析

經典分析中的處理

階的比較 
設，為兩個序列，而且都是時的無窮小量。雖然它們在趨於無窮時都趨於零，但趨於零的速度是有區別的。可以用如下方式比較它們的速度：

 若對於任意正實數，存在正整數使得

在時總是成立，則稱是的高階無窮小，記作

其中的有時也被省略不寫。

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

性质
若是无穷小量，改变中的某有限项之后，它仍是无穷小量。
若、都是无穷小量，也是无穷小量。
若是无穷小量，是有界数列，则也是无穷小量。
若是无穷小量，，则也是无穷小量。
若是无穷小量，从中取出无穷多的一部分，按原来的次序排成的数列（这叫做的子列）也是无穷小量。
把的次序打乱重新得到的数列。若是无穷小量，则也是无穷小量。
无穷小量是有界列。
若的各项相等，是无穷小量则必有。

非標準分析中的處理 
設F為有序域，a為F中的一個非零元素。若對F中任意正整數n，a < 1/n和-a > -1/n都成立（換句話說，即a的絕對值小於1/n），則稱a為無窮小量。

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

註解

參考資料 

大数
數學分析
微积分
无穷
微积分史