[论文解读] Surprising Properties of Non-Archimedean Field Extensions of the Real Numbers

Elemér E Rosinger|arXiv (Cornell University)|Nov 25, 2009

Mathematical and Theoretical Analysis参考文献 4被引用 9

一句话总结

本文提出了一种新颖且基础的非阿基米德域扩张的超幂构造方法，通过无穷小量和无穷大量揭示了丰富的自相似结构。研究表明，这些域展现出一种复杂且递归的几何结构，其中无穷小量集合（即单子）的复杂性与无穷大量集合相同，从而挑战了物理学和数学中关于实数线唯一性的基础假设。

ABSTRACT

It is a rather universal tacit and unquestioned belief - and even more so among physicists - that there is one and only one set of real scalars, namely, the one given by the usual field $\mathbb{R}$ of real numbers, with its usual linear order structure on the geometric line. Such a dramatically limiting and thus harmful belief comes, unknown to equally many, from the similarly tacit acceptance of the ancient Archimedean Axiom in Euclid's Geometry. The consequence of that belief is a similar belief in the uniqueness of the field $\mathbb{C}$ of complex numbers, and therefore, of the various spaces, manifolds, etc., be they finite or infinite dimensional, constructed upon the real or complex numbers, including the Hilbert spaces used in Quantum Mechanics. An near total lack of awareness follows about the {\it rich self-similar} structure of various linearly ordered scalar fields obtained through the {\it ultrapower} construction which extend the usual field $\mathbb{R}$ of real numbers. Such {\it ultrapower field} extensions contain as a rather small subset the usual field $\mathbb{R}$ of real numbers. The rich self-similar structure of such field extensions is due to {\it infinitesimals}, and thus also of {\it infinitely large} elements in such fields, which make such fields {\it non-Archimedean}. With the concept of {\it walkable world}, which has highly intuitive and pragmatic algebraic and geometric meaning, the mentioned rich self-similar structure is illustrated. The ultrapower fields presented can have a wide ranging relevance in Physics, among others, for a proper treatment of what are usually called the "infinities in Physics". The ultrapower construction which gives such non-Archimedean fields is rather simple and elementary, requiring only 101 Algebra.

研究动机与目标

• 挑战广泛存在的假设，即实数 R 是几何与物理学中唯一有效的标量域。
• 证明超幂构造可产生严格扩展 R 的线性序域，其因无穷小量与无穷大量而具有丰富且自相似的结构。
• 引入“可行走世界”这一直观的几何代数工具，以可视化非阿基米德域的自相似性。
• 论证当前物理学中的数学模型——尤其是涉及“无穷大”的模型——受限于 R 的阿基米德性质。
• 提出非阿基米德域可更好地建模物理现象，并推动量子理论与相对论中的新概念发展。

提出的方法

• 通过模一个非主超滤子的实数序列等价类，构造非阿基米德域的超幂方法。
• 将域 $\mathbb{F}_{\cal U}$ 定义为 $\mathbb{R}$ 的超幂，其严格包含 $\mathbb{R}$ 作为真子域，并包含无穷小量与无穷大量。
• 引入“单子”概念，即零附近的无穷小量集合，记为 $\operatorname{mon}(0)$，并展示其代数与序理论上的丰富性。
• 在 $\mathbb{F}_{\cal U}$ 的子集之间建立序反向双射，如 $\mathbb{F}_{\cal U} \setminus \operatorname{Gal}(0)$ 与 $\bigcup_{r,\lambda} (r \pm s_\lambda + \operatorname{mon}(0))$，以揭示自相似性。
• 利用映射 $s \mapsto 1/s$ 定义显式的、代数的且序反向的双射，连接扩展直线中不同区域的结构，其复杂性远超 $\mathbb{R}$ 中的情形。
• 提出时间单子可能构成微积分中极限计算与认知可行性背后的根本结构，暗示一种非阿基米德时间结构。

实验结果

研究问题

• RQ1 如何在保持线性序的前提下，将实直线扩展以包含无穷小量与无穷大量？
• RQ2 实数 $\mathbb{R}$ 的超幂域扩张 $\mathbb{F}_{\cal U}$ 的几何与代数结构是什么？
• RQ3 $\mathbb{F}_{\cal U}$ 的自相似结构，特别是零的单子，与 $\mathbb{R}$ 的阿基米德结构有何不同？
• RQ4 “可行走世界”这一概念能否提供一种直观且严谨的框架，以理解非阿基米德几何？
• RQ5 非阿基米德域对“物理中的无穷大”建模以及量子力学与相对论基础概念有何影响？

主要发现

• 超幂构造产生了一个严格扩展 $\mathbb{R}$ 的线性序域 $\mathbb{F}_{\cal U}$，其包含无穷小量与无穷大量。
• 由于超幂构造引发的自相似结构，无穷小量集合 $\operatorname{mon}(0)$ 与所有无穷大量集合 $\mathbb{F}_{\cal U} \setminus \operatorname{Gal}(0)$ 具有相同的复杂性。
• 序反向双射 $s \mapsto 1/s$ 将 uncountably many 个 $\operatorname{mon}(0)$ 的平移映射到伽罗瓦集的补集，揭示了该域结构中的深层对称性。
• $\mathbb{F}_{\cal U}$ 的自相似性在本质上比 $\mathbb{R}$ 更为丰富，因为在 $\mathbb{R}$ 中，此类双射仅关联 $(-\infty, -1] \cup [1, \infty)$ 与 $[-1,1] \setminus \{0\}$。
• 此类域的存在表明，标准实数直线并非唯一适用于描述涉及无穷大或无限精度的物理现象的结构。
• 本文提出，时间单子可能构成微积分中极限计算与认知可行性的根本结构，为经典时间模型提供一种非阿基米德替代方案。