[論文レビュー] Integration on the Surreals: a Conjecture of Conway, Kruskal and Norton

Ovidiu Costin, Philip Ehrlich+1 more|arXiv (Cornell University)|May 11, 2015

Advanced Topology and Set Theory参考文献 21被引用数 15

ひとこと要約

この論文は、コンウェイ、クラスカル、ノーマンが提起した、ノイマン数体系における積分に関する長年の予想を解決する。エカリ・ボレルトランスシリーズ—ほとんどの古典的特殊関数を含む—は、良好な積分性質を有するノイマン数への自然な拡張を許容することが証明された。さらに、より広い関数クラスへの積分の拡張に根本的な論理的障害が存在することを示し、NBG集合論においても、整関数クラスですら基本的性質を満たす定義可能な積分作用素が存在しないことを示した。

ABSTRACT

In his monograph On Numbers and Games, J. H. Conway introduced a real-closed field No of surreal numbers containing the reals and the ordinals, as well as a vast array of less familiar numbers. A longstanding aim has been to develop analysis on No as a powerful extension of ordinary analysis on the reals. This entails finding a natural way of extending important functions f from the reals to the reals to functions f* from the surreals to the surreals, and naturally defining integration on the f*. The usual square root, log, and exp were naturally extended to No by Bach, Conway, Kruskal, and Norton, retaining their usual properties. Later Norton also proposed a treatment of integration, but Kruskal discovered it has flaws. In his recent survey [2, p. 438], Siegel characterizes the question of the existence of a reasonable definition of surreal integration as "perhaps the most important open problem in the theory of surreal numbers." This paper addresses this and related unresolved issues with positive and negative results. In the positive direction, we show that semi-algebraic, semi-analytic, analytic, meromorphic, or more generally Écalle-Borel transseriable functions extend naturally to No, and an integral with good properties exists on them. In the negative direction, we show there is a fundamental set-theoretic obstruction to naturally extending many larger families of functions.

研究の動機と目的

• コンウェイ、クラスカル、ノーマンが提起したノイマン数体系における自然な積分に関する長年の予想を解決すること。
• 指数関数、対数関数、および古典的特殊関数といった関数が、ℝからNoへ自然に拡張可能であり、その解析的性質が保たれるかどうかを特定すること。
• 実関数のノイマン拡張上で定義可能で性質を保つ積分作用素の存在を調査すること。
• 一般のノイマン積分理論を制限された関数クラスを超えて構築できない根本的な論理的・構造的障害を同定すること。
• NBG集合論がノイマン関数およびその積分を扱う上で果たす基礎的役割を明確にすること、特に固有クラスおよび高階クラス構成に関して。

提案手法

• 著者らは、合成および微分に関して閉じた、半代数的・半解析的関数および不規則特異点をもつ常微分方程式の解を含む、エカリ・ボレルトランスシリーズのクラスを定義し、分析する。
• 無限遠点におけるEB-和分可能トランスシリーズを有する関数に対して、コンウェイのノイマン的絶対収束の概念を用いて、ノイマン拡張の遺伝的構成を確立する。
• 発散する漸近的級数への有限なノイマン値の割り当てを可能にするために、ボレル和分技術を用い、すべてのx > ∞に対して収束を実現する。
• トランスシリーズ展開を通じて構成された逆微分を用いてノイマン積分を定義し、ℝ上での古典的積分と整合性を保証する。
• 記述的集合論およびNBGにおけるクラス論的技法を用いて正値集合を分析し、一般の積分作用素の非存在を証明する。
• ノイマン関数を形式化する際の「文言的」および「クラス的」アプローチの違いを区別し、到達可能な一般性を確保するには不動点基数の追加仮定が必要であることを示す。

実験結果

リサーチクエスチョン

• RQ1 エカリ・ボレルトランスシリーズ（例えばガンマ関数、ベッセル関数を含む古典的特殊関数を含む）は、良好な収束性と代数的性質を持つノイマン数への自然な拡張が可能であり、定義可能な積分を有するか？
• RQ2 NBG集合論内において、実関数のノイマン拡張上で定義可能で性質を保つ積分作用素が存在するか？
• RQ3 ノイマン枠組み内において、実整関数のようなより広い関数クラスへの積分の拡張を妨げる根本的な論理的障害は何か？
• RQ4 不規則特異点をもつ常微分方程式の解に現れる発散する漸近的級数は、ノイマン数体系内で意味的に和分可能か？
• RQ5 ノイマン数の構成の中心的役割を果たす遺伝的定義法は、Noにおける積分およびその逆微分を定義するのにも拡張可能か？

主な発見

• エカリ・ボレルトランスシリーズ（エアリー、ベッセル、Ei、 erf、ガンマ関数など、すべての古典的特殊関数を含む）はノイマン数へ自然に拡張され、良好な収束性と代数的性質を有する積分を有する。
• Noにおけるすべてのx > ∞に対して、スターリングの公式のような発散する漸近的級数はノイマン的意味で絶対収束する。これにより、無限大における拡張の妥当性が裏付けられる。
• 定義可能で基本的性質（線形性、微分積分学の基本定理など）を満たす積分作用素は、NBG集合論内ですら、実整関数クラスに対しても存在しない。
• このような作用素の存在は論理的に障害されている：NBG内では、たとえ極めて制限された関数族に対しても、その存在を証明することはできない。
• 無限遠点でEB-和分可能なトランスシリーズを有する関数のノイマン積分は、well-definedであり、ℝ上での古典的積分と一致し、無限大および無限小の引数へ自然に拡張される。
• 本論文は、トランスシリーズ和分を用いた対数積分および関連関数（例：Ei, Erfi, ガンマ）のノイマン拡張が、すべてのノイマン的領域で一貫性があり収束することを確立した。