[論文レビュー] Reduction of the Number of Quantifiers in Real Analysis through Infinitesimals (Master Thesis, Mathematics Department, California Polytechnic State University, San Luis Obispo)

Raymond Cavalcante|ArXiv.org|Sep 28, 2008

Mathematical and Theoretical Analysis参考文献 5被引用数 10

ひとこと要約

この修士論文は、正の実数を添え字集合として用いる超冪法により、非標準的実数および非標準的複素数を構成し、非標準解析が無限小量、内部集合、および移行原理と飽和原理を活用することで、極限、連続性、一様収束といった基礎的な実解析の概念における量化子を削減または排除することを示している。

ABSTRACT

We construct the non-standard complex (and real) numbers using the ultrapower method in the spirit of Cauchy's construction of the real numbers. We show that the non-standard complex numbers are a non-archimedean, algebraically closed field, and that the non-standard real numbers are a totally ordered, real-closed, non-archimedean field. We explore the various types of non-standard numbers, and develop the non-standard completeness results (Saturation Principle, Supremum Completeness of Bounded Internal Sets, etc) for $\starr$. We give non-standard characterizations for such usual topological objects as open, closed, bounded, and compact sets in terms of monads. We also consider such traditional topics of real analysis as limits, continuity, uniform continuity, convergence, uniform convergence, etc. in a non-standard setting. In both topology and real analysis we reduce (and in some cases eliminate) the number of quantifiers in the non-standard setting.

研究の動機と目的

• R+ を添え字集合として用いる超冪法を用いて、非標準解析にconstructive かつモデル理論的基盤を提供すること。
• 非標準的実数が非アルキメデス的で、実閉的かつ全順序付けられた体であり、非標準的複素数が代数的に閉じた体であることを示すこと。
• 開集合、閉集合、コンパクト性、一様収束などの標準的位相的および解析的概念を、モノイドと内部集合を用いて再定式化し、量化子の複雑さを低減すること。
• 極限、連続性、一様収束といった実解析の主要な結果が、非標準的枠組みにおいて量化子を少なくともまたは全く含まずに特徴付けられることを示すこと。
• 非標準的枠組みが、ε-δの定式化を無限小近似と論理的量化子の削減に置き換えることで、基礎的定義を簡素化することを確立すること。

提案手法

• R および C の超冪として *R および *C を構成し、R+ 上の超フィルターを用いて、列の同値類によって定義する。
• 移行原理を適用して、標準的関数および関係を非標準的宇宙に拡張し、一階論理的性質を保存する。
• モノイドを、与えられた点に無限に近い点の集合として定義し、これにより内部、閉包、コンパクト性といった位相的概念を再定義する。
• 無限および無限小量の取り扱いを、数列および関数を含む証明において、飽和原理およびオーバーフロー原理を用いる。
• 標準的定義（例：極限、連続性、一様収束）を内部集合および無限小近似を用いて再定式化し、量化子の深さを低減する。
• 標準的実数への非標準的要素の関係を保証する標準部分写像を用いて、性質を標準的世界に再帰的に移す。

実験結果

リサーチクエスチョン

• RQ1 非標準解析は、極限、連続性、一様収束の標準的定義における量化子の数を削減または排除できるか？
• RQ2 R+ を添え字集合として用いる超冪構成によって、望ましい代数的および順序論的性質を持つ非標準的モデルが得られるか？
• RQ3 モノイドと内部集合は、開集合、閉集合、コンパクト集合といった位相的概念の特徴付けをどのように簡素化するか？
• RQ4 移行原理と飽和原理は、非標準解析における量化子の削減をどのように可能にするか？
• RQ5 非標準的定式化における一様収束は、論理的複雑さと概念的明確さの観点から、標準的 ε-N 定義と比べてどのように異なるか？

主な発見

• 非標準的実数（*R）は、全順序付けられ、実閉的で、非アルキメデス的な体をなし、非標準的複素数（*C）は代数的に閉じた体をなす。
• 開集合、閉集合、有界集合、コンパクト集合といった位相的概念はモノイドを用いて特徴付けられ、標準的定義におけるネストされた量化子への依存が低減される。
• 関数の点における極限は、*f(x) ≈ f(c) が x ≈ c のとき成り立つと特徴付けられ、標準的 ε-δ 定義が単一の無限小近似に簡略化される。
• 関数列 (f_n) が f に一様収束することは、すべての x ∈ *X およびすべての無限大 n に対して *f(x) ≈ f(x) が成り立つこととして特徴付けられ、ε と N に対するネストされた量化子の必要性が排除される。
• 連続関数の非標準的極限が連続であるという証明では、*N\N に属する無限大の添え字 ν と無限小の推定を用い、標準的 ε-N 論理を回避する。
• 例では、[0,1) 上の列 x^n が、x = 1 - 1/ν における非無限小の値を取るため一様収束でないことが示され、一方 δ < 1 に対して [0,δ) 上では δ^ν ≈ 0 であるため一様収束することが示される。