[论文解读] Topological Scott Convergence Theorem

Hadrian Andradi, Weng Kin Ho|arXiv (Cornell University)|Oct 9, 2017

Constraint Satisfaction and Optimization参考文献 6被引用 6

一句话总结

本文通过引入新概念——$τ_{\mathcal{I}}$-连续、$τ_{\mathcal{I}}$-稳定和$τ_{\mathcal{DI}}$空间，利用$τ_{\mathcal{ID}}$替换原理，将Scott收敛定理的拓扑类比形式化，该原理在$T_0$空间中用不可约子集替代定向集。关键结果表明，$τ_{\mathcal{I}}$-连续空间与上确界-本体空间是$τ_{\mathcal{I}}$-稳定的，为$τ_{\mathcal{I}}$-收敛成为拓扑收敛提供了必要条件。

ABSTRACT

Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of $T_0$ spaces instead of restricting to posets. In this paper, we respond to this calling with an attempt to formulate a topological version of the Scott Convergence Theorem, i.e., an order-theoretic characterisation of those posets for which the Scott-convergence $\mathcal{S}$ is topological. To do this, we make use of the $\mathcal{ID}$ replacement principle to create topological analogues of well-known domain-theoretic concepts, e.g., $\mathcal{I}$-continuous spaces correspond to continuous posets, as $\mathcal{I}$-convergence corresponds to $\mathcal{S}$-convergence. In this paper, we consider two novel topological concepts, namely, the $\mathcal{I}$-stable spaces and the $\mathcal{DI}$ spaces, and as a result we obtain some necessary (respectively, sufficient) conditions under which the convergence structure $\mathcal{I}$ is topological.

研究动机与目标

• 回应J. D. Lawson关于在更广泛的$T_0$空间背景下而非受限于偏序集发展域理论的呼吁。
• 形式化经典Scott收敛定理的拓扑变体，以刻画Scott收敛何时为拓扑收敛。
• 引入并分析新的拓扑概念——$τ_{\mathcal{I}}$-连续、$τ_{\mathcal{I}}$-稳定和$τ_{\mathcal{DI}}$空间，作为域论概念的类比。
• 研究$T_0$空间上$τ_{\mathcal{I}}$-收敛结构成为拓扑收敛的条件，尤其通过不可约集的视角进行探讨。

提出的方法

• 应用$τ_{\mathcal{ID}}$替换原理，将偏序集中的定向集替换为$T_0$空间中的不可约子集，以推广域论概念。
• 通过在不可约子集集合上使用下维特里斯拓扑，构造$T_0$空间上的不可约导出拓扑$\tau_{\mathcal{I}}$。
• 论文将$τ_{\mathcal{I}}$-连续空间定义为每个点都有一个由其上确界存在的不可约集构成的基的拓扑空间。
• 引入了$τ_{\mathcal{I}}$-稳定空间的概念，即拓扑在不可约上确界下保持稳定，以确保收敛兼容性。
• 将$τ_{\mathcal{DI}}$空间定义为每个不可约集都有上确界且拓扑与该结构一致的$T_0$空间。
• 论文使用上确界-本体空间的概念，即每个不可约集有唯一上确界，以建立拓扑性质之间的关系。

实验结果

研究问题

• RQ1 在何种条件下，$T_0$空间上的$τ_{\mathcal{I}}$-收敛结构是拓扑的？
• RQ2 在$T_0$空间的语境下，连续dcpo的拓扑类比是什么，它与不可约集有何关系？
• RQ3 新概念——$τ_{\mathcal{I}}$-连续、$τ_{\mathcal{I}}$-稳定和$τ_{\mathcal{DI}}$空间——彼此之间以及与经典域论性质之间有何关系？
• RQ4 能否通过不可约集收敛将Scott收敛定理推广到$T_0$空间，其必要且充分条件是什么？
• RQ5 是否存在能区分$τ_{\mathcal{I}}$-连续、$τ_{\mathcal{I}}$-稳定和$τ_{\mathcal{DI}}$空间的示例，以及它们之间的相互关系如何？

主要发现

• 本文证明了$τ_{\mathcal{I}}$-连续空间与上确界-本体空间必然是$τ_{\mathcal{I}}$-稳定的，为$τ_{\mathcal{I}}$-收敛成为拓扑收敛提供了充分条件。
• $τ_{\mathcal{I}}$-稳定且$τ_{\mathcal{I}}$-连续的空间类满足插值性质，表明其具有丰富的结构。
• 对于$τ_{\mathcal{I}}$-稳定且$τ_{\mathcal{I}}$-连续的空间，推测存在形如$\mathord{\mathord{\rotatebox[origin={c}]{90.0}{$\twoheadrightarrow$}}}_{\mathcal{I}}x = \{p \in X \mid x \ll_{\mathcal{I}} p\}$的基，这与Scott拓扑基类似。
• 本文指出了缺乏能区分四种拓扑性质（$\u03c4_{\mathcal{I}}$-稳定、$τ_{\mathcal{I}}$-连续、上确界-本体、$τ_{\mathcal{DI}}$）的示例，表明对它们相互关系的理解仍存在空白。
• 配置"+~{}+~{}+~{}-"（即$τ_{\mathcal{I}}$-连续、上确界-本体、$τ_{\mathcal{I}}$-稳定、非$τ_{\mathcal{DI}}$）由于定理16而不可能成立，该定理排除了某些组合。