跳转到内容

超实数 (非标准分析)

本页使用了标题或全文手工转换
维基百科,自由的百科全书
超实数轴上的无穷小(ε)和无穷大(ω)(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 是一个非零无限小。然后有以下计算

在计算微分的过程中,传统做法不严谨的直接忽略了无限小量的平方,与此相比,非标准分析中使用到的标准部分函数是一个良好的严格替代方法。值得注意的是,二元数是基于此思想的数字系统。在上述微分的第三行之后,从牛顿到 19 世纪的典型方法是简单地丢弃 dx2 项,但在超实数系统中,dx2 非零,其原因是 dx 非零,且“非零数之平方亦非零”适用转移原则。然而,dx2 的数值与 dx 相比是无限小的,也就是说,超实数系统包含了一系列的无限小量。

使用超实数进行微分可以更方便的进行代数操作。在标准微分中,偏微分和高阶微分不能通过代数技巧独立操作。然而,使用超实数,可以建立这样的系统,只是会使用稍微不同的表示法。[2]

积分

[编辑]

超实数系统另一个关键用途是为莱布尼茨所用的积分符号 ∫ 赋予精确的含义。

对于任何微小函数 ε(x),可以定义积分 ,它是一个函数,将一个满足下述条件的三元组 (a,b,dx) 映射到值

其中 a 和 b 是实数,且 dx 是与 b-a 同正负的微小量,而 N 是任何满足 超整数英语hyperinteger

如果积分值

与非零微小量 dx 的选择无关,则实值函数 f 被称为在闭区间 [a,b] 上可积分,此时,该积分被称为 f 在 [a,b] 上的定积分,或者反导数。

这表明使用超实数,莱布尼茨对定积分的表示式实际上可以解释为一个有意义的代数表达式,就像导数可以解释为一个有意义的商一样。

性质

[编辑]

超实数集 是包函实数 有序体。与实数体不同的是,超实数集并不构成一个标准的度量空间,但由于其有序性,在上超实数集可以定义序拓扑

虽然“超实数集”一词看似是指称实数 的唯一有序体扩张,然而,在多数情况下该扩张并不是唯一的。不过,2003 年弗拉基米尔‧卡诺维英语Vladimir Kanovei萨哈隆·示拉英语Saharon Shelah的一篇论文表明[3],存在一个可定义的英语definable set、可饱和实数R的初等扩张,其中饱和意味著ω-饱和但不是可数的。此外,上述通过对收集所有实数序列的空间中进行超幂次建构所获得的体,在连续统假设下,具有同构意义下的唯一性,因此有理由称其为“超实数”

超实数集的条件比包含实数 实封闭体的条件更强,它也比戴尔斯和伍丁英语William Hugh Woodin所定义的超级实数体英语Superreal number的条件更强[4]

发展

[编辑]

超实数相关概念的发展可以分为透过公理化及透过构造性的两种过程。公理化方法的精髓在于断言(一)至少存在一个无穷小数,和(二)转移原则的有效性。而以下的子节,则更著重于详述建构性方法,此方法允许人们在一个称为超滤子的集合论物件上超实数,但是超滤子本身不能被明确地构造。

从莱布尼兹到鲁滨逊

[编辑]

牛顿莱布尼兹引入微分时,他们使用了无穷小数,这些无穷小数的概念仍然被后来的数学家如欧拉柯西不断的使用。但是,这些概念从一开始就被认为是可疑的,特别是乔治·柏克莱,其批评集中在对微分(或流量)定义中假设的变化的感知上,尤其是 dx 在计算开始时被假定为非零,并在其结束时消失(参见条目分析学家)。在1800年代,通过波尔查诺、柯西、魏尔斯特拉斯等人发展的 (ε,δ)-极限定义将微积分建立在坚实的基础上时,无穷小数几乎被遗弃,唯独有关非阿基米德体的研究仍在继续(Ehrlich 2006)。

直到 1960 年代,鲁滨逊展示了如何严格定义和使用无穷大和无穷小数来发展非标准分析相关领域[5], 罗宾森使用模型论非构造性的方式发展了他的理论。然而,只使用抽象代数拓扑学等工具,并将转移原则作为定义的直接推论来进行论证,也是可行的。换句话说,除了在非标准分析中的使用外,超实数“本身”与模型理论或一阶逻辑没有必要的关系,尽管超实数是通过应用来自逻辑的模型理论技术发现的。事实上,超实数集最初是由爱德温‧休伊特英语Edwin Hewitt于 1948 年使用超幂次构造法引入的,当中仅涉及纯粹的抽象代数。

参考资料

[编辑]
  1. ^ Ball, p. 31
  2. ^ Fite, Isabelle. Total and Partial Differentials as Algebraically Manipulable Entities. 2022. arXiv:2210.07958可免费查阅. 
  3. ^ Kanovei, Vladimir; Shelah, Saharon, A definable nonstandard model of the reals (PDF), Journal of Symbolic Logic, 2004, 69: 159–164 [2004-10-13], S2CID 15104702, arXiv:math/0311165可免费查阅, doi:10.2178/jsl/1080938834, (原始内容 (PDF)存档于2004-08-05) 
  4. ^ Woodin, W. H.; Dales, H. G., Super-real fields: totally ordered fields with additional structure, Oxford: Clarendon Press, 1996, ISBN 978-0-19-853991-9 
  5. ^ Robinson, Abraham, Non-standard analysis, Princeton University Press, 1996, ISBN 978-0-691-04490-3 . The classic introduction to nonstandard analysis.