[論文レビュー] 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

ひとこと要約

本稿は、代数、解析学、位相幾何学、非標準解析学の分野から得られる10の同値な記述を用いて、実数の完備性を特徴づけることで、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.

研究の動機と目的

• 代数、解析学、位相幾何学、非標準解析学の分野から得られる同値な記述を用いて、実数の完備性を包括的に特徴づけること。
• アーベルド順序体と非アーベルド順序体の違い、特に無限小量の文脈における区別を明確にすること。
• リーマン＝オイラーの無限小解析が、形式的厳密性を欠いていたという一般的な誤解に反して、非標準的枠組みにおいて論理的に整合した基礎を有していたことを主張すること。
• 標準的領域から非標準的領域に拡張する際の論理的一致性を保つために、リーマン移行原理を基礎的ツールとして提示すること。
• 特に無限小量の役割を踏まえた歴史的・基礎的文脈において、数学的厳密性の再評価を提唱すること。

提案手法

• 代数、実解析、一般位相、非標準解析学の分野から得られる10の同値な記述を用いて、アーベルド順序体の完備性を特徴づける（定理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 実数の10の同値な完備性条件が、代数、解析学、位相幾何学、非標準解析学の概念をどのように統合しているか？
• RQ3 ε-δ法に依存せずに、リーマン移行原理を用いて無限小推論の整合性を形式的に正当化できるか？
• RQ4 非アーベルド順序体は無限小量をどのようにモデル化するのか。また、実数とは構造的にどのように異なるか？
• RQ5 現代解析の発展以前に、sin x や e^x などの初等関数は、無限小解析においてどのように厳密に定義されたのか？

主な発見

• 実数の完備性は、代数、解析学、位相幾何学、非標準解析学の分野にまたがる10の同値な記述によって特徴づけられ、実数の統一的基礎を提供する。
• リーマン移行原理により、標準的実数 ℝ のすべての一次論理的性質が非標準拡張 *ℝ へ拡張され、恒等式や関数的挙動が保存される。
• 無限小増分 dx を用いて、x³ の微分が 3x² として論理的に導出される。差分商は 3x² + 3x dx + dx² ≈ 3x² に簡略化され、dx の無限小性に起因する。
• 三角関数は逆積分（例：sin⁻¹y = ∫₀ʸ dy/√(1−y²)）を用いて定義され、周期性と移行原理を介して *ℝ へ拡張された。これはリーマン以前の時代においても高い厳密性が確保されていたことを示唆する。
• ハーン級数やべき級数体といった非アーベルド体は、無限小量を含む順序体の具体的な例を提供し、このような構造が数学的に整合的かつ明確に定義可能であることを示している。
• 歴史的無限小解析、とりわけリーマンとオイラーが発展させたものについては、形式的厳密性を欠いているという一般的な誤解に反して、論理的に整合した非標準的枠組みに裏打ちされた、より高い厳密性を有していたことが示された。