关于正式舞会的几点说明
摘要：关于拟度量空间理论中的正式球的概念，我们提出了一些新的结果。以下没有特定的顺序：每个连续的Yoneda完备的拟度量空间都是清醒的，并且依$d$-Scott拓扑收敛至Choquet完备，因而在其Baire拓扑中收敛；对于标准拟度量空间，代数性等价于具有足够的中心点；在标准拟度量空间上，每个下半连续的$\ar{mathbb{R}}\_+$值函数都是Lipschitz Yoneda连续映射链的上确界；连续的Yoneda完备的拟度量空间恰好是代数的Yoneda完备的拟度量空间的收缩；每个连续的Yoneda完备的拟度量空间都有一个所谓的拟理想模型，类似于K. Martin的构造。关键在于所有这些结果都可以归结为正式球的偏序集上的域论构造。
作者：Jean Goubault-Larrecq and Kok Min Ng
论文ID：1606.05445
分类：General Topology
分类简称：math.GN
提交时间：2023-06-22