폐극한집합의 초공간과 마이클·페일 위상

본 논문은 위상공간 X의 폐극한집합(L(X))에 대한 두 가지 중요한 초공간 위상, 즉 마이클이 제안한 하위반유한 위상(τ_w)과 페일이 정의한 위상(τ_s)을 체계적으로 비교·연구한다. 서론에서는 폐집합 초공간 F(X)와 그 비공집합 F′(X), 폐극한집합 L(X)와 그 비공집합 L′(X)를 정의하고, η_X: X→L′(X), η_X(x)={x}라는 자연스러운 삽입을 소개한다. 이 삽입은 X가 T₀이면 위상동형이며, 일반적으로 τ_w‑밀집성을 가진다. 제2절에서는 τ_s와 τ_w의 기본 열린 집합을 각각 U(C,Φ)와 U(∅,Φ) 형태로 정의한다. τ_s는 페일이 제시한 초공간 위상으로, F(X) 전체가 콤팩트하고 X가 국소 콤팩트이면 Hausdorff가 된다. τ_w는 마이클이 제시한 하위반유한 위상으로, τ_s보다 약하지만 T₀ 성질을 유지한다. 두 위상의 관계를 살펴보면, τ_w‑열린 집합은 τ_s‑열린 집합의 부분집합이며, τ_w‑폐집합은 τ_s‑폐집합이다. 특히, η_X는 τ_w‑연속이며, η_X(X)의 τ_w‑폐쇄는 정확히 L(X)이다. 따라서 L(X)는 τ_w‑닫힌 집합이면서 τ_s‑닫힌 집합이 된다. 제3절에서는 τ_w‑위에서의 지역 콤팩트성, Baire 성질, 그리고 2차 가산성에 대한 결과를 제시한다. 핵심 정리 3.2는 X가 국소 콤팩트이면 F(X), F′(X), L(X), L′(X) 모두 τ_w‑지역 콤팩트임을 증명한다. 증명은 기본 열린 집합 U(∅,Φ) 안에 컴팩트한 근방을 구성해 제한된 부분이 콤팩트함을 보이는 전형적인 방법을 사용한다. 명제 3.3은 X가 Baire이면 L(X)와 L′(X)도 τ_w‑Baire임을 보이며, 이는 η_X가 τ_w‑밀집하고 X의 Baire 성질이 η_X⁻¹(U_n)의 교집합이 여전히 밀집함을 이용한다. 명제 3.4는 X가 열린·컴팩트한 기저를 갖는 경우, τ_w‑위의 모든 하위공간(F, F′, L, L′)도 같은 성질을 갖는다는 것을 보여준다. 제4절에서는 폐극한집합 중 최대극한집합(M L(X))에 초점을 맞춘다. 정리 4.1은 아이덴티티 맵 (L(X),τ_w)→(L(X),τ_s) 가 A∈ML(X)에서 연속이면 A가 최대극한집합임을, 반대로 A가 최대극한집합이면 연속임을 증명한다. 여기서는 τ_w‑기본집합 U(∅,Ψ)와 τ_s‑기본집합 U(C,Φ) 사이에 포함 관계를 만들기 위해, A가 최대라면 Φ를 확장한 Ψ가 존재함을 귀류법으로 보여준다. 이 결과는 τ_w와 τ_s가 ML(X)에서 일치함을 즉시 얻는다(명제 4.2). 다음으로, 최대극한집합의 위상적 특성을 탐구한다. 정의에 따라 점 y∈Y가 분리된(separated) 점이면 {y}가 Y에서 최대극한집합이다. 정리 4.3은 L(X)에서 τ_w‑분리된 원소가 바로 최대극한집합임을 보이며, 이는 τ_w‑위에서 서로 다른 원소들을 서로 분리할 수 있는지 여부와 직접 연결된다. 명제 4.4는 X가 Baire이면 ML(X)도 Baire임을 증명한다. 증명은 τ_w‑밀집한 열린 집합들의 교집합이 여전히 τ_w‑밀집함을 이용한다. 명제 4.5는 X가 2차 가산·국소 콤팩트·Baire이면, X에서 분리된 점들의 집합이 ML(X)에서 G_δ‑밀집함을 보여준다. 이는 기존의 Dixmier‑Lemma와