无穷小量

<image>

无穷小量（infinitesimal）或无穷小单元（infinitesimal element）、微分单元（differential unit）、微元，旧称不可分量（indivisible），指“趋近于零的变量”或“微小的线性切片”，是“无穷分割、化曲为直”数学分析中的一个基本极限概念。

无穷小量对于直观上“最终会消失的量”或“不可再分的最小单位”等的非正式描述，做了严格的数学极限刻画。

在经典微积分与数学分析中，无穷小量通常通过函数、序列等对象的极限过程来表述，而非作为独立的数而存在。该概念在极限、连续性、导数与积分等理论的建立中起著核心作用。无穷小量其实也是积分号内的微分变量，因此又称微元。

## 定义

一个序列$a=(a_n)_{n \in \mathbb{N}}$若满足如下性质：

- 对任意的预先给定的正实数$\varepsilon>0$，存在正整数$\displaystyle N$使得

$$|a_k| < \varepsilon$$

在$\displaystyle k>N$时必定成立；或用极限符号把上述性质简记为

$$\lim_{n\to \infty} a_n = 0$$

则序列$a$被称为$n \to \infty$时的无穷小量$n \to \infty (n \in \mathbb{N})$是一种滤子。无论是无穷小量、无穷大量还是极限，都需在特定滤子之下讨论。其它常见的滤子有$x \to - \infty (x \in \mathbb{R})$，$(x,y,z) \to (a,b,c) ((x,y,z) \in \mathbb{R}^3)$等等。在非标准分析中，无穷小量也和实数一样被视为具体的“数”，这些数比零大，但比任何正实数都小。前面用序列来定义无穷小量的经典方法或多或少有些难于处理，而“非标准”的无穷小量利用他们，罗宾逊和其他人轻松地证明了所有传统定理和部分新定理，而19世纪的方法永远无法处理这些定理。他们恢复了莱布尼兹的声誉，也纠正了我们在思考运动变化的一点偏差。引文提到的罗宾逊（Abraham Robinson，一译鲁宾逊）是非标准分析的开创者之一，他提出了无穷小量的新定义。直观的说，如果一个数比1, 1+1, 1+1+1...等任何自然数大称为无穷大；则一个数不等于零且它的倒数是无穷大称为无穷小。但这种数的存在与否，甚至能不能合法的称作一种“数”等问题，都是需要进一步考虑的本质问题。

## 历史

无穷小量对应英语的Infinitesimals此词源于十七世纪的现代拉丁语新造词infinitesimus,本来是指一个序列的“第无穷个”元素，用于极其微小的对象的一种表达，人们无从看见或者量度它们。在日常生活中，Infinitesimal作为形容词可以指“非常小”，但不一定是“无穷的小”。而中文的“无穷小量”仅是技术用语。

“无穷小的量”的概念最初在埃利亚学派有所讨论。柏克莱指出无穷小量的特性为“既不是有限量，也不是无限小，又不是零”。而阿基米德在其《机械原理方法论》（The Method of Mechanical Theorems）中曾初次提出一种和无穷量有关的逻辑上严密的叙述。但在古希腊的数学系统中，实数并不存有独立的地位，而是用几何上的长度来表示：1是代表某条线段的规定长度，用以给予测量所需的长度单位，数的加减法用线段的延长和截短来表示。阿基米德所说的是：对任意两个长度不等（无论长度相差多少）的线段，在长线段里不断截去短线段的长度，在有限次之后就不能再截下去，因为那些短线段长度的“和”超过了原本较长的那一条。如果把线段长度理解成数的话，则反映了实数集的阿基米德性质：没有任何实数x可以满足条件|x|>1，|x|>1+1，|x|>1+1+1......，即无穷大的实数并不存在。尽管如此，阿基米德还是把无穷大量和无穷小量用于启发式的论证中，但在完整的数学证明里则拒绝使用它们，而致力于使用“穷竭法”，类似于现在的“ε-δ语言”。

牛顿和莱布尼兹发展微积分学时使用过无穷小量，但这样的不严格使用引来一些批评者的攻击。贝克莱主教就是其中之一。尽管数学家、科学家、工程师等不断使用无穷小量来得到正确的结果，微积分却一直到后半十九世纪才等到了更严谨的，使用了ε-δ语言和集合论描述的形式，这项工作由奥古斯丁·路易·柯西，伯纳德·波尔查诺、卡尔·魏尔施特拉斯、格奥尔格·康托尔、理查德·戴德金等人完成。随着数学的发展及康托、戴德金、魏尔施特拉斯等人及他们的追随者的探索，他们的哲学家好友伯特兰·罗素、鲁道夫·卡尔纳普等人认为“无穷小”是伪概念；但同时，赫尔曼·科恩等新康德主义者希望能找到一个保留无穷小的逻辑系统。在二十世纪，无穷小量才得到了严格的处理，成为一种“数”。以上任何一种处理办法都不是错误的——如果正确地使用的话不严格的处理办法，一般来讲要求使用者具有更正确的数学直觉。

在一份HPM（数学史与数学教学，History and Pedagogy of Mathematics）的研究中，对无穷小量在一些数学家眼里的认识有一个总结：

人物｜年代｜对无穷小量的观点，或处理方法

欧几里得等古希腊数学家｜公元前300年｜穷竭法：他们相信用间接法才能使面积问题获得严格证明。

卡瓦列里（B. Cavalieri）｜1598-1647｜把无穷小量的办法推进了一步(见祖暅原理)。

沃利斯（J. Wallis）｜1616-1703｜他对极限的定义“含有正确的想法，但用词不严谨”。

莱布尼兹｜1646-1716｜其算法很成功，但“对概念不太确定”。他对于“消失中的量”的立场是复杂的，而且随时间而变。

欧拉｜1707-1783｜获得了很多重要结果，但不考虑真正无穷小量带来的困难。其观点受十七世纪典型的科学思维框架影响。

达朗贝尔（J. d'Alembert）｜1717-1783｜拒绝承认“消失中的量”。他给出过极限的定义，但措辞不明确。

拉格朗日｜1736-1813｜也拒绝承认无穷小量，企图把微积分归结为代数。

柯西｜1789-1857｜其写下的定义至今依然通用，由当时可以使用的数学语言写成。

就目前所知，在十九世纪以前没有任何形式上定义好的数学概念是直接把无穷小量当作“正常”的数来处理的，但很多想法其实已经出现。例如，微积分的奠基人——牛顿、莱布尼兹、欧拉等人——以一种不严格的方式使用无穷小量，却也能得到正确而深刻的结果（实数在当时同样也没有正式的定义）。

### 关键字

- 穷竭法
- 无穷乘积
- 牛顿的流数法
- 莱布尼兹的“$\mathrm{d}x$”记号
- 欧拉对级数的处理
- 一致收敛
- 严格的极限概念
- 非标准分析

## 经典分析中的处理

### 阶的比较

设$a=(a_n)_{n \in \mathbb{N}}$，$b=(b_n)_{n \in \mathbb{N}}$为两个序列，而且都是$n \to \infty$时的无穷小量。虽然它们在$n$趋于无穷时都趋于零，但趋于零的速度是有区别的。可以用如下方式比较它们的速度：

- 若对于任意正实数$\displaystyle c>0$，存在正整数$\displaystyle N$使得

$$a_k < c \cdot b_k$$

在$\displaystyle k>N$时总是成立，则称$\displaystyle a$是$\displaystyle b$的高阶无穷小，记作

$$\displaystyle a_n=o(b_n) \quad (n \to \infty)$$

其中的$n \to \infty$有时也被省略不写。

在上述定义中，也可以说无穷小量$a$的阶要比$b$的要高，或者说$a$比$b$更快地趋于零，尽管在此时“阶”或者“速度”本身其实都没有明确的定义。

### 性质

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

## 非标准分析中的处理

设F为有序域，a为F中的一个非零元素。若对F中任意正整数nF中的正整数集定义为满足如下性质的最小集合A：A含有乘法单位元（即1∈A)，且只要n∈A，n+1∈A也一定成立。a -1/n都成立（换句话说，即a的绝对值小于1/n），则称a为无穷小量。

### 一阶性质

在把扩充实数系使其能包含无穷大量和无穷小量时，人们希望能够尽量保持原系统的各种基本的性质当然不包括阿基米德性质——无穷量本身不允许它成立，这样的好处是，那些使用基本性质证明过的命题能够在新的系统里自动成立。这里的“基本”通常是指不对集合使用量词，但可以对集合的元素使用（有限次），比如以下公理“对任意的x，x+0=x”仍然应该成立；使用两次也行：“对任意的x和y，xy=yx”，而如果出现“对任意集合S”则不能算基本性质，在新系统中可能不成立，比如“任何形如{k∈Z|xk>y}都不是空集”就是一例（其实这就是阿基米德性质）。对命题量词的这种限制，叫做一阶逻辑。类似于阿基米德性质，实数集的完备性也不能在新的系统里成立，因为实数集是唯一的完备有序域。