단순체 하우스도르프 공간의 기하학적 실현은 하우스도르프이다

초록

본 논문은 단순체 하우스도르프 공간의 얇은 기하학적 실현(thin geometric realization)이 여전히 하우스도르프 위상임을 증명한다. 이를 통해 Graeme Segal이 제시한 “단순체 k-공간의 얇은 실현은 k-공간이다”라는 주장에 대한 엄밀한 근거를 제공한다. 핵심은 실현 과정에서 발생하는 식별점들의 폐쇄성 및 분리성을 세밀히 분석하고, 적절한 근방 구조를 구성함으로써 Hausdorff 성질을 보존한다는 점이다.

상세 분석

논문은 먼저 단순체 집합 Δⁿ과 그에 대응하는 표준 위상 구조를 회고하고, simplicial object X·가 각 차원 n에서 Hausdorff 공간 Xₙ을 갖는 경우를 가정한다. 얇은 기하학적 실현 |X·|ₜ는 ∐ₙ Xₙ×Δⁿ을 적당한 동등관계 ∼ 로 몹시 나눈 뒤, quotient topology를 부여한 공간이다. 여기서 핵심 문제는 ∼‑동등류가 생성하는 식별점들이 서로 겹치지 않아 Hausdorff 성질이 유지되는가이다. 저자는 ∼‑동등류를 “face‑degeneracy” 관계로 명시하고, 각 식별 클래스가 유한히 많은 원소를 포함함을 이용한다.

다음 단계에서는 각 n‑simplex Δⁿ의 내부 Int(Δⁿ)와 경계 ∂Δⁿ을 구분하고, Xₙ×Int(Δⁿ)와 Xₙ×∂Δⁿ 사이에 서로 분리 가능한 열린 집합을 구성한다. 특히, Xₙ이 Hausdorff이므로 서로 다른 점 x, y∈Xₙ에 대해 서로소 열린 집합 Uₓ, V_y를 잡을 수 있다. 이를 Δⁿ의 내부와 결합해 Uₓ×Int(Δⁿ)와 V_y×Int(Δⁿ) 역시 서로소가 된다. 경계 부분에 대해서는 face map d_i와 degeneracy map s_i가 연속이며, 이들에 의해 생성되는 식별점들은 lower 차원의 단순체와 연결된다. 귀납적으로 차원을 낮추면서 Hausdorff 성질이 유지됨을 보이기 위해, 저자는 “정밀한 근방” 개념을 도입한다. 즉, 주어진 점