위상공간을 2⁽ᴾ⁽ˣ⁾⁾ 안에서 바라보다

초록

본 논문은 집합 X의 모든 위상들을 부분집합 𝒫(𝒫(X))와 동형인 완전 이산 콤팩트 공간 2^{𝒫(X)} 안의 점으로 보고, 그 위상공간 Top(X)의 위상적 성질을 조사한다. Top(X)는 폐집합이 아니며, 컴팩트하거나 국소 컴팩트하지도 않지만, X의 부분격자 Lat_B(X) 안에서 조밀·공조밀하게 위치한다. 또한, 보편적 1차 논리식으로 정의되는 부분집합은 컴팩트함을 보이며, Top(X)는 그러한 정의로는 기술될 수 없음을 증명한다.

상세 분석

논문은 먼저 𝒫(𝒫(X))를 이진값 2의 X‑지수곱 2^{𝒫(X)}와 동일시함으로써, 각 위상을 𝒫(X) 위의 필터와 같은 ‘점’으로 해석한다. 이때 기본 열린 집합은 A⁺={F∈2^{𝒫(X)}|A∈F}와 A⁻={F∈2^{𝒫(X)}|A∉F} 로 정의되며, 이는 부분 순서의 상·하 사상과 동일한 구조를 가진다. 이러한 관점에서 Top(X)⊂2^{𝒫(X)}는 완전 격자 Top(X) 자체가 아니라, 2^{𝒫(X)}의 서브스페이스로서의 위상적 특성을 갖는다.

주요 결과는 다음과 같다. 첫째, Top(X)는 2^{𝒫(X)}에서 폐집합이 아니다. 이는 Top(X)가 Lat_B(X)라는 ‘X와 ∅을 포함하는 부분격자들의 집합’ 안에서 조밀하게 존재하고, Lat_B(X)는 닫힌 집합이므로 Top(X)는 그 경계에 놓이게 됨을 보임으로 증명된다. 둘째, Top(X)는 내부가 비어 있어 (즉, 빈 내부) 국소 컴팩트하지도 않다. 이는 임의의 위상 τ와 기본 열린 이웃 T_A⁺∩T_B⁻를 잡아, 무한 부분집합 S와 그 분할을 이용해 τ를 포함하지만 조인 완전하지 않은 격자를 구성함으로써 보인다. 셋째, Top(X)는 Lat_B(X) 안에서 조밀·공조밀(dense and co‑dense)하게 존재한다. 즉, Top(X)의 여집합도 역시 조밀하므로, Top(X)는 위상적으로 ‘경계’에 해당한다.

또한, 논문은 보편적 1차 논리식(∀‑문)으로 정의되는 부분집합이 언제 컴팩트가 되는지를 모델 이론적으로 분석한다. L(P)라는 부울대수 언어에 단일 1‑ary 술어 P를 추가하고, Φ가 보편적 문이면 {S⊆𝒫(X) | (𝒫(X),S)⊨Φ}는 2^{𝒫(X)} 안에서 컴팩트함을 보인다. 이와 대조적으로 Top(X)는 어떠한 보편적 정의에도 포함되지 않으며, 따라서 보편적 논리식만으로는 Top(X)의 구조를 포착할 수 없다는 부정 결과를 얻는다. 마지막으로, 거의 서로소(a.d.) 가족들의 집합 A_κ가 2^{𝒫(κ)} 안에서 컴팩트함을 보이며, 이는 위상공간의 컴팩트성 판단에 모델 이론적 도구가 유용함을 시사한다.

전체적으로 논문은 Top(X)를 단순히 격자론적 대상으로 보는 전통적 관점을 넘어, 2^{𝒫(X)}라는 큰 콤팩트 공간 안에서의 위상적 위치와 모델 이론적 정의 가능성을 동시에 탐구함으로써 새로운 통찰을 제공한다.