超实数轴上的无穷小（ε）和无穷大（ω）（1/ε=ω/1）

|  |
| --- |
| **的数** |
| **基本** |
| {\displaystyle \mathbb {N} \subseteq \mathbb {Z} \subseteq \mathbb {Q} \subseteq \mathbb {R} \subseteq \mathbb {C} }

 

|  |  |
| --- | --- |
| 正數 {\displaystyle \mathbb {R} ^{+}}
自然数 {\displaystyle \mathbb {N} }
正整數 {\displaystyle \mathbb {Z} ^{+}}
小数
有限小数
无限小数
循环小数
有理数 {\displaystyle \mathbb {Q} }
代數數 {\displaystyle \mathbb {A} }
实数 {\displaystyle \mathbb {R} }
複數 {\displaystyle \mathbb {C} }
高斯整數 {\displaystyle \mathbb {Z} [i]}
  | 负数 {\displaystyle \mathbb {R} ^{-}}
整数 {\displaystyle \mathbb {Z} }
负整數 {\displaystyle \mathbb {Z} ^{-}}
分數
單位分數
二进分数
規矩數
無理數
超越數
虚数 {\displaystyle \mathbb {I} }
二次無理數
艾森斯坦整数 {\displaystyle \mathbb {Z} [\omega ]}
  |

 |
| **延伸** |
| 
 

|  |  |
| --- | --- |
| 二元数
四元數 {\displaystyle \mathbb {H} }
八元数 {\displaystyle \mathbb {O} }
十六元數 {\displaystyle \mathbb {S} }
超實數 {\displaystyle ^{\*}\mathbb {R} }
大實數
上超實數
  | 雙曲複數
雙複數
複四元數
共四元數（英语：）
超复数
超數
超現實數
  |

 |
| **其他** |
| 
 

|  |  |
| --- | --- |
| 質數 {\displaystyle \mathbb {P} }
可計算數
基數
阿列夫數
同餘
整數數列
公稱值
  | 規矩數
可定义数
序数
超限数
*p*進數
数学常数
  |

圓周率 {\displaystyle \pi =3.14159265}…
自然對數的底 {\displaystyle e=2.718281828}…
虛數單位 {\displaystyle i={\sqrt {-{1}}}}
無限大 {\displaystyle \infty } |
| * 
* 论
* 编
 |

**超實數**系統是為了嚴格處理無窮量（無窮大量和無窮小量）而提出的。自從微積分的發明以來，數學家、科學家和工程師等（包括牛頓和萊布尼茲在內）就一直廣泛地用無窮小量等概念。超實數集，或稱為**非標準實數**集，記爲{\displaystyle ^{\*}\mathbb {R} }，是實數集 {\displaystyle \mathbb {R} } 的一個擴張；其中含有一種數，它們大於所有如下形式的數：

{\displaystyle 1+1+\cdots +1}（有限個）
這可以解釋為**無窮大**；而它們的倒數就作為**無窮小量**。{\displaystyle ^{\*}\mathbb {R} } 滿足如下性質：任何關於 {\displaystyle \mathbb {R} } 的一階命題如果成立，則對 {\displaystyle ^{\*}\mathbb {R} } 也成立。這種性質稱為傳達原理（英语：）。舉例來說，實數集的加法交換律

{\displaystyle \forall x,y\in \mathbb {R} ,x+y=y+x}
是關於 {\displaystyle \mathbb {R} } 的一階命題。因此以下命題同樣成立：

{\displaystyle \forall x,y\in ^{\*}\mathbb {R} ,x+y=y+x}
也就是說超實數集同樣滿足加法交換律。

無窮小量的概念是否嚴格呢？此問題可以追溯到古希臘數學：數學家們如歐幾里得、阿基米德等，為了在一些證明裡繞開無窮小量的爭議以保證嚴格性，而采用了窮竭法等其它說明方式。而亞伯拉罕·魯濱遜在1960年代證明了，

> 超實數系統是相容的，當且僅當實數系統是相容的
> 
> 

換句話說，如果對實數的使用没有懷疑，那也可以放心使用超實數。在處理數學分析的問題時對超實數、尤其是傳達原理的使用，通稱為非標準分析。

傳達原理
----

超實數系統的想法是將實數 {\displaystyle \mathbb {R} } 擴展為一個包含無窮小和無窮大數的系統 {\displaystyle ^{\*}\mathbb {R} }，但不改變代數的任何基本公理。所有形式為「對於任何數字 x ...」的任何語句，如果它在實數系中成立，那麼它在超實數系也仍成立。例如，公理「對於任何數字 x，x+0=x」在 {\displaystyle ^{\*}\mathbb {R} } 中成立。關於多個數字的量化語句也依然是如此，例如「對於任何數字 x 和 y，xy=yx」。這種將語句從實數傳達到超實數的能力被稱為傳達原理，然而，形式為「對於任何數字**集合** S...」的語句可能無法被傳達。實數系和超實數系之間會產生不同的性質只有那些關於對集合的量化敘述，或者其他涉及更高級的結構，如函數和關係等，因為這些高級結構通常是由集合構造出來的。每個實數集合、函數和關係都有其自然的超實數擴展，滿足相同的一階性質，遵守這種對量化的限制的邏輯句子被稱為一階邏輯的語句。

然而，傳達原理並不意味著 {\displaystyle \mathbb {R} } 和 {\displaystyle ^{\*}\mathbb {R} } 的行為完全相同。例如，在 {\displaystyle ^{\*}\mathbb {R} } 中存在一個元素 ω，使得

{\displaystyle 1<\omega ,\quad 1+1<\omega ,\quad 1+1+1<\omega ,\quad 1+1+1+1<\omega ,\ldots .}
但在 **{\displaystyle \mathbb {R} }** 中沒有這樣的數字。換句話說，**{\displaystyle ^{\*}\mathbb {R} }** 不是阿基米德的。這源自於 ω 在 **{\displaystyle \mathbb {R} }** 中的不存在性不能被表示為一階邏輯的語句。

用於分析中
-----

超實數量的非形式化符號在微積分的發展史上出現於兩處：作為無限小，例如 dx，以及作為無限大 ，例如在不定積分的極限中使用符號 ∞。

作為傳達原理的一個例子，對於任何非零數字 x，2x ≠ x，這在實數中是成立的，並且它符合轉移原則所需的形式，因此它也適用於超實數。這表明在超實數系統中不可能使用通用符號 ∞ 來表示所有無限大；無限大在大小上與其他無限大不同，而無限小也與其他無限小不同。

同樣，隨意使用 {\displaystyle {\frac {1}{0}}=\infty } 是無效的，因為「零沒有乘法逆元」也適用傳達原理。這種除法的嚴格描述應為，如果 ε 是一個非零無限小，那麼 {\displaystyle {\frac {1}{\epsilon }}} 是無限大。

對於任何有限的超實數 x，其標準部分 {\displaystyle \operatorname {st} (x)} 被定義為最接近 x 的唯一實數，它與 x 只有微小的差異。標準部分函數也可以定義為無限超實數，方式如下：如果 x 是一個正無限超實數，則設 {\displaystyle \operatorname {st} (x)} 為擴展實數中的 ∞；同樣，如果 x 是一個負無限超實數，則設 {\displaystyle \operatorname {st} (x)} 為 -∞。其原因是無限超實數應該比「真正」的絕對無限小，但比任何實數都更接近它。

### 微分

超實數系統的一個重要用途是其給予微分運算符 d 一個精確的含義，使其能像萊布尼茲那樣直接的定義導數和積分。

對於任何實值函數 f，其微分 df 被定義為一個映射，將每個由一個實數和一個非零無限小組合而成的有序對 (x,dx) 映射到一個無限小：

{\displaystyle df(x,dx):=\operatorname {st} \left({\frac {f(x+dx)-f(x)}{dx}}\right)\ dx.}
需要注意的是，用來表示任何無限小的符號 dx 與上述運算符 d 的定義是一致的。其通常的解釋是若將 x 視為函數 f(x)=x，那麼對於每個 (x,dx)，其微分 d(x)(x,dx) 將等於無限小 dx。

如果在 x 點上，對所有非零無限小 dx，

{\displaystyle {\frac {df(x,dx)}{dx}}=\operatorname {st} \left({\frac {f(x+dx)-f(x)}{dx}}\right)}
所得出的數值都相同，則這個商被稱為函數 f 在點 x 的導數。

例如，要找到函數 f(x)=x2 的導數，讓 dx 是一個非零無限小。然後有以下計算

|  |  |
| --- | --- |
| {\displaystyle {\frac {df(x,dx)}{dx}}} | {\displaystyle =\operatorname {st} \left({\frac {f(x+dx)-f(x)}{dx}}\right)} |
|  | {\displaystyle =\operatorname {st} \left({\frac {x^{2}+2x\cdot dx+(dx)^{2}-x^{2}}{dx}}\right)} |
|  | {\displaystyle =\operatorname {st} \left({\frac {2x\cdot dx+(dx)^{2}}{dx}}\right)} |
|  | {\displaystyle =\operatorname {st} \left({\frac {2x\cdot dx}{dx}}+{\frac {(dx)^{2}}{dx}}\right)} |
|  | {\displaystyle =\operatorname {st} \left(2x+dx\right)} |
|  | {\displaystyle =2x} |

在計算微分的過程中，傳統做法不嚴謹的直接忽略了無限小量的平方，與此相比，非標準分析中使用到的標準部分函數是一個良好的嚴格替代方法。值得注意的是，二元數是基於此思想的數字系統。在上述微分的第三行之後，從牛頓到 19 世紀的典型方法是簡單地丟棄 dx2 項，但在超實數系統中，dx2 非零，其原因是 dx 非零，且「非零數之平方亦非零」適用轉移原則。然而，dx2 的數值與 dx 相比是無限小的，也就是說，超實數系統包含了一系列的無限小量。

使用超實數進行微分可以更方便的進行代數操作。在標準微分中，偏微分和高階微分不能通過代數技巧獨立操作。然而，使用超實數，可以建立這樣的系統，只是會使用稍微不同的表示法。

### 積分

超實數系統另一個關鍵用途是為萊布尼茨所用的積分符號 ∫ 賦予精確的含義。

對於任何微小函數 ε(x)，可以定義積分 {\displaystyle \int (\varepsilon )\ }，它是一個函數，將一個滿足下述條件的三元組 (a,b,dx) 映射到值

{\displaystyle \int \_{a}^{b}(\varepsilon ,dx):=\operatorname {st} \left(\sum \_{n=0}^{N}\varepsilon (a+n\ dx)\right),}
其中 a 和 b 是實數，且 dx 是與 b-a 同正負的微小量，而 N 是任何滿足 {\displaystyle \operatorname {st} (N\ dx)=b-a} 的超整數（英语：）。

如果積分值

{\displaystyle \int \_{a}^{b}(f\ dx,dx)}
與非零微小量 dx 的選擇無關，則實值函數 f 被稱為在閉區間 [a,b] 上可積分。如果是這樣，則該積分被稱為 f 在 [a,b] 上的定積分（或者反導數）。

這表明使用超實數，萊布尼茨對定積分的表示式實際上可以解釋為一個有意義的代數表達式，就像導數可以解釋為一個有意義的商一樣。

参考资料
----

1. ↑  Ball, p. 31
2. ↑  Fite, Isabelle.. 2022. arXiv:2210.07958 可免费查阅.

* Ball, W.W. Rouse.  4th ed. [Reprint. Original publication: London: Macmillan & Co. 1908]. New York: Dover Publications. 1960: 50–62. ISBN 0-486-20630-0.