연속함수 보존을 위한 V수렴 구조

본 논문은 위상공간 E와 균일공간 F를 출발점으로, 함수공간 F(E,F) 위에 새로운 균일구조를 도입한다. 이 구조는 ‘V‑수렴(V‑convergence)’이라 명명되며, 두 가지 핵심 목표를 가진다. 첫째, 연속함수 집합 C(E,F) 가 이 구조 안에서 폐집합이 되도록 함으로써 연속함수의 극한이 다시 연속함수가 되게 한다. 둘째, C(E,F) 위에 제한된 이 구조가 점별수렴(simple convergence)과 동등하도록 하여, 연속성을 보존하는 가장 약한 위상을 제공한다. 구조 정의는 다음과 같다. F의 기본 주변집합 W와 E의 유한 부분집합 A를 잡고, \(U_{W,A}=\{(f,g)\in F(E,F)\times F(E,F)\mid \exists\;V_{a_1},\dots,V_{a_n}\;(\forall x\in\bigcup_i V_{a_i}\;(f(x),g(x))\in W)\}\) 를 정의한다. 여기서 V_{a_i}는 각각 a_i∈A의 이웃이다. 모든 W와 모든 유한 A에 대해 이러한 U_{W,A}들의 체가 균일구조의 기본 체가 됨을 보인다(명제 1). 이 구조를 F_V(E,F)라 표기한다. 다음으로, 이 구조가 기존의 두 균일구조와의 관계를 조사한다. 명제 2에 따르면, V‑수렴은 점별수렴보다 미세하고, 지역 균일수렴(local uniform convergence)보다 거친 구조이다. 즉, 필터 관점에서 보면 V‑수렴의 주변집합은 점별수렴의 주변집합에 포함되고, 지역 균일수렴의 주변집합에 포함된다. 연속함수 집합 C(E,F)의 폐집합성은 명제 3에서 증명된다. V‑수렴에서 C(E,F)의 폐집합성을 보이기 위해, 임의의 g∈C(E,F)의 V‑접근성을 이용한다. W와 W′(W′⊂W)를 잡고, V‑수렴에 의해 존재하는 연속함수 f와 그 이웃 V_{x0}를 이용해, g가 모든 x₀∈E에서 연속임을 확인한다. 또한, C(E,F) 위에 제한된 V‑수렴과 점별수렴은 동일한 균일구조를 만든다. 수렴판정(명제 5)은 V‑수렴의 핵심적인 실용적 도구다. F가 완비이고 반거리(d_i)들로 정의된 경우, 필터 \(\mathcal{F}\)가 V‑수렴한다는 것은 모든 i∈I, ε>0, a∈E에 대해 적당한 집합 A∈\(\mathcal{F}\)와 이웃 V_a가 존재해, A 안의 모든 함수 f에 대해 V_a 안에서 어떤 g∈\(\mathcal{F}\)와 d_i(f(x),g(x))≤ε가 되도록 할 수 있다는 조건이다. 이는 전통적인 Cauchy‑필터 조건을 변형한 것으로, 극한 함수를 직접 언급하지 않아도 수렴을 판정한다. 완비성 가정이 없을 경우에도 유사한 조건이 시퀀스에 대해 성립한다(명제 6, 7). ‘반국소적(semi‑local)’ 성질을 정의하고, 이를 통해 여러 함수적 성질이 V‑수렴에서 보존됨을 보인다. 정의에 따르면, 어떤 성질 P⊂F(E,F) 가 “모든 f에 대해, 각 x와 주변집합 W에 대해 적당한 g∈P와 V∈V_x가 존재해 (f,g)∈W” 라는 조건을 만족하면, P는 V‑수렴에 대해 닫힌 집합이 된다(명제 8). 이를 이용해 연속성, 상하반연속성, 보렐성(α‑보렐) 등이 V‑수렴 하에서 닫힌 집합임을 증명한다(명제 9‑13). 특히, 측도가능성 및 지역 µ‑적분가능성 같은 분석적 성질도 V‑수렴에 대해 닫힌다(명제 11). 이는 ‘반국소적’ 정의와 직접 연결된다. 또한, X가 가산히 컴팩트하고 Y가 메트릭공간일 때, V‑수렴 공간 F_V(X,Y) 자체는 일반적으로 메트릭이 아니지만, 임의의 함수 f₀에 대해 가산 부분집합 A₁⊂F_V(X,Y)가 존재해 f₀∈A₁이라는 ‘가산 근사’ 성질을 갖는다(명제 12). 마지막으로, V‑수렴 구조는 Stone‑Weierstrass 정리와도 호환된다. X가 컴팩트하고 H⊂C(X,ℝ) 가 sup, inf에 대해 닫혀 있으면, H는 V‑수렴에서 완비이며, 따라서 전통적인 균일수렴 정리와 동일한 근사 결과를 얻을 수 있다(정리). 전체적으로 논문은 연속함수의 극한을 보존하면서도 가능한 가장 약한 위상을 제공하는 V‑수렴 구조를 체계적으로 구축하고, 그 위에서 측도성, 보렐성, 반국소적 성질 등 다양한 함수공간 이론을 전개한다. 이는 함수해석, 위상수학, 측도이론 등 여러 분야에서 연속성 보존이 핵심적인 상황에 유용한 도구가 될 것이다.