두 변수 함수의 분해와 평면 기본 임베딩

초록

저자들은 수직·수평 구간을 동시에 이루는 세 점을 포함하지 않는 평면의 콤팩트 집합 K에 대해, 연속 함수 f∈C(K)를 두 개의 일변량 연속 함수 g, h∈C(ℝ)로 분해하는 명시적 알고리즘을 제시한다. K를 유한 점 집합으로 근사시키는 단계적 구성법을 이용해 Sternfeld의 기본 임베딩 정리의 일부를 건설적으로 증명한다.

상세 분석

이 논문은 “기본 임베딩(basic embedding)”이라는 개념을 평면에 한정시켜, 연속 함수가 한 변수 함수들의 합으로 정확히 표현될 수 있는 조건을 탐구한다. 기존의 Sternfeld 정리는 “어떠한 콤팩트 집합 K⊂ℝ²가 기본 임베딩이면, K가 수직·수평 구간을 동시에 포함하는 삼중점을 갖지 않는다”는 필요조건과, 그 반대 방향의 충분조건을 제시한다. 그러나 충분조건 부분은 비구성적 존재 증명에 머물렀다. 본 연구는 그 공백을 메우고, 실제로 g와 h를 어떻게 만들 수 있는지를 단계별로 보여준다.

핵심 아이디어는 K를 점점 세밀한 격자 위의 유한 집합 Pₙ으로 근사하고, 각 Pₙ에 대해 선형 시스템 Aₙ·(gₙ,hₙ)=f|_{Pₙ}을 푼 뒤, n→∞에서의 극한을 취해 연속함수 g, h를 얻는 것이다. 여기서 Aₙ은 각 점 (x_i,y_j)∈Pₙ에 대해 “g(x_i)+h(y_j)=f(x_i,y_j)”라는 방정식을 정리한 행렬이며, 삼중점 금지 조건이 바로 Aₙ이 전치 가능한(즉, 풀랭크) 것을 보장한다. 전치 가능성은 행렬식이 0이 되지 않음으로써, 각 단계에서 해가 유일하게 존재함을 의미한다.

또한 저자들은 근사 과정에서 발생할 수 있는 수렴 문제를 두 가지 방법으로 제어한다. 첫째, 각 단계에서 얻은 gₙ, hₙ를 선형 보간(linear interpolation)하여 전체 실수축 ℝ 위에 연속적으로 확장한다. 둘째, 보간된 함수들의 최대값 차이를 제어하는 일종의 “균등 수축” 기법을 도입해, n이 커질수록 ‖gₙ−gₙ₊₁‖∞와 ‖hₙ−hₙ₊₁‖∞가 임의의 ε보다 작아지게 만든다. 이 과정을 통해 Cauchy 수열을 형성하고, 완비성에 의해 연속함수 g, h가 존재함을 보인다.

특히, 논문은 “수직·수평 구간을 동시에 이루는 삼중점이 없다는 조건”이 행렬 Aₙ의 전치 가능성을 보장하는 기하학적 해석을 상세히 제시한다. 만약 그런 삼중점이 존재한다면, 동일한 x값을 갖는 두 점과 동일한 y값을 갖는 두 점이 교차하면서 방정식 사이에 선형 종속성이 생겨, 해가 존재하지 않거나 무한히 많아지는 상황이 발생한다. 따라서 이 기하학적 금지는 알고리즘이 정상적으로 진행될 수 있는 충분조건이 된다.

마지막으로 저자들은 이 구성적 증명이 기존의 비구성적 존재 증명보다 실제 계산에 적용 가능함을 강조한다. 제시된 알고리즘은 컴퓨터 구현이 용이하도록 설계되었으며, 특히 수치적 근사와 최적화 문제에서 “함수 분해”를 통한 차원 축소 기법으로 활용될 가능성이 있다.