비정점에서의 정규 기반과 측정 정리

본 논문은 위상공간의 기저(base) 이론을 비정점(비고립점)에 초점을 맞추어 확장하고, 이를 통해 여러 측정정리(metrization theorems)를 새롭게 정립한다. 1. **정의와 기본 개념** - **비정점 정규 기반**: 기저 𝔅가 각 비고립점 x에 대해, x의 임의의 이웃 U에 대해 x⊂V⊂U인 열린 집합 V가 존재하고, V와 U 사이에 위치하면서 𝔅와 교차하는 원소가 유한개인 경우를 말한다. - **강발달(strong development)**: 열린 피복 {Wₙ}ₙ∈ℕ이 존재하여, 모든 비고립점 x와 이웃 U에 대해 어떤 n이 존재해 st(x, Wₙ)⊂U가 되도록 하는 일련의 구조. - **σ‑locally finite at non‑isolated points**: 기저를 𝔅=⋃ₙ𝔅ₙ으로 분해하고, 각 𝔅ₙ이 비정점에서 국소유한(local finite)임을 의미한다. 2. **기본 결과** - **Lemma 2.3‑2.5**: 비정점 정규 기반이 있으면, 그 하위 집합 𝔅ₘ이 비정점에서 국소유한 성질을 갖고, 이를 이용해 강발달을 구성할 수 있음을 보인다. - **Lemma 2.6**: 강발달이 존재하면 공간은 단조정규(monotonically normal)이며 파라콤팩트(paracompact)이다. 이는 기존의 정규 기반 이론에서 파라콤팩트와 단조정규가 동치임을 비정점 버전으로 확장한 것이다. 3. **주요 동치정리** - **Theorem 2.7**: “비정점 정규 기반 ⇔ 비정점 강발달”을 동치화한다. - **Theorem 2.8**: “비정점 정규 기반 ⇔ T₂‑파라콤팩트 공간에 비정점 발달이 존재”임을 증명한다. 여기서 T₂(하우스도르프) 가정이 없으면 정리가 깨지는 예시(유한 보완 위상)를 제시한다. - **Corollary 2.9**: 정규 공간에 비정점 발달이 존재하면, 그 발달을 구성하는 각 𝔅ₙ이 비정점에서 국소유한 기저가 되며, 전체 기저는 비정점 정규 기반이 된다. 4. **측정가능성** - **Theorem 3.1**: 다음 세 조건이 동치임을 보인다. (1) X는 측정가능(metrizable)한다. (2) X는 완비(perfect) 공간이며 비정점 정규 기반을 가진다. (3) X는 완비 공간이며 비정점 강발달을 가진다. 증명은 비정점 강발달에 비고립점 집합 I(X)를 Fσ‑집합으로 분리하고, 이를 기존의 σ‑locally finite 기반 정리(