[论文解读] On completeness in a non-Archimedean setting via firm reflections

Didier Deses, E. Lowen‐Colebunders|ArXiv.org|Feb 17, 2004

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

一句话总结

本文利用牢固反射（firm reflections）发展了豪斯多夫非阿基米德空间的范畴化完备化理论，通过保持等价关系中包含序关系的小集合类来刻画完备对象。证明了完备对象的全子范畴构成 $βΝ_0$ 中的牢固 $υ$-反射子范畴，从而推广了非阿基米德一致空间的经典完备化理论。

ABSTRACT

We develop a completion theory for (general) non-Archimedean spaces based on the theory on "a categorical concept of completion of objects" as introduced by G.C.L. Brümmer and E. Giuli. Our context is the construct $\mathbf{NA}_0$ of all Hausdorff non-Archimedean spaces and uniformly continuous maps and $\mathcal{V}$ is the class of all epimorphic embeddings in $\mathbf{NA}_0$. We determine the class ${\bf Inj} \mathcal{V}$ of all $\mathcal{V}$-injective objects and we present an internal characterization as "complete objects". The basic tool for this characterization is a notion of small collections that in some sense preserve the inclusion order on the non-Archimedean structure. We prove that the full subconstruct $\mathbf{CNA}_0$ consisting of all complete objects forms a firmly $\mathcal{V}$-reflective subcategory. This means that every object $X$ in $\mathbf{NA}_0$ has a completion which is a $\mathcal{V}$-reflection $r_X:X o RX$ into the full subconstruct $\mathbf{CNA}_0$ of "complete spaces". Moreover this completion is unique (up to isomorphism) in the sense that, considering $L(\mathbf{CNA}_0)$, the class of all those morphisms $u: X o Y$ for which $Ru:RX o RY$ is an isomorphism, one has that $\mathcal{V}$ is contained in $L(\mathbf{CNA}_0)$. In fact one even has $\mathcal{V}=L(\mathbf{CNA}_0)$. Finally we apply our constructions to the classical case of Hausdorff non-Archimedean uniform spaces, in that case our completion reduces to the standard one.

研究动机与目标

• 开发一种基于范畴方法的通用非阿基米德空间完备化理论。
• 通过保持等价关系中包含序关系的小集合类，刻画 $βΝ_0$ 构造中豪斯多夫非阿基米德空间类别中完备对象的特征。
• 建立完备对象的全子构造在 $βΝ_0$ 中为牢固 $υ$-反射子范畴，确保完备化在同构意义下唯一。
• 证明所提出的完备化在豪斯多夫非阿基米德一致空间的经典情形下退化为标准完备化。

提出的方法

• 使用 Brümmer 和 Giuli 提出的牢固 $υ$-反射范畴框架来定义完备化。
• 在豪斯多夫非阿基米德空间的构造 $βΝ_0$ 中，将 $υ$ 确认为单射嵌入的类。
• 引入“小集合类”——即包含任意小集合的集合族——作为刻画完备性的工具。
• 通过等价关系划分上的保序选择函数，将 $υ$-内射对象刻画为“完备对象”。
• 将完备化 $r_X: X \to RX$ 构造为进入完备空间子范畴的 $υ$-反射。
• 通过保序选择函数的极限，显式描述从 $X$ 到完备空间 $Y$ 的一致连续映射的扩张。

实验结果

研究问题

• RQ1 如何系统地利用范畴方法为一般非阿基米德空间发展完备化理论？
• RQ2 豪斯多夫非阿基米德空间范畴中完备对象的类由什么特征刻画？
• RQ3 在非阿基米德一致空间的经典情形下，通过牢固反射得到的完备化在何种条件下退化为标准完备化？
• RQ4 保序选择函数在划分上的关系如何与非阿基米德一致空间中的极小柯西滤子相关？

主要发现

• 在 $βΝ_0$ 中，$υ$-内射对象的类与完备对象的类完全一致，其特征由保持等价关系中包含序关系的小集合类所刻画。
• 完备对象的全子构造 $βΓΝ_0$ 构成 $βΝ_0$ 中的牢固 $υ$-反射子范畴，确保完备化在同构意义下唯一。
• 完备化 $r_X: X \to RX$ 具有普遍性，即 $\mathcal{V} = L(\mathbf{CNA}_0)$，意味着诱导完备化同构的态射恰好是单射嵌入。
• 在经典豪斯多夫非阿基米德一致空间情形下，所提出的完备化精确退化为标准完备化，这通过保序选择函数与极小柯西滤子之间的一一对应关系得以证明。
• 一致连续映射 $u: X \to Y$ 到完备化 $\hat{X} \to Y$ 的扩张被显式构造为 $\hat{u}(f) = \lim f_u$，其中 $f_u$ 是 $Y$ 的划分上诱导的选择函数。