페도르추크 이중성 일반화와 지역 접촉 대수의 새로운 듀얼리티

본 논문은 V. V. Fedorchuk이 제시한 듀얼리티 정리를 로컬 콤팩트 Hausdorff 공간(LCH)으로 확대하고, 사상의 종류에 따라 네 개의 범주를 정의한다. 첫 번째 범주 SkLC는 객체를 LCH 공간, 사상을 스켈레톤 연속 사상으로 잡는다. 스켈레톤 사상은 이미지가 희소하지만, 폐쇄된 비공집합을 보존하는 특성을 갖는다. 두 번째 범주 OpLC는 같은 객체에 열린 사상을 허용한다. 세 번째 SkePerLC는 LCH와 준열린 완전 사상을, 네 번째 OpPerLC는 LCH와 열린 완전 사상을 다룬다. 각 범주에 대해 대응되는 대수적 범주를 구축한다. 여기서 핵심이 되는 대수 구조는 정상 접촉 대수(NCA)와 로컬 접촉 대수(LCA)이며, 특히 완전 로컬 접촉 대수(CLCA)는 완전 Boolean 대수와 접촉 관계 ρ, 그리고 이상 I_B (바운드된 원소들의 집합)으로 구성된다. 논문은 먼저 접촉 대수와 그 변형인 정상 접촉 대수, 로컬 접촉 대수의 기본 정의와 클러스터·엔드 개념을 정리한다. 클러스터는 대수적 관점에서 점을 나타내며, 엔드는 클러스터의 보완적 성질을 포착한다. 이후, 로컬 콤팩트 공간 X에 대해 표준 접촉 대수(RC(X), ρ_X)를 구성하고, 이 대수의 클러스터가 X의 점과 일대일 대응함을 보인다. 특히, 바운드된 클러스터(σ∩I_B=∅)와 비바운드 클러스터를 구분함으로써, 공간의 컴팩트성·연결성·열림성 등을 대수적으로 기술한다. 주요 정리들은 다음과 같다. - **Theorem 2.11**: 범주 SkLC와 DSkeLC(완전 LCAs와 특정 조건을 만족하는 완전 Boolean 동형사상) 사이에 반전함수 Λ와 P를 이용한 범주적 쌍대성이 성립한다. 이는 de Vries와 Fedorchuk의 결과를 LCH와 스켈레톤 사상으로 확장한 것이다. - **Theorem 2.17** 및 **2.19**: OpLC와 DOpLC, OpC와 DOpC 사이의 듀얼리티를 증명한다. 특히 OpC(모든 콤팩트 Hausdorff 공간과 열린 사상)와 그 대수적 대응 DOpC는 기존 문헌에 없던 새로운 결과이며, 열린 사상이 클러스터의 바운드성을 보존한다는 점을 활용한다. - **Theorem 2.15** 및 **2.21**: 준열린 완전 사상에 대한 듀얼리티를 제공한다. 여기서는 완전 LCAs와 ‘준열린 완전’ 조건을 만족하는 대수 동형사상 사이의 대응을 구축한다. - **Theorem 3.2**, **3.3**: 위의 네 범주를 각각 연결된 LCH 공간(즉, 객체가 연결된 경우)으로 제한했을 때도 동일한 듀얼리티와 범주 동형성이 유지됨을 보인다. 이는 클러스터가 하나만 존재하는 경우(연결성)에도 대수적 구조가 일관됨을 의미한다. - **Theorem 4.x**(4.4, 4.6, 4.8, 4.10, 4.12): ‘E‑계열’ 범주(EOpC, EOpLC, ESkeLC, ESkePerLC, EOpPerLC)를 정의하고, 각각을 기존 범주와 동형임을 증명한다. 이 과정에서 기존 Fedorchuk 정리의 증명을 약간 변형하여 로컬 콤팩트와 연결성 조건을 포함시켰다. 또한, 논문은 완전성, 연결성, 개방성 등의 위상적 특성을 대수적 조건(예: I_B = B, 클러스터의 바운드 여부)으로 정확히 매핑한다. 예를 들어, 공간이 연결되면 해당 CLCA의 바운드 클러스터가 하나뿐이며, 이는 대수적 엔드가 최대 라운드 필터가 됨을 의미한다. 마지막으로, 논문은 두 번째 파트(참조