[论文解读] A Hofmann-Mislove Theorem for Scott open sets

Matthias Schröder|arXiv (Cornell University)|Jan 26, 2015

Computability, Logic, AI Algorithms参考文献 3被引用 8

一句话总结

本文在序列豪斯多夫序列空间中建立了关于斯科特开集的广义霍夫曼-米斯洛夫定理，证明了从非空 ω-斯科特开集族到可数紧致子集的交集映射是一个连续的收缩映射。该结果在依赖选择公理下成立，并将经典的霍夫曼-米斯洛夫定理推广到一类具有更优拓扑与范畴性质的空间。

ABSTRACT

We consider the intersection map on the family of non-empty $ω$-Scott-open sets of the lattice of opens of a topological space. We prove that in a certain class of topological spaces the intersection map forms a continuous retraction onto the space of countably compact subsets of the space equipped with (the sequentialisation of) the upper Vietoris topology. This class consists of all sequential spaces which are sequentially Hausdorff.

研究动机与目标

• 将经典的霍夫曼-米斯洛夫定理从滤子推广至所有非空 ω-斯科特开集族。
• 识别出使得交集映射成为连续收缩映射的拓扑空间类——特别是序列豪斯多夫序列空间。
• 建立从开集族上的 ω-斯科特拓扑到可数紧致子集上序列化上维特里斯拓扑的交集映射的连续性。
• 在证明中仅使用依赖选择公理，减少对全选择公理的依赖。

提出的方法

• 定义拓扑空间 X 的开集格中所有非空 ω-斯科特开子集的族，记为 𝒪𝒪₊(X)。
• 在 𝒪𝒪₊(X) 上赋予 ω-斯科特拓扑，在可数紧致子集空间上赋予上维特里斯拓扑的序列化拓扑。
• 证明在序列豪斯多夫序列空间中，交集映射 H ↦ ⋂H 沿序列收敛是连续的。
• 利用序列收敛性及 qcb-空间中紧致性的性质，建立连续性与收缩行为。
• 利用序列豪斯多夫性质确保收敛序列有唯一极限，这对收缩映射的单射性与连续性至关重要。
• 应用引理 3.4 证明 ⋂H 中的序列具有收敛子列，从而推出序列紧致性，故而也具有可数紧致性。

实验结果

研究问题

• RQ1 在哪些拓扑空间中，从非空 ω-斯科特开集族到开集的交集映射构成到可数紧致子集空间的连续收缩映射？
• RQ2 如何将经典的霍夫曼-米斯洛夫定理从滤子推广至任意非空 ω-斯科特开集族？
• RQ3 在该广义设定下，哪些拓扑条件（如序列性与序列豪斯多夫性）是保证交集映射连续性的必要且充分条件？
• RQ4 在广义定理中，能否用较弱的选择公理（如依赖选择公理）替代全选择公理？
• RQ5 在序列空间中，ω-斯科特开集、可数紧致性与序列紧致性之间存在何种关系？

主要发现

• 在序列豪斯多夫序列空间中，交集映射 H ↦ ⋂H 是从非空 ω-斯科特开集族空间到可数紧致子集空间的连续收缩映射。
• 对每个非空 ω-斯科特开集族 H，其交集 ⋂H 既是序列紧致的，也是可数紧致的。
• 该映射 H ↦ ⋂H 关于 𝒪𝒪₊(X) 上的 ω-斯科特拓扑与 ℒ(X) 上序列化上维特里斯拓扑是连续的。
• 该收缩映射具有连续截面 e: K ↦ {U ∈ 𝒪(X) | K ⊆ U}，将每个可数紧致集映射为其上邻域集。
• 在 qcb-空间中，该结果表明任意非空斯科特开集族的交集是紧致的，因为紧致性与可数紧致性在此类空间中等价。
• 非序列豪斯多夫空间的例子表明序列豪斯多夫性是本质的：若无此性质，ω-斯科特开集族的交集可能不具可数紧致性（例如，ℕ 在同一序列有两个不同极限的空间中）。