[論文レビュー] Nonstandard Analysis - A Simplified Approach

Robert A. Herrmann|arXiv (Cornell University)|Oct 22, 2003

Mathematical and Theoretical Analysis参考文献 4被引用数 3

ひとこと要約

この論文は、超実数体に無限小を厳密に組み込むことのできる、等価類と超フィルターを用いた非標準解析の簡素化された、アクセスしやすい入門を提示する。*-転送原理を確立し、標準解析の概念を非標準形式に直接的翻訳可能にし、微積分、連続性、微分、積分の基礎的応用を、素朴な集合論およびモデル理論に基づいた完全な証明とともに示す。

ABSTRACT

In this monograph, nonstandard characteristics for many notions from real analysis are obtained and applied. However, only two simple types of atomic formula are used and almost all of the characteristics are shown to hold for a simple ultrapower styled structure generated by any free ultrafilter over the natural numbers.

研究の動機と目的

• 高度なモデル理論を必要としない学生および研究者にとって、非標準解析への簡素で直感的なアプローチを提供すること。
• 超フィルターと数列の同値類を用いて、無限小を形式的な数学的対象として構成することの存在を確立すること。
• 非標準枠組みに標準解析の結果を直接的翻訳可能とする基盤的ツールとして、*-転送原理を示すこと。
• 超実数体を、極限、連続性、微分、積分といった実解析の核となる概念に応用すること。
• 高度な論理的構成（飽和モデルや内部集合など）に依存しない、自己完結的で、形式的ではあるが厳密な基本的非標準解析の展開を提示すること。

提案手法

• 自由超フィルターを用いた実数列の同値類による超実数体の構成。
• 超フィルター構成を用いて、集合および関係の*-変換を定義し、標準数学的対象を超実宇宙に拡張する。
• *-転送原理を適用し、標準宇宙で真である一階論理文が超実宇宙でも真であることを保証する。
• 集合および関係の超拡張を用いて、超有限和、超連続関数、超整数を定義する。
• 標準対象生成子を用いて、標準集合および関数をそれらの超実対応物に写像する。
• 特に、余有限フィルターおよび自由超フィルターを用いて、超実数体の構成の基盤的ツールとする。

実験結果

リサーチクエスチョン

• RQ1 高度なモデル理論を必要とせずに、標準的集合論的枠組み内で無限小を厳密に構成するにはどうすればよいか？
• RQ2 標準解析における一階論理文が、超実拡張における*-転送原理のもとで保たれるための条件は何か？
• RQ3 収束、連続性、微分可能性の概念を、無限小および超有限近似を用いてどのように再定式化できるか？
• RQ4 数列と超フィルターによる超実数構成が、無限大および無限小の数を含む全順序体をどのように得るか？
• RQ5 リーマン積分および微積分の基本定理の標準的結果は、どのようにして超有限和と超実数枠組みから自然に導かれるか？

主な発見

• 超実数体は、自由超フィルターをモジュロにとった実数列の同値類として構成され、無限小および無限大の数を含む全順序体となる。
• *-転送原理が成立する：標準宇宙で真である任意の一階論理文は、超実宇宙でも真であり、解析的結果の直接的転送を可能にする。
• 無限小は、零列の同値類として表現され、最大イデアル μ(0) はすべての無限小超実数の集合に対応する。
• 実数の超有限列の超有限和は、極限において標準積分に対応し、超有限和とリーマン積分との等価性を確立する。
• 微積分の基本定理およびロピタルの定理は、無限小微分および超有限増分を用いて再導出され、古典的結果と整合的であることが示される。
• この論文は、特にクラスタ点および超有限近似の使用を通じて、極限、連続性、収束のより直感的な定式化が超実枠組みによって可能であることを示している。