[论文解读] Core-compactness of Smyth powerspaces

Zhenchao Lyu, Xiaodong Jia|arXiv (Cornell University)|Jul 10, 2019

Advanced Topology and Set Theory参考文献 8被引用 4

一句话总结

本文证明了拓扑空间 $X$ 的 Smyth 幂空间 $Q(X)$ 是核心紧致的，当且仅当 $X$ 是局部紧致的。作者证明了核心紧致性在一般情况下不被 Smyth 幂空间构造所保持，因为存在核心紧致但非局部紧致的空间，其 Smyth 幂空间也非核心紧致。

ABSTRACT

We prove that the Smyth powerspace Q(X) of a topological space X is core-compact if and only if X is locally compact. As a straightforward consequence we obtain that the Smyth powerspace construction does not preserve core-compactness generally.

研究动机与目标

• 研究核心紧致性是否在 Smyth 幂空间构造下被保持。
• 阐明 $Q(X)$ 的核心紧致性与 $X$ 的局部紧致性之间的关系。
• 通过构造反例，证明核心紧致性在一般情况下不被保持。
• 通过基空间的局部紧致性，建立核心紧致 Smyth 幂空间的刻画。

提出的方法

• 使用紧致饱和集上的上维特里斯拓扑，证明 $Q(X)$ 是 c-空间当且仅当 $X$ 是局部紧致的。
• 利用 c-空间与开集格 $O(X)$ 的素连续性之间的等价性，分析核心紧致性。
• 应用连续格中素连续性的基准则，验证条件 $\Box U \subseteq \Box V \cup \Box W$ 蕴含 $\Box U \subseteq \Box V$ 或 $\Box U \subseteq \Box W$。
• 利用已知结果：$X$ 是 c-空间当且仅当 $O(X)$ 是素连续的，且存在核心紧致但非局部紧致的空间。
• 通过反证法证明：若 $Q(X)$ 是核心紧致的，则 $O(Q(X))$ 是素连续的，从而推出 $X$ 必须是局部紧致的。
• 应用文献 [9] 中的结果：存在一个核心紧致但非局部紧致的空间，由此说明此类空间的 Smyth 幂空间并非核心紧致。

实验结果

研究问题

• RQ1 在何种条件下，Smyth 幂空间 $Q(X)$ 是核心紧致的？
• RQ2 Smyth 幂空间构造是否对所有拓扑空间都保持核心紧致性？
• RQ3 基空间 $X$ 的局部紧致性与 $Q(X)$ 的核心紧致性之间有何关系？
• RQ4 一个核心紧致空间 $X$ 是否可能拥有一个非核心紧致的 Smyth 幂空间 $Q(X)$？
• RQ5 能否以基空间 $X$ 的性质来刻画核心紧致的 Smyth 幂空间？

主要发现

• Smyth 幂空间 $Q(X)$ 是核心紧致的当且仅当 $X$ 是局部紧致的。
• Smyth 幂空间构造在一般情况下不保持核心紧致性，反例已表明这一点。
• $Q(X)$ 的核心紧致性蕴含 $O(Q(X))$ 是素连续的，从而推出 $X$ 必须是局部紧致的。
• 通过上维特里斯拓扑和基论证，建立了 $Q(X)$ 是 c-空间与 $X$ 是局部紧致的等价性。
• 存在一个核心紧致但非局部紧致的空间（见 [9]），其 Smyth 幂空间也非核心紧致。
• 证明依赖于 $\{\Box U \mid U \in O(X)\}$ 构成 $O(Q(X))$ 的一个基，且素连续性条件仅在 $X$ 是局部紧致时成立。