[논문 리뷰] Co-Noetherian spaces

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

Fuzzy and Soft Set Theory인용 수 0

한 줄 요약

본 논문은 co-Noetherian 공간을 도입하고, 이들의 기본 성질, KC-공간 및 strong 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 공간의 분류를 정교화한다.
• co-Noetherian 공간의 기본 성질과 등가 특성화를 조사한다.
• co-Noetherian 공간에 대해 strong topology 하의 컴팩트성을 특징화한다.
• co-Noetherian 공간과 KC-공간 및 strong R-공간 간의 연결을 탐구한다.
• T0 co-Noetherian 공간의 범주와 DCPO의 부분범주 간의 동등성을 확립하고; Hoare/Smyth 거듭제곱공간에 대한 반례를 제시한다.

제안 방법

• 모든 닫힌 집합이 닫힌 집합의 격자에서 compact 원소인 공간으로 co-Noetherian 공간을 정의한다.
• 개방/포화 집합 및 유한 부분모임과 관련된 등가 형식들을 (Prop. 4.2) 입증한다.
• co-Noetherian T0 공간이 strong R-spaces임을 보여주고(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-공간 및 strong R-공간과 어떻게 관련되는가?
• RQ3 T0 co-Noetherian 공간의 범주를 DCPO의 부분범주로 실현할 수 있는가?
• RQ4 Hoare 거듭제곱 구성과 Smyth 거듭제곱 구성은 co-Noetherian 성질을 보존하는가?
• RQ5 이 클래스의 공간에 대해 강한 위상이 컴팩트하려면 어떤 조건이 필요한가?

주요 결과

• co-Noetherian 공간은 strong R-space이며, 따라서 strong R-space 성질은 co-Noetherian 조건으로부터 도출된다.
• 모든 T0 co-Noetherian 공간은 sober하다.
• 강한 위상은 공간이 Noetherian이고 동시에 co-Noetherian일 때 정확히 컴팩트하고(일부 형식화에서는 Noetherian plus well-filtered/open well-filtered와 동치).
• 범주 동등성은 T0 co-Noetherian 공간의 범주와 제어 가능한 dcpo(DCPOs)의 부분범주 간에 존재한다(Co-NOE ≃ C-DCPO).
• T0 공간의 Hoare 거듭제곱공간과 코-Noetherian 공간의 Smyth 거듭제곱공간은 반드시 co-Noetherian이 되지 않을 수 있어, 이러한 구성에서의 보존에 중요한 반례를 제공한다.