超实数 (非标准分析)

维基百科,自由的百科全书
超实数轴上的无穷小(ε)和无穷大(ω)(1/ε=ω/1)
各种各样的
基本

延伸
其他

圓周率
自然對數的底
虛數單位
無限大

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

有限個)

這可以解釋為無窮大;而它們的倒數就作為無窮小量 滿足如下性質:任何關於  的一階命題如果成立,則對  也成立。這種性質稱為傳達原理英语Transfer principle。舉例來說,實數集的加法交換律

是關於  的一階命題。因此以下命題同樣成立:

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

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

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

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

傳達原理

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

然而,傳達原理並不意味著 的行為完全相同。例如,在 中存在一個元素 ω,使得

但在 中沒有這樣的數字。換句話說, 不是阿基米德的。這源自於 ω 在 中的不存在性不能被表示為一階邏輯的語句。

用於分析中

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

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

同樣,隨意使用 是無效的,因為「零沒有乘法逆元」也適用傳達原理。這種除法的嚴格描述應為,如果 ε 是一個非零無限小,那麼 是無限大。

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

微分

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

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

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

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

所得出的數值都相同,則這個商被稱為函數 f 在點 x 的導數。

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

参考资料

  1. ^ Ball, p. 31