매니폴드의 메트리제이션: 언제 가능한가

이 논문은 매니폴드의 메트리제이션 문제를 체계적으로 탐구한다. 서두에서 저자는 매니폴드를 “연결된 Hausdorff 공간이며, 각 점이 ℝⁿ에 위상동형인 열린 이웃을 갖는” 것으로 정의하고, 이러한 정의가 차원의 고정성을 보장한다는 점을 강조한다. 이어서 좌표 차트와 기본 기호들을 소개하고, 매니폴드가 자동으로 **locally Euclidean**, **locally compact**, **locally second‑countable**, **locally metrizable** 등 유클리드 공간이 가진 모든 국소적 성질을 물려받는다는 사실을 정리한다. **Proposition 1**에서는 임의의 가산 부분집합 S⊂M이 ℝᵐ와 위상동형인 열린 집합에 포함될 수 있음을 증명한다. 이는 매니폴드가 “너무 크지 않다”는 직관을 형식화한 것으로, 가산 집합을 포함하는 모든 열린 집합을 연속적으로 확장해 나갈 수 있음을 의미한다. 증명은 차원 m을 고정하고, S를 점점 큰 유한 부분집합 Sₙ으로 분할한 뒤, 각각에 대해 ℝᵐ와 동형인 열린 집합 Vₙ과 그 내부의 컴팩트 Cₙ을 귀납적으로 구성한다. 최종적으로 Uₙ=Int Cₙ들의 합이 ℝᵐ와 동형인 열린 집합 U가 되며, S⊂U임을 보인다. 그 다음 저자는 매니폴드의 메트리제이션에 대한 전통적인 기준을 검토한다. 일반 위상공간에서 “paracompact + Hausdorff + locally metrizable”가 메트리제이션의 필요충분조건이라는 정리를 인용하고, 매니폴드가 이미 Hausdorff이며 locally metrizable이므로 **paracompactness**만이 남은 핵심 조건임을 강조한다. **Theorem 2**(논문 본문에 실제로 제시된 부분)에서는 매니폴드에 적용 가능한 수십 가지 동등조건을 나열한다. 주요 항목은 다음과 같다. 1. **Paracompact** – 모든 열린 덮개가 locally finite refinement를 가짐. 2. **Second countable** – 가산 기저 존재. 3. **Lindelöf** – 모든 열린 덮개가 가산 부분덮개를 가짐. 4. **σ‑compact** – 가산 개의 컴팩트 부분집합들의 합으로 전체가 표현. 5. **Metacompact**, **para‑Lindelöf**, **meta‑Lindelöf**, **nearly meta‑Lindelöf** 등 다양한 “Lindelöf‑type” 성질. 6. **Strongly paracompact**, **star‑finite**, **σ‑discrete** 등 refinement와 관련된 강한 조건. 7. **Hereditary separable**, **hereditary Lindelöf**, **k‑Lindelöf** 등 하위공간까지 전파되는 성질. 8. **Perfectly normal**, **monotonically normal**, **extremely normal** 등 정규성 강화 조건. 9. **Hurewicz**, **Rothberger**, **selectively screenable**, **weakly α‑favorable**, **strongly α‑favorable** 등 선택적 커버링 게임과 연관된 조건. 10. **Analytic**, **Polish**, **ℵ₀‑space**, **ℵ‑space**, **q‑space**, **Fréchet‑Urysohn** 등 순서·분리성 관련 특성. 이 모든 조건은 매니폴드라는 특수한 환경(연결성, 차원 고정, 국소 유클리드성) 하에서 서로 동치가 된다. 즉, 매니폴드가 위 조건 중 하나라도 만족하면 자동으로 메트리제이션이 가능하고, 반대로 메트리제이션이 가능하면 모든 조건을 만족한다는 강력한 결론을 얻는다. 비메트리제이션 가능한 사례로는 차원 1의 **긴 선(L)** 과 **긴 광선(L⁺)** 를 상세히 기술한다. L⁺는 ω₁×