[論文レビュー] Analysis on Surreal Numbers

Simon Rubinstein‐Salzedo, Ashvin Swaminathan|arXiv (Cornell University)|Jul 28, 2013

Artificial Intelligence in Games参考文献 9被引用数 8

ひとこと要約

この論文は、極限、微分、積分を定義するために、ノーベル数の新しい表現を導入することで、ノーベル数への解析の拡張を試みている。ノーベル数列の極限に関する公式を確立し、無限リーマン和やべき級数の外挿を用いた評価を可能にした。また、新しい位相を用いて中間値の定理を証明し、積分が一貫して定義されれば、微分積分学の基本定理が成り立つことが示された。

ABSTRACT

The class $\mathbf{No}$ of surreal numbers, which John Conway discovered while studying combinatorial games, possesses a rich numerical structure and shares many arithmetic and algebraic properties with the real numbers. Some work has also been done to develop analysis on $\mathbf{No}$. In this paper, we extend this work with a treatment of functions, limits, derivatives, power series, and integrals. We propose surreal definitions of the arctangent and logarithm functions using truncations of Maclaurin series. Using a new representation of surreals, we present a formula for the limit of a sequence, and we use this formula to provide a complete characterization of convergent sequences and to evaluate certain series and infinite Riemann sums via extrapolation. A similar formula allows us to evaluates limits (and hence derivatives) of functions. By defining a new topology on $\mathbf{No}$, we obtain the Intermediate Value Theorem even though $\mathbf{No}$ is not Cauchy complete, and we prove that the Fundamental Theorem of Calculus would hold for surreals if a consistent definition of integration exists. Extending our study to defining other analytic functions, evaluating power series in generality, finding a consistent definition of integration, proving Stokes' Theorem to generalize surreal integration, and studying differential equations remains open.

研究の動機と目的

• ノーベル数における解析の厳密な枠組みを構築し、極限、微分、積分といった実数解析の概念を拡張すること。
• ノーベル関数における極限や微分の定義が一貫して存在しないことによる、ノーベル数における微積分学の障害を解消すること。
• 自然数における部分和から外挿することで、収束するノーベル数列の特徴づけと、無限級数やリーマン和の評価を行うこと。
• ノーベル数に新しい位相を定義し、連結性を回復させ、コーシー完備性に欠けるにもかかわらず中間値の定理が成り立つようにすること。
• 積分理論が一貫して定義されれば、ノーベル関数において微分積分学の基本定理が成り立つ条件を確立すること。

提案手法

• ノーベル数の新しい表現を提案し、ノーベル数列の極限に関する公式を導出することで、収束の解析を可能にした。
• この極限公式を用いて、自然数における部分和から順序数への外挿により、特定の無限級数やリーマン和を評価した。
• 同じ極限公式を用いて、ノーベル関数の微分を定義し、微分積分学をノーベル数の文脈に拡張した。
• ノーベル数に新しい位相を定義し、空間の連結性を回復させ、標準的位相における完全に離散的であるという問題を克服した。
• この新しい位相のもとで、連続関数に対して中間値の定理が成り立つことを示したが、ノーベル数はコーシー完備ではない。
• 積分理論が所定の性質を満たす一貫した定義を持つならば、ノーベル数において微分積分学の基本定理が成り立つことを示した。

実験結果

リサーチクエスチョン

• RQ1 ε-δ枠組みが標準的でないにもかかわらず、ノーベル関数の極限や微分を一貫して定義する方法は何か？
• RQ2 有限部分和から外挿することで、ノーベル数体系において無限リーマン和やべき級数を意味的に評価することは可能か？
• RQ3 ノーベル数に連結性を回復させ、中間値の定理のような古典的定理を可能にする位相を定義することは可能か？
• RQ4 積分理論が一貫して定義されれば、ノーベル関数において微分積分学の基本定理が成り立つ条件は何か？
• RQ5 再帰的構成によって定義される遺伝的関数は、加法定数を除き一意な原始関数を持つとみなせるか？ これにより、逆微分法による積分が有効である可能性がある。

主な発見

• ノーベル数の新しい表現を用いて、ノーベル数列の極限に関する新しい公式を導出し、収束列の完全な特徴づけを可能にした。
• この極限公式により、自然数から順序数への外挿を用いて、特定の無限級数やリーマン和を評価でき、exp(x)のような関数を正しく積分できた。
• ノーベル数に連結性を回復させる新しい位相を定義し、コーシー完備性に欠けるにもかかわらず中間値の定理が成り立つようにした。
• 新しい位相のもとで、特定の連続関数に対して極値の定理が成り立つことを証明した。
• 積分理論が所定の性質を満たす一貫した定義を持つならば、ノーベル数において微分積分学の基本定理が成り立つことが示された。
• 遺伝的関数は加法定数を除き一意な原始関数を持つという予想を提示した。この予想が成り立てば、逆微分法による積分が有効な方法である可能性がある。