[論文レビュー] Fermat Reals - Nilpotent Infinitesimals and Infinite Dimensional Spaces

Paolo Giordano|ArXiv.org|Jul 10, 2009

Mathematical and Theoretical Analysis参考文献 1被引用数 17

ひとこと要約

本稿では、little-oh多項式に基づく実際の無限小量の理論、すなわちフェルマー実数（Fermat reals）を導入する。これは非標準解析や直観主義論理に依存せずに、滑らかな微積分を厳密かつ直感的に扱える枠組みを提供する。主な貢献は、フェルマー空間の圏論的構成であり、この構成により、nilpotent（冪零）無限小量を用いて、有限次元および無限次元多様体における微分幾何学が可能になる。幾何学的・代数的性質が明確に保たれる。

ABSTRACT

F.: Good morning Hermann, I would like to talk with you about infinitesimals. G.: Tell me Pierre. F.: I'm fed up of all these slanders about my attitude to be non rigorous, so I've started to study nonstandard analysis (NSA) and synthetic differential geometry (SDG). G.: Yes, I've read something ... F.: Ok, no problem about their rigour. But, when I've seen that the sine of an infinite in NSA is infinitely near to a real number I was astonished: what is the intuitive meaning of this number, if any? Then, I've seen that to work in SDG I must learn to work in intuitionistic logic ... You know, I love margins of books, and I don't want to loose too much time, I have many things to do ... G.: In SDG they also say that every infinitesimal is at the same time positive and negative, what is the meaning of all these? And why does the square of a first order infinitesimal equal zero, whereas the product of two first order infinitesimals is not necessarily zero? And do you know that from any single infinitesimal in NSA is possible to construct a non measurable set? Without using the axiom of choice! F.: Yes, I know, I know ... Ok, listen: why cannot we start from standard real functions of one real variable and use ... This work is the ideal continuation of this dialogue: a theory of actual infinitesimals that do not need a background of formal logic to be understood, with a clear intuitive meaning and with non trivial applications to differential geometry of both finite and infinite dimensional spaces.

研究の動機と目的

• 非標準解析や合成微分幾何学の基礎的複雑性を避ける実際の無限小量の理論の構築。
• 形式論理や直観主義的推論の知識を要せずに、特に冪零無限小量に明確な直感的意味を与えること。
• フェルマー実数に基づく圏論的枠組みを用いて、滑らかな微分幾何学を無限次元空間へ拡張すること。
• 計算的に実装可能な構造を提供することで、微積分、自動微分、変分法への実用的応用を可能にすること。
• フェルマー函手の転送原理および論理的整合性を確立し、標準的な滑らかな関数や多様体と整合することを保証すること。

提案手法

• little-oh多項式の同値類としてフェルマー実数を構成し、無限小量は $ h \to 0 $ の形で表され、$ h^k = 0 $ を満たす $ k $ に対して、理想 $ D_k $ を形成する。
• 関数 $ f =_k g $ による $ k $ 階までの無限小量の等価関係を定義し、これは $ k $ 次までのテイラー近似を捉えるものであり、無限小領域における精密な微積分を可能にする。
• フェルマー函手 $ {}^{\bullet} $ を導入し、各滑らかな多様体 $ X $ に対して、冪零無限小方向を備えた新たな空間 $ {}^{\bullet}X $ を割り当てる。この函手は積を保存し、滑らかな構造を保つ。
• 圏論的枠組みにおいて $ {}^{\bullet}\boldsymbol{/mathcal{C}}^\nu $ がカルテジアン閉であることを確立し、滑らかな写像を無限小パラメータ付きの一般化関数として取り扱えるようにする。
• 微分の計算および高階の展開を可能にする基盤として、導出公式 $ f(x+h) = f(x) + f'(x)h + o(h) $ を用いる。
• 滑らかな関数や多様体の概念を $ \boldsymbol{/mathcal{C}}^n $ の圏を用いて拡張することで、無限次元空間（滑らかな経路やジャンクションの空間など）における微分幾何学を可能にする。

実験結果

リサーチクエスチョン

• RQ1 非標準解析や非アーベル体に依存せず、数学的に厳密かつ直感的に理解可能な実際の無限小量の理論を構築できるか？
• RQ2 冪零無限小量を体系的に用いて、微分、テイラー展開、微分形式を定義し、無限次元空間へ一般化できるか？
• RQ3 滑らかな多様体に無限小方向を拡張する背後にある圏論的・函手的構造は何か？ そして、幾何学的・代数的性質をどのように保っているか？
• RQ4 フェルマー実数の枠組みは、自動微分や変分法といった実用的応用をサポートできるか？ また、リーヴィチヴィータ体や COSY INFINITY といった既存手法と比べてどう異なるか？
• RQ5 標準的な滑らかな関数とそれらのフェルマー拡張との間の論理的関係および転送原理は何か？ そして、それらを、主要な解析的結果を保つ形で形式化できるか？

主な発見

• フェルマー実数は、$ h^k = 0 $（$ h \to 0 $）を満たす冪零元を含む環を形成し、$ k $ 階の無限小量を自然に表現可能であり、精密なテイラー展開に類似した展開を可能にする。
• $ f =_k g $ という等価関係は、$ k $ 次までの一致を捉え、滑らかな演算のもとで保存され、無限小領域における一般化された微積分の基盤をなす。
• フェルマー函手 $ {}^{\bullet} $ は、滑らかな多様体を無限小方向を備えた空間へ写し、積を保存するため、拡張された設定における接束やベクトル場の定義に適している。
• フェルマー枠組みでは標準部分函手は存在できない。$ {}^{\bullet}\boldsymbol{/mathcal{C}}^\nu $ の構造は本質的に非標準的かつ非アーベル的であり、冪零元の存在を反映している。
• 一般化されたテイラー公式 $ f(x+h) = \text{次数 } k \text{ の } h \text{ に関する多項式} $ が成り立ち、係数は導関数に関連する。この公式はすべての滑らかな関数に対して成立する。
• この枠組みにより、無限次元空間や滑らかな汎関数への応用を含め、無限小経路や一般化関数を用いた自動微分や変分法が可能になる。