[论文解读] Completeness of Ordered Fields

James F. Hall|arXiv (Cornell University)|Jan 29, 2011

Mathematical and Theoretical Analysis参考文献 23被引用 7

一句话总结

本文建立了全序阿基米德域中多个完备性性质——戴德金、序列、康托尔、希尔伯特与莱布尼茨完备性——的等价性，证明它们均刻画实数。进一步表明，在非阿基米德域中，仅希尔伯特、康托尔与序列完备性成立，且后两者不再等价，凸显了阿基米德性质在经典完备性等价关系中的关键作用。

ABSTRACT

The main goal of this project is to prove the equivalency of several characterizations of completeness of Archimedean ordered fields; some of which appear in most modern literature as theorems following from the Dedekind completeness of the real numbers, while a couple are not as well known and have to do with other areas of mathematics, such as nonstandard analysis. Continuing, we study the completeness of non-Archimedean fields, and provide several examples of such fields with varying degrees of properties, using nonstandard analysis to produce some relatively "nice" (in particular, they are Cantor complete) final examples. As a small detour, we present a short construction of the real numbers using methods from nonstandard analysis.

研究动机与目标

• 在全序阿基米德域中建立戴德金、序列、康托尔、希尔伯特与莱布尼茨完备性的等价性。
• 研究当从有序域中移除阿基米德性质时，完备性性质等价性的变化。
• 通过八个等价公理系统，提供实数的替代公理化刻画。
• 探讨非阿基米德域的结构与性质，特别是非标准扩张与渐近域，作为完备性等价性的反例。

提出的方法

• 利用有理数 ℚ 到任意有序域的典范嵌入来定义阿基米德性质，并区分阿基米德域与非阿基米德域。
• 应用饱和性原理与非标准扩张技术，构造非阿基米德域，如 *ℝ 与 ρ-渐近域。
• 利用凸子环与理想（例如 ℳρ 与 ℕρ）将罗宾逊渐近数域定义为商环 ℳρ/ℕρ。
• 应用 Hahn 域构造 ℝ((t^ℝ))，将其嵌入渐近域 ℝ^ρ，展示 *ℝ 中不具有的收敛性质。
• 利用引理 6.5 与定理 6.3，证明非阿基米德环境下的康托尔 κ-完备性与序列完备性。
• 分析渐近域的拓扑与序理论性质，包括序拓扑与赋值拓扑的等价性。

实验结果

研究问题

• RQ1 在所有全序阿基米德域中，戴德金完备性、序列完备性与康托尔完备性是否等价？
• RQ2 当从有序域中移除阿基米德性质时，完备性性质的等价性会发生什么变化？
• RQ3 莱布尼茨完备性条件——每个有限的非标准元素都无限接近于一个标准元素——能否作为实数的替代刻画？
• RQ4 非阿基米德域如 *ℝ 或 ℝ^ρ 是否满足所有经典完备性性质？若否，哪些性质不成立？
• RQ5 在饱和性与完备性方面，哪些结构性质使非阿基米德域如 ℝ^ρ 与标准有序域相区别？

主要发现

• 在全序阿基米德域中，戴德金完备性、序列完备性、康托尔完备性、希尔伯特完备性与莱布尼茨完备性全部等价。
• 在非阿基米德域中，仅希尔伯特完备性、康托尔完备性与序列完备性成立，且这些性质不再等价。
• 在非阿基米德域中，序列完备性是康托尔完备性的必要条件但非充分条件，如定理 6.6 与例 9.3 所示。
• 罗宾逊 ρ-渐近数域 ℝ^ρ 是一个非阿基米德、实闭、序列完备且康托尔完备的域，但非代数饱和。
• 域 ℝ^ρ 包含所有形式幂级数域（如 ℝ((t^ℝ)))，其嵌入在 ℝ^ρ 中收敛，但在 *ℝ 中不收敛。
• 在 ℝ^ρ 中，序拓扑与赋值度量拓扑等价，这是渐近域的一个非平凡拓扑性质。