[论文解读] Hahn Field Representation of A. Robinson's Asymptotic Numbers

Todor Todorov, Robert Wolf|ArXiv.org|Jan 30, 2006

Mathematical and Theoretical Analysis参考文献 14被引用 9

一句话总结

本文建立了 A. Robinson 的渐近数域 $^\rho\mathbb{R}$ 与 Hahn 域 $\widehat{{}^\rho\mathbb{R}}(t^\mathbb{R})$ 之间的同构关系，证明在非标准扩张 ${}^*\mathbb{R}$ 完全饱和的条件下，余数域 $\widehat{{}^\rho\mathbb{R}}$ 同构于 ${}^*\mathbb{R}$，因此 $^\rho\mathbb{R}$ 包含一个 ${}^*\mathbb{R}$ 的副本。这表明所有不同尺度的渐近数域彼此同构，是 nonlinear 广义函数理论应用中的关键结果。

ABSTRACT

Let $^*\mathbb{R}$ be a nonstandard extension of $\mathbb{R}$ and $ρ$ be a positive infinitesimal in $^*\mathbb{R}$. We show how to create a variety of isomorphisms between A. Robinson's field of asymptotic numbers $^ρ\mathbb{R}$ and the Hahn field $\hat{^ρ\mathbb{R}}(t^\mathbb{R})$, where $\hat{^ρ\mathbb{R}}$ is the residue class field of $^ρ\mathbb{R}$. Then, assuming that $^*\mathbb{R}$ is fully saturated we show that $\hat{^ρ\mathbb{R}}$ is isomorphic to $^*\mathbb{R}$ and so $^ρ\mathbb{R}$ contains a copy of $^*\mathbb{R}$. As a consequence (that is important for applications in non-linear theory of generalized functions) we show that every two fields of asymptotic numbers corresponding to different scales are isomorphic.

研究动机与目标

• 研究 A. Robinson 的渐近数域 $^\rho\mathbb{R}$ 及其余数域 $\widehat{{}^\rho\mathbb{R}}$ 的结构性质。
• 通过非标准分析方法，建立 $^\rho\mathbb{R}$ 与 Hahn 域 $\widehat{{}^\rho\mathbb{R}}(t^\mathbb{R})$ 之间的同构关系。
• 证明在 ${}^*\mathbb{R}$ 完全饱和的条件下，余数域 $\widehat{{}^\rho\mathbb{R}}$ 同构于 ${}^*\mathbb{R}$，从而在渐近数系统中嵌入一个非标准实数域。
• 证明所有对应于不同尺度的渐近数域彼此同构，这对 nonlinear 广义函数理论的应用至关重要。

提出的方法

• 通过赋值理论方法，构造 $^\rho\mathbb{R}$ 与 Hahn 域 $\widehat{{}^\rho\mathbb{R}}(t^\mathbb{R})$ 之间的同构关系。
• 使用完全饱和的非标准扩张 ${}^*\mathbb{R}$，以确保强模型论性质，如饱和性与初等等价性。
• 将余数域 $\widehat{{}^\rho\mathbb{R}}$ 定义为 ${}^\rho\mathbb{R}$ 中有限元素环模去无穷小理想所得的商。
• 为 ${}^*\mathbb{R}$ 引入一个专门化链 $\{\mathcal{A}_\kappa : \kappa < \mu\}$，以分析 $\widehat{{}^\rho\mathbb{R}}$ 及其子域的结构。
• 证明子域 $\mathcal{B}_\kappa = D_\kappa / K_\kappa$ 构成 $\widehat{{}^\rho\mathbb{R}}$ 的专门化链，从而保证其专门性与饱和性。
• 利用模型论的转移原理，在完全饱和条件下建立 ${}^*\mathbb{R}$ 与 $\widehat{{}^\rho\mathbb{R}}$ 之间的初等等价性与同构关系。

实验结果

研究问题

• RQ1 能否将 $^\rho\mathbb{R}$ 表示为以余数域 $\widehat{{}^\rho\mathbb{R}}$ 为系数的 Hahn 域？
• RQ2 在何种条件下 $\widehat{{}^\rho\mathbb{R}}$ 同构于 ${}^*\mathbb{R}$？
• RQ3 在不依赖于无穷小 $\rho$ 的选择下，$^\rho\mathbb{R}$ 与 Hahn 域 $\widehat{{}^\rho\mathbb{R}}(t^\mathbb{R})$ 之间的同构关系是否依然成立？
• RQ4 所有对应于不同尺度 $\rho$ 的渐近数域 $^\rho\mathbb{R}$ 是否彼此同构？
• RQ5 这些结果能否推广到 ${}^*\mathbb{R}$ 的非完全饱和模型？

主要发现

• 当 ${}^*\mathbb{R}$ 完全饱和时，余数域 $\widehat{{}^\rho\mathbb{R}}$ 同构于 ${}^*\mathbb{R}$，从而在渐近数系统中嵌入了一个非标准实数域。
• 每个渐近数域 $^\rho\mathbb{R}$ 同构于 $\widehat{{}^\rho\mathbb{R}}(t^\mathbb{R})$，确立了其作为标准 Hahn 域的表示形式。
• 无论选择何种正无穷小 $\rho$，$^\rho\mathbb{R}$ 与 Hahn 域 $\widehat{{}^\rho\mathbb{R}}(t^\mathbb{R})$ 之间的同构关系均成立。
• 所有对应于不同尺度的渐近数域彼此同构，这是广义函数理论中具有基础性意义的结果。
• 即使 ${}^*\mathbb{R}$ 仅为专门化（非完全饱和），余数域 $\widehat{{}^\rho\mathbb{R}}$ 仍同构于 ${}^*\mathbb{R}$，且同构关系依然成立。
• $\widehat{{}^\rho\mathbb{R}}$ 的基数与 ${}^*\mathbb{R}$ 相同，且两者结构初等等价，确保了强模型论相容性。