[论文解读] Ordered Fields, the Purge of Infinitesimals from Mathematics and the Rigorousness of Infinitesimal Calculus

James F. Hall, Тодор Д. Тодоров|arXiv (Cornell University)|Sep 13, 2015

Mathematical and Theoretical Analysis参考文献 14被引用 6

一句话总结

本文通過代數、分析、拓撲與非標準分析中的十種等價陳述，重新評估了17至18世紀無窮小微積分的嚴謹性，並對實數的完備性進行特徵化。論文主張萊布尼茨-歐拉無窮小微積分在一致的非阿基米德框架下具有數學嚴謹性，且其有效性建立於萊布尼茨轉移原理之上。

ABSTRACT

We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of several equivalent statements} borrowed from algebra, real analysis, general topology, and non-standard analysis. We also discuss the completeness of non-Archimedean fields and present several examples of such fields. As an application, we exploit the characterization of the reals to argue that the Leibniz-Euler infinitesimal calculus in the $17^ extrm{th}$-$18^ extrm{th}$ centuries was already a rigorous branch of mathematics -- at least much more rigorous than most contemporary mathematicians prefer to believe. By advocating our particular historical point of view, we hope to provoke a discussion on the importance of mathematical rigor in mathematics and science in general. This article is directed to all mathematicians and scientists who are interested in the foundations of mathematics and the history of infinitesimal calculus.

研究动机与目标

• 透過來自代數、實分析、一般拓撲與非標準分析等多個數學領域的等價陳述，對實數的完備性提供全面特徵化。
• 明確區分阿基米德與非阿基米德有序域，特別是在無窮小量的語境下。
• 主張萊布尼茨-歐拉無窮小微積分在非標準框架中具有嚴謹的數學基礎，反駁了其缺乏形式嚴謹性的普遍看法。
• 提出萊布尼茨轉移原理作為一項基礎工具，用於在標準域擴展至非標準域時維持邏輯一致性。
• 主張應重新評估歷史與基礎脈絡中的數學嚴謹性，特別是無窮小量在其中的角色。

提出的方法

• 利用來自代數、實分析、一般拓撲與非標準分析的十種等價陳述，特徵化阿基米德有序域的完備性（定理4.1）。
• 透過非標準擴張 *ℝ 定義無窮小量，並利用萊布尼茨轉移原理，確保標準恆等式與函數能一致地延拓至超實數域。
• 運用轉移原理證明代數與超越恆等式（例如 (x+y)³ = x³ + 3x²y + 3xy² + y³）在 *ℝ 中成立，只要它們在 ℝ 中成立。
• 構造非阿基米德域的範例，包括哈恩級數與冪級數域，以說明含無窮小量的有序域的存在性與結構。
• 應用轉移原理，透過無窮小增量推導導數，例如透過展開式 (x+dx)³ − x³ / dx ≈ 3x²，證明 (x³)′ = 3x²。
• 透過反積分定義（例如 sin⁻¹y = ∫₀ʸ dy/√(1−y²)）重構三角函數與指數函數的歷史基礎，並透過週期性與轉移原理將其擴展至 *ℝ。

实验结果

研究问题

• RQ1 在現代完備性與一致性標準下，17至18世紀無窮小微積分在多大程度上具有數學嚴謹性？
• RQ2 實數的十種等價完備性條件如何統一代數、分析、拓撲與非標準分析中的概念？
• RQ3 萊布尼茨轉移原理能否用於形式化地證明無窮小推理在微積分中的一致性，而無需依賴 ε-δ 方法？
• RQ4 非阿基米德有序域在建模無窮小量時扮演何種角色？它們在結構上與實數有何不同？
• RQ5 在現代分析發展之前，如 sin x 與 e^x 之類的初等函數在無窮小微積分中是如何嚴謹定義的？

主要发现

• 實數的完備性由十種等價陳述特徵化，涵蓋代數、分析、拓撲與非標準分析，為實數提供統一的基礎。
• 萊布尼茨轉移原理確保標準實數 ℝ 的所有一階性質都能延拓至其非標準擴張 *ℝ，從而維持恆等式與函數行為的一致性。
• 透過無窮小增量 dx，x³ 的導數被嚴謹地推導為 3x²，其中差商簡化為 3x² + 3x dx + dx² ≈ 3x²，這是基於 dx 的無窮小性質。
• 三角函數透過反積分定義（例如 sin⁻¹y = ∫₀ʸ dy/√(1−y²)）定義，並透過週期性與轉移原理擴展至 *ℝ，顯示出在黎曼理論出現前已具備高度嚴謹性。
• 非阿基米德域如哈恩級數與冪級數域提供了含無窮小量的有序域的具體範例，證明此類結構在數學上是一致且定義明確的。
• 歷史上的無窮小微積分，特別是萊布尼茨與歐拉所發展的版本，比普遍認為的更具嚴謹性，因其運作於邏輯一致的非標準框架中，並以轉移原理為基礎。