유한 기본함수로 규정되는 유한 차원 로컬 컴팩트 공간

본 논문은 위상수학과 함수해석의 교차점에서 ‘기본함수’라는 개념을 재정의하고, 이를 통해 유한 차원·국소 컴팩트·가산 메트릭스 공간을 정확히 특징짓는 새로운 동치정리를 제시한다. 서론에서는 Kolmogorov‑Arnold‑Superposition 정리와 Sternfeld가 제시한 네 가지 기본함수 문제를 소개하고, 기존 연구가 주로 컴팩트하거나 유클리드 공간에 국한된 한계를 지적한다. 이어서 저자들은 ‘유한 기본함수족’이라는 정의를 명시한다: 연속 사상 Φ₁,…,Φₙ∈C(X,ℝ)와 임의의 연속 함수 f∈C(X,ℝ)에 대해 연속 g₁,…,gₙ∈C(ℝ,ℝ)가 존재해 f(x)=∑_{i=1}^{n}g_i(Φ_i(x))가 성립하는 경우. 본론에서는 두 주요 정리를 증명한다. 첫 번째 정리는 “X가 가산 차원, 국소 컴팩트, 분리 가능 메트릭스 공간이면, 유한 기본함수족이 존재한다”는 전향적 결과이다. 이를 위해 저자들은 먼저 X를 ℝⁿ에 연속적으로 삽입하는 ‘다중 사상’ Φ_i를 구성한다. 이 과정에서 파인-마이어 차원 이론, 파티션 오브 유니티, 그리고 연속 선택 정리를 활용한다. 각 Φ_i는 X의 서로 다른 차원 방향을 포착하도록 설계되어, 그 조합이 X 전체를 구분한다는 점을 보인다. 두 번째 정리는 “유한 기본함수족이 존재한다면, X는 반드시 위의 세 조건을 만족한다”는 역방향 결과이다. 여기서는 기본함수족이 제공하는 ‘좌표화’ 구조를 이용해, X가 로컬하게 컴팩트하고 가산 차원을 갖는 메트릭스 공간임을 역으로 추론한다. 특히, 기본함수들의 합성 형태가 연속 함수 공간 C(X,ℝ)를 완전히 생성한다는 사실을 이용해, X가 완비이며 2번째 가산성(σ-compact)임을 보이며, 차원 이론을 통해 유한 차원임을 증명한다. 이 두 정리를 결합하면, “X가 가산 차원·국소 컴팩트·분리 가능 메트릭스 공간 ⇔ X가 유한 기본함수족을 가진다”는 완전한 동치가 성립한다. 논문은 이 결과를 이용해 Sternfeld가 제기한 네 가지 기본함수 문제에 모두 긍정적·부정적 답을 제공한다. 구체적으로, (1) 모든 연속 함수가 유한 개의 기본함수 합으로 표현될 수 있는가? – 위 조건을 만족하는 경우에만 가능, (2) 기본함수의 최소 개수는 차원에 비례한다는 주장 등은 모두 이 정리로부터 직접 도출된다. 또한 Hattori와 다른 연구자들이 제시한 “어떤 위상공간이 유한 개의 연속 사상으로 완전히 기술될 수 있는가?”라는 질문에 대해, 저자들은 위 동치정리를 통해 답을 명확히 한다. 즉, 유한 차원·국소 컴팩트·가산 메트릭스 공간이 바로 그러한 ‘유한 사상’으로 완전히 기술될 수 있는 유일한 클래스이다. 마지막 장에서는 몇 가지 응용과 향후 연구 방향을 제시한다. 첫째, 기본함수족을 이용한 함수 근사와 신경망 이론 사이의 연결 고리를 탐색한다. 둘째, 비가산 차원이나 비메트릭스 공간에 대한 일반화 가능성을 논의하고, 현재 정리의 한계를 넘어서는 새로운 ‘무한 기본함수족’ 개념을 제안한다. 셋째, 위 정리를 이용해 위상동형 사상과 차원 보존 사상 사이의 관계를 보다 정밀하게 분석할 수 있음을 언급한다. 전반적으로 이 논문은 위상공간의 구조와 연속 함수의 표현 사이에 깊은 연관성을 밝히며, 기존의 여러 미해결 문제에 대한 완전한 해답을 제공한다.