비분리점에서의 열린 균일(G)와 그 사상론적 특성

본 논문은 위상공간 X에서 비분리점(non‑isolated points)만을 대상으로 하는 “열린 균일(G) at non‑isolated points”라는 새로운 개념을 도입한다. 기존의 균일 기저와 열린 균일(G) 개념은 전체 공간에 적용되었으나, 비분리점에 한정함으로써 보다 미세한 구조를 탐구한다. 정의 1.2에 따르면, 각 점 x∈X에 대해 가산한 열린 집합들의 모임 Wₓ를 잡고, (1) x∈⋂Wₓ이며 |Wₓ|≤ℵ₀, (2) 임의 열린 U에 대해 x∈U이면 x의 주변 V(x,U)가 존재해 V(x,U)∩X_d의 모든 y에 대해 W∈W_y가 x∈W⊂U를 만족하고, (3) Wₓ의 임의 무한 부분집합이 x에서 네트워크가 된다. 여기서 X_d=X\I(X)이며, I(X)는 고립점 집합이다. 이 정의는 고립점에 대해서는 자동으로 {x}를 포함하도록 강제한다. 첫 번째 주요 결과는 Lemma 2.1을 통해 이미 알려진 네 가지 동등조건을 인용한다: (1) X가 메트릭 공간의 열린 경계‑콤팩트 상이미, (2) X가 비분리점에서 균일 기저를 가짐, (3) X가 비분리점에서 점‑유한 전개를 가짐, (4) X가 전개를 가지며 X_d가 메타콤팩트 부분공간임. 이를 바탕으로 논문은 열린 균일(G) at non‑isolated points가 존재하면 g‑함수(점‑점 감소하는 열린 이웃들의 연쇄)를 구성할 수 있음을 보인다(Lemma 2.2). g‑함수는 각 x∈X_d와 자연수 n에 대해 g(n,x)라는 열린 집합을 정의하고, x와 연관된 수열 {x_n}이 g(n,x) 혹은 x∈g(n,x_n) 형태로 주어지면 {x_n}은 x로 수렴하는 부분열을 갖는다. 이는 비분리점에서의 수열 수렴성을 제어하는 핵심 도구이다. Lemma 2.3은 위 g‑함수를 이용해 점‑가산 기저를 만든다. 각 n에 대해 g(n,·)가 생성하는 열린 커버를 점‑가산하게 정제하고, 이를 W와 교차시켜 B라는 새로운 열린 집합 모임을 만든다. 이 B는 비분리점에서 점‑가산 기저이며, I(X)와 합쳐서 전체 공간의 점‑가산 기저가 된다. 이어서 Lemma 2.4은 거리 함수 d(x,y)=1/m(x,y) (여기서 m(x,y)는 g‑함수에서 처음으로 서로를 포함하지 않는 단계) 를 정의하고, B(x,1/n)={y:d(x,y)<1/n}가 감소하는 이웃 기저임을 증명한다. 이는 메트릭화와 유사하지만, 비분리점에만 적용된다는 점에서 차별화된다. Lemma 2.5는 위에서 얻은 점‑가산 기저와 거리 함수를 활용해 X가 비분리점에서 개발 가능함을 보인다. 구체적으로, 각 x∈X_d에 대해 U_n(x)와 V_n(x)=int B(x,1/n)를 교차시켜 h(n,x)와 p(n,x) 등을 정의하고, 최종적으로 ϕ_n={g(n,x):x∈X_d}∪{ {x}:x∈I(X)} 를 만든다. 이 ϕ_n는 비분리점에서 전개를 이루며, 따라서 X는 개발 가능 공간이다. Theorem 2.6은 앞선 모든 결과를 종합해 “X가 비분리점에서 열린 균일(G)를 갖는다 ⇔ X가 비분리점에서 균일 기저를 갖는다”는 동등성을 확립한다. 증명은 두 방향 모두 전개와 메타콤팩트성을 이용한다. 충분성에서는 열린 균일(G)⇒전개⇒균일 기저를 얻고, 필요성에서는 균일 기저가 점‑가산이면 바로 열린 균일(G) 구조를 만들고, 점‑가산이 아니면 모순을 도출한다. 두 번째 절에서는 이러한 공간들의 역상 보존성을 탐구한다. 정의 3.1에서 w△‑공간(전개와 유사하지만 수열의 군집점 존재만 요구), Gδ‑대각선, G*δ‑대각선 등을 도입하고, 각각이 개발 가능성보다 약하거나 강한 성질임을 언급한다. 이후 예시 3.2–3.4는 다양한 사상(폐쇄·2‑대‑일, 열린·≤2‑대‑일, 열린·폐쇄) 아래에서 균일 기저가 보존되지 않음을 보여준다. 특히 예시 3.2는 레키시코그래픽 순서 위의