[論文レビュー] 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.

研究の動機と目的

• Noetherian 空間への双対概念として co-Noetherian 空間を導入し、T0 空間の分類を refined する。
• co-Noetherian 空間の基本的性質と同値表現を調べる。
• co-Noetherian 空間における強トポロジー下のコンパクト性を特徴づける。
• co-Noetherian 空間と KC-空間および強 R-空間との関連を探る。
• カテゴリ Co-NOE（T0 co-Noetherian 空間の連続写像のカテゴリ）と C-DCPO（上連続写像を持つ controllable 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（上連続写像を持つ controllable 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 + well-filtered/open well-filtered の特定の表現）。
• T0 co-Noetherian 空間のカテゴリと controllable dcpo のサブカテゴリ（上連続写像を持つ）との間にカテゴリ同値性がある（Co-NOE ≃ C-DCPO）。
• T0 空間の Hoare 力空間および co-Noetherian 空間の Smyth 力空間は共に co-Noetherian でない場合があり、これらの構成における保存性の重要な反例を提供する。