查看“︁超实数 (非标准分析)”︁的源代码

{{NoteTA |G1=Math}}
[[File:Números hiperreales.png|450px|thumb|超实数轴上的无穷小（<math>\varepsilon</math>）和无穷大（<math>\omega</math>）：<math>\left(\frac{1}{\varepsilon}=\frac{\omega}{1}\right)</math>。]]
{{Numbers}}
'''超實數'''系統是為了嚴格處理無窮量（[[無窮大|無窮大量]]和[[無窮小量]]）而提出的。自從[[微積分]]的發明以來，數學家、科學家和工程師等（包括[[牛頓]]和[[萊布尼茲]]在內）就一直廣泛地用無窮小量等概念。超實數集，或稱為'''非標準實數'''集，記爲 <math>^{*}\mathbb{R}</math>，是實數集 <math>\mathbb{R}</math> 的一個[[域擴張|擴張]]；其中含有一種數，它們大於所有如下形式的數：
:<math>1 + 1 + \cdots + 1</math>（[[有限]]個），

這可以解釋為'''無窮大量'''；而它們的倒數就作為'''無窮小量'''。<math>^{*}\mathbb{R}</math> 滿足如下性質：任何關於 <math>\mathbb{R}</math> 的[[一階邏輯|一階命題]]如果成立，則該命題對 <math>^{*}\mathbb{R}</math> 也成立。這種性質稱為{{tsl|en|Transfer principle|傳達原理}}。

舉例來說，實數集的加法[[交換律]]
:<math>\forall x, y \in \mathbb{R}, x + y = y + x</math>

是關於 <math>\mathbb{R}</math> 的一階命題。遵循傳達原理，以下命題同樣成立：
:<math> \forall x, y \in{}^{*}\!\,\mathbb{R}, x + y = y + x </math>，

也就是說超實數集同樣滿足加法交換律。

無窮小量的概念是否嚴格呢？此問題可以追溯到古希臘數學：數學家們如[[歐幾里得]]、[[阿基米德]]等，為了在一些證明裡繞開無窮小量的爭議以保證[[可靠性定理|嚴格性]]，而采用了[[窮竭法]]等其它說明方式<ref>Ball, p. 31</ref>。而[[亞伯拉罕·魯濱遜]]在1960年代證明了如下命題：
{{quote|超實數系統是相容的，當且僅當實數系統是相容的。}}
換句話說，如果對實數的使用没有懷疑，那也可以放心使用超實數。在處理數學分析的問題時對超實數、尤其是傳達原理的使用，通稱為[[非標準分析]]。

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

然而，傳達原理並不意味著 <math>\mathbb{R}</math> 和 <math>^{*}\mathbb{R}</math> 的行為完全相同。例如，在 <math>^{*}\mathbb{R}</math> 中存在一個元素 <math>\omega</math>，使得下面的一系列關係恒成立：

: <math> 1<\omega, \quad 1+1<\omega, \quad 1+1+1<\omega, \quad 1+1+1+1<\omega, \ldots </math>。

但在 '''<math>\mathbb{R}</math>''' 中沒有這樣的數字。換句話說，{{來源請求|<math>^*\mathbb{R}</math> 不是阿基米德的|time=2024-12-11}}。其原因在於， <math>\omega</math> 在 <math>\mathbb{R}</math> 中的不存在性不能被表示為一階邏輯的語句。

== 用於分析中 ==

超實數量的非形式化符號在微積分的發展史上出現於兩處：作為無限小，例如 <math>{\mathrm d}x </math>；以及作為無限大 ，例如在[[不定積分]]的極限中使用符號 <math>\infty</math>。

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

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

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

=== 微分 ===
超實數系統的一個重要用途是其給予微分運算符 <math>\mathrm{d}</math> 一個精確的含義，使其能像[[萊布尼茲]]那樣直接的定義導數和積分。

對於任何實值函數 <math>f</math>，其微分 <math>\mathrm{d}f</math> 被定義為一個映射，將每個由一個實數和一個非零無限小組合而成的有序對 <math>(x,\,\mathrm{d}x)</math> 映射到一個無限小：
:<math>\begin{align}\mathrm{d}\colon\ &\mathsf{Map}&\rightarrow&\qquad\qquad\mathsf{Map}\\&\ f & \mapsto & \quad\left[\begin{align}\mathrm{d}f\colon&\ \mathbb{R}\times{}^*\!\,\mathbb{R}& \rightarrow & \qquad{}^*\!\,\mathbb{R}\\& (x,\,\mathrm{d}x)&\mapsto & \quad \operatorname{st}\left(\dfrac{f(x+\mathrm{d}x) -f(x)}{\mathrm{d}x}\right)\mathrm{d}x\end{align} \right]. \end{align} </math>

需要注意的是，用來表示任何無限小的符號 <math>\mathrm{d}x</math> 與上述運算符 <math>\mathrm{d}</math> 的定義是一致的。其通常的解釋是若將 <math>\mathrm{d}</math> 視為函數 <math>f(x)=x</math>，那麼對於每個 <math>(x,\,\mathrm{d}x) </math>，其微分 <math>\mathrm{d}(x)(x,\,\mathrm{d}x)</math> 將等於無限小 <math>\mathrm{d}x</math>。

如果在 <math>x</math> 點上，對所有非零無限小 <math>\mathrm{d}x</math>，

:<math>\frac{\mathrm{d}f(x,\mathrm{d}x)}{\mathrm{d}x}=\operatorname{st}\left(\frac{f(x + \mathrm{d}x) - f(x)}{\mathrm{d}x} \right) </math>

所得出的數值都相同，則這個商被稱為函數 <math>f</math> 在點 <math>x</math> 的導數。

例如，要找到函數 <math>f(x)=x^2</math> 的[[導數]]，讓 <math>\mathrm{d}x</math> 是一個非零無限小。然後有以下計算
:{|
|-
|<math>\frac{\mathrm{d}f(x,\mathrm{d}x)}{\mathrm{d}x}</math>
|<math>=\operatorname{st}\left(\frac{f(x + \mathrm{d}x) - f(x)}{\mathrm{d}x}\right)</math>
|-
|
|<math>=\operatorname{st}\left(\frac{x^2 + 2x \cdot dx + (\mathrm{d}x)^2 -x^2}{\mathrm{d}x}\right)</math>
|-
|
|<math>=\operatorname{st}\left(\frac{2x \cdot \mathrm{d}x +  (\mathrm{d}x)^2}{\mathrm{d}x}\right)</math>
|-
|
|<math>=\operatorname{st}\left(\frac{2x \cdot \mathrm{d}x}{\mathrm{d}x} + \frac{(\mathrm{d}x)^2}{\mathrm{d}x}\right)</math>
|-
|
|<math>=\operatorname{st}\left(2x + \mathrm{d}x\right) </math>
|-
|
|<math>=2x</math>
|}
在計算微分的過程中，傳統做法不嚴謹的直接忽略了無限小量的平方，與此相比，非標準分析中使用到的標準部分函數是一個良好的嚴格替代方法。值得注意的是，[[二元數]]是基於此思想的數字系統。在上述微分的第三行之後，從牛頓到 19 世紀的典型方法是簡單地丟棄 <math>\mathrm{d}x^2</math> 項，但在超實數系統中，<math>\mathrm{d}x^2</math> 非零，其原因是 <math>\mathrm{d}x</math> 非零，且「非零數之平方亦非零」適用轉移原則。然而，<math>\mathrm{d}x^2</math> 的數值與 <math>\mathrm{d}x</math> 相比是無限小的，也就是說，超實數系統包含了一系列各不等同的無限小量。

使用超實數進行微分可以更方便的進行代數操作。在標準微分中，偏微分和高階微分不能通過代數技巧獨立操作。然而，使用超實數，可以建立這樣的系統，只是會使用稍微不同的表示法。<ref>{{cite arXiv |last=Fite |first=Isabelle |title=Total and Partial Differentials as Algebraically Manipulable Entities |arxiv=2210.07958 |date=2022}}</ref>

===積分===

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

對於任何微小函數 <math>\varepsilon(x)</math>，可以定義積分 <math>\int(\varepsilon) \ </math>，它是一個被如此定義的函數：

:<math>\begin{align}\int\colon&\quad\mathsf{Map}&\rightarrow&\qquad\qquad\mathsf{Map}\\
&\quad\varepsilon(x)&\mapsto&\quad\left[\begin{align}\int(\varepsilon)\colon&\quad\mathbb{R}^2\times{}^*\!\,\mathbb{R}&\rightarrow&\qquad\mathbb{R}\\&\quad(a,\,b,\,\mathrm{d}x)&\mapsto&\int_a^b(\varepsilon,\,\mathrm{d}x):=\operatorname{st}\left(\sum_{n=0}^N\varepsilon(a+n\,\mathrm{d}x)\right)\end{align}\right]\end{align}.</math>

其中 <math>a</math> 和 <math>b</math> 是實數，且 <math>\mathrm{d}x</math> 是與 <math>b-a</math> 同正負的微小量，而 <math>N</math> 是任何滿足 <math> \operatorname{st}(N \ \mathrm{d}x) = b-a</math> 的{{Tsl|en|hyperinteger|超整數}}。

如果積分值 <math>\int_a^b(f \,\mathrm{d}x,\mathrm{d}x)</math> 與非零微小量 <math>\mathrm{d}x</math> 的選擇無關，則實值函數 <math>f</math> 被稱為在閉區間 <math>[a,\,b]</math> 上可積分，此時，該積分被稱為 <math>f</math> 在 <math>[a,\,b]</math> 上的定積分，或者反導數。

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

==性質==

超實數集 <math>^{*}\mathbb{R}</math> 是包涵實數 <math>\mathbb{R}</math> 的[[有序體]]。與實數體不同的是，超實數集並不構成一個標準的[[度量空間]]，但由於其有序性，在超實數集上可以定義[[序拓撲]]。

雖然「超實數集」一詞看似是指稱實數 <math>\mathbb{R}</math> 的唯一有序體擴張，然而，在多數情況下該擴張並不是唯一的。不過，2003 年{{Tsl|en|Vladimir Kanovei|弗拉基米爾‧卡諾維}}和{{Tsl|en|Saharon Shelah|薩哈隆·示拉}}的一篇論文表明<ref name="kanovei2003">{{Citation|last1=Kanovei|first1=Vladimir|last2=Shelah|first2=Saharon|title=A definable nonstandard model of the reals|url=http://shelah.logic.at/files/825.pdf|journal=Journal of Symbolic Logic|volume=69|year=2004|pages=159–164|doi=10.2178/jsl/1080938834|arxiv=math/0311165|s2cid=15104702|access-date=2004-10-13|archive-url=https://web.archive.org/web/20040805172214/http://shelah.logic.at/files/825.pdf|archive-date=2004-08-05|url-status=dead}}</ref>，存在一個{{Tsl|en|definable set|可定義性|可定義的}}、可[[飽和模型|飽和]]實數 <math>\mathbb{R}</math> 的[[基本子結構|初等擴張]]，其中飽和意味著 [[飽和模型|''ω''-飽和]]但不是[[可數集|可數的]]。此外，上述通過對收集所有實數序列的空間中進行[[超積|超冪次]]建構所獲得的體，在[[連續統假設]]下，具有同構意義下的唯一性，因此有理由稱其為「超實數」<math>^{*}\mathbb{R}</math>。

超實數集的條件比包含實數 <math>\mathbb{R}</math> 的[[實封閉體]]的條件更強，它也比戴爾斯和{{Tsl|en|William Hugh Woodin|威廉·哈格·伍丁|伍丁}}所定義的{{Tsl|en|Superreal number|超級實數體}}的條件更強<ref>{{Citation|last1=Woodin|first1=W. H.|last2=Dales|first2=H. G.|title=Super-real fields: totally ordered fields with additional structure|publisher=Clarendon Press|location=Oxford|isbn=978-0-19-853991-9|year=1996}}</ref>。

==發展==

超實數相關概念的發展可以分為透過公理化及透過構造性的兩種過程。公理化方法的精髓在於斷言（一）至少存在一個無窮小數，和（二）轉移原則的有效性。而以下的子節，則更著重於詳述建構性方法，此方法允許人們在一個稱為[[超濾子]]的集合論物件上超實數，但是超濾子本身不能被明確地構造。

===從萊布尼茲到魯濱遜===

當[[牛頓]]和[[萊布尼茲]]引入微分時，他們使用了無窮小數，這些無窮小數的概念仍然被後來的數學家如[[歐拉]]和[[柯西]]不斷的使用。但是，這些概念從一開始就被認為是可疑的，特別是[[柏克萊|喬治·柏克萊]]，其批評集中在對微分（或流量）定義中假設的變化的感知上，尤其是 <math>\mathrm{d}x</math> 在計算開始時被假定為非零，並在其結束時消失（參見條目[[分析學家]]）。在 1800 年代，通過[[伯恩哈德·波爾查諾|波爾查諾]]、柯西、[[魏爾斯特拉斯]]等人發展的 <math>(\varepsilon,\,\delta)</math>-極限定義將[[微積分]]建立在堅實的基礎上時，無窮小數幾乎被遺棄，唯獨有關[[阿基米德公理|非阿基米德體]]的研究仍在繼續（Ehrlich 2006）。

直到 1960 年代，[[亞伯拉罕·魯濱遜|魯濱遜]]展示了如何嚴格定義和使用無窮大和無窮小數來發展[[非標準分析]]相關領域<ref name="robinson2">{{Citation|last1=Robinson|first1=Abraham|author1-link=Abraham Robinson|title=Non-standard analysis|publisher=[[Princeton University Press]]|isbn=978-0-691-04490-3|year=1996}}. The classic introduction to nonstandard analysis.</ref>， 羅賓森使用[[模型論]]以[[構造性證明|非構造性]]的方式發展了他的理論。然而，只使用[[抽象代數]]和[[拓撲學]]等工具，並將轉移原則作為定義的直接推論來進行論證，也是可行的。換句話說，除了在非標準分析中的使用外，超實數「本身」與模型理論或一階邏輯沒有必要的關係，儘管超實數是通過應用來自邏輯的模型理論技術發現的。事實上，超實數集最初是由{{Tsl|en|Edwin Hewitt|愛德溫‧休伊特}}於 1948 年使用超冪次構造法引入的，當中僅涉及純粹的抽象代數。

== 参考资料 ==
{{reflist}}
* {{cite book | last = Ball | first = W.W. Rouse | authorlink = :en:W. W. Rouse Ball | title = A Short Account of the History of Mathematics | origyear = | url =https://archive.org/details/shortaccountofhi0000ball| edition = 4th ed. [Reprint. Original publication: London: Macmillan & Co., 1908] | year = 1960 | publisher = Dover Publications | location = New York | isbn = 0-486-20630-0 | pages = [https://archive.org/details/shortaccountofhi0000ball/page/50 50]–62 }}

[[Category:数]]
[[Category:无穷]]