[论文解读] Co-Noetherian spaces

Xiangrui Li, Qingguo Li|arXiv (Cornell University)|Jan 16, 2026

Fuzzy and Soft Set Theory被引用 0

一句话总结

本文引入了 co-Noetherian 空间，研究其基本性质、与 KC-空间及强 R-空间的关系，并建立与 DCPO 子范畴的范畴等价性，同时给出 Hoare/Smyth 力量空间的反例。

ABSTRACT

In non-Hausdorff topology, many spaces exhibit significant separation properties, such as sober spaces, well-filtered spaces and d-spaces. These properties serve to fundamentally classify T0 topological spaces. In this paper, we introduce and study a new class of topological spaces called co-Noetherian spaces, which can refine the classification of T0 spaces. We discuss some basic properties of co-Noetherian spaces and obtain an equivalent characterization of compactness under the strong topology. Additionally, we investigate the connections among KC-spaces, strong R-spaces and co-Noetherian spaces. Moreover, we establish an equivalence between the category of T0 co-Noetherian spaces with continuous mappings and a subcategory of the poset category. Finally, we provide counterexamples to show that the Hoare powerspace of a T0 space may fail to be co-Noetherian, and that the Smyth powerspace of a co-Noetherian space need not be co-Noetherian.

研究动机与目标

• 通过引入 co-Noetherian 空间作为 Noetherian 空间的对偶概念，细化 T0 空间的分类。
• 研究 co-Noetherian 空间的基本性质及等价表征。
• 表征 co-Noetherian 空间在强拓扑下的紧性。
• 探讨 co-Noetherian 空间与 KC-空间及强 R-空间之间的联系。
• 在 T0 co-Noetherian 空间范畴与 DCPO 的子范畴之间建立等价；并给出 Hoare/Smyth 力量空间的反例。

提出的方法

• 将 co-Noetherian 空间定义为在闭集格中每个闭集都是紧成员的空间。
• 证明涉及开集/饱和集与有限子族的等价表述（Prop. 4.2）。
• 证明 co-Noetherian 的 T0 空间是强 R-空间（Prop. 4.4），并推得 sobriety（Cor. 4.5）。
• 表征强拓扑何时紧致（Thm 4.7），并将其与 Noetherian + co-Noetherian 条件（Thm 4.7，Cor. 4.9）联系起来。
• 证明 Hoare 和 Smyth 力量构造可能不保留 co-Noetherian 性质（Exs. 4.17–4.18）。
• 在 Co-NOE（T0 co-Noetherian 空间及连续映射的范畴）与 C-DCPO（带上连续映射的可控 dcpo 的子范畴）之间建立等价（Thm 4.22）。

实验结果

研究问题

• RQ1 co-Noetherian 空间的基本性质与等价表征是什么？
• RQ2 co-Noetherian 空间与 KC-空间及强 R-空间之间有什么关系？
• RQ3 T0 co-Noetherian 空间的范畴是否可以作为 DCPO 的子范畴实现？
• RQ4 Hoare 与 Smyth 力量构造是否保持 co-Noetherian 性质？
• RQ5 在该类空间中，强拓扑在何种条件下是紧致的？

主要发现

• Co-Noetherian 空间是强 R-空间，因此从 co-Noetherian 条件可以推导出强 R-空间性质。
• 每个 T0 的 co-Noetherian 空间都是 sober 的。
• 强拓扑当且仅当空间同时是 Noetherian 和 co-Noetherian 时紧致（等价地，在某些表述下等价于 Noetherian 加上良过滤/开良过滤）。
• 存在 Co-NOE 与 C-DCPO 的范畴等价（Co-NOE ≃ C-DCPO），即 T0 的 co-Noetherian 空间范畴与带上界连续映射的可控 dcpo 的子范畴之间的等价关系。
• Hoare 力量空间作用于一个 T0 空间以及 Smyth 力量空间作用于一个 co-Noetherian 空间不一定保留 co-Noetherian 性质，为这些构造的保持性提供重要反例。