모든 위상공간을 포함하는 의사방사형 공간과 핵심반사적 범주들의 최소 구조

초록

본 논문은 임의의 위상공간(또는 T₀, T₁ 공간)을 의사방사형(pseudoradial) 공간에 삽입할 수 있음을 보이고, 이를 위해 시에르핀스키 이중점의 위력(S^β)을 이용한다. 또한, 핵심반사적(coreflective) 부분범주 A⊆Top에 대해 그 유전 핵심반사적 폐쇄 SA가 전체 Top이 되도록 하는 최소한의 A를 정확히 규정한다. 결과적으로 {S^α | α∈Cn}의 핵심반사적 폐쇄가 요구되는 최소 범주가 된다.

상세 분석

논문은 먼저 의사방사형 공간(pseudoradial space)의 정의를 복습하고, β‑연속(β‑sequential) 공간과의 관계를 명확히 한다. 핵심은 시에르핀스키 공간 S={0,1}의 위력 S^β가 모든 무한 기수 β에 대해 β‑연속이며, 따라서 2β‑연속이기도 하다는 사실이다(정리 3.2). 이를 이용해 임의의 프라임 공간 P(하나의 축적점만을 갖는 T₀ 공간)와 그 기수 |P|≤α를 S^β에 삽입할 수 있음을 보인다. 여기서 β는 P의 무게 w(P)≤2α이며, S^β가 2α‑연속이므로 P는 SPsrad(2α)의 부분공간이 된다. 결과적으로 모든 위상공간 X는 어떤 큰 기수 α에 대해 Gen(α)⊆SPsrad(2α) 안에 포함되고, 따라서 X는 의사방사형 공간의 부분공간이 된다(정리 3.4). T₀ 경우는 S^α 자체가 T₀이므로 바로 삽입이 가능하고, T₁ 경우는 S^α에 유한 위상(cofinite topology)을 결합한 (S^α)_1을 사용한다(정리 3.6). (S^α)_1은 α‑연속이며 T₁이므로 모든 T₁ 공간도 의사방사형 T₁ 공간에 포함된다.

다음으로 핵심반사적 부분범주 A⊆Top에 대해 SA=Top이 되려면 모든 무한 기수 α에 대해 S^α∈A가 필요함을 보인다(정리 4.1). 이는 S^α가 A에 있으면 A가 핵심반사적이므로 S^α의 재traction을 통해 S^α 자체가 A에 포함된다는 역이용이다. 따라서 {S^α | α∈Cn}의 핵심반사적 폐쇄 CH({S^α})가 SA=Top을 만족하는 최소 범주가 된다(정리 4.3). 또한 M(α)라는 보다 간단한 생성공간을 도입해 CH(M(α))=CH(S^α)임을 보이며, 정규 기수 α에 대해 M(α)∈A이면 SA=Top이 되는 동등조건을 제시한다(정리 4.5, 정리 4.8). 마지막으로 핵심반사적 유전 핵심(kernel)이 FG(유한 생성 위상공간들의 클래스)인 경우와, 각 정규 기수 α에 대해 t(X,x)=α인 점을 갖는 공간이 A에 존재하면 SA=Top임을 보인다(정리 4.9). 전체적으로 논문은 위상공간을 의사방사형으로 확장하는 구체적 방법과, 이러한 확장이 가능한 최소한의 범주론적 구조를 동시에 제공한다.