리만 곡면에서 비임계 함수에 의한 카를레만 근사

초록

본 논문은 열린 리만 곡면 위의 ‘반허용(半許容)’ 집합에 대해, 연속 함수와 양의 연속 오차 함수가 주어지면 비임계(critical point가 없는) 전체 홀로모픽 함수로 카를레만 근사가 가능함을 증명한다. 특히 내부가 비어 있는 폐집합에 대해서는 연결성과 국소 연결성만을 만족하면 비임계 근사가 가능함을 완전히 규정한다. 또한 기존 ‘허용(admissible)’ 집합보다 넓은 ‘반허용’ 집합에 대해 새로운 접근법을 제시하고, 일부 경우에는 보다 일반적인 카를레만 집합에서도 균일 비임계 근사를 얻는다.

상세 분석

이 논문은 두 가지 핵심 질문을 다룬다. 첫째, 열린 리만 곡면 X 위의 폐집합 E에 대해 카를레만 근사와 동시에 근사 함수가 전역적으로 비임계가 되도록 할 수 있는가? 둘째, 이러한 비임계 카를레만 근사가 가능한 집합을 어떻게 정확히 기술할 수 있는가? 기존 연구에서는 카를레만 근사 자체는 Boivin의 정리(연결·국소 연결·조건 G)로 완전히 규명되었지만, 비임계성을 추가하면 새로운 위상·분석적 제약이 발생한다.

논문은 ‘반허용(semi‑admissible)’ 집합이라는 새로운 클래스 정의를 도입한다. E를 내부가 비어 있는 폐집합 S와 서로 겹치지 않는 유한 개의 컴팩트 집합 Hλ(λ∈Λ)의 합 H=S∪⋃Hλ 로 분해할 수 있으면 E를 반허용이라 한다. 여기서 Hλ는 각각 내부가 비어 있지 않은 컴팩트 영역이며, 서로 충분히 떨어져 있어 서로의 경계가 겹치지 않는다. 이 구조는 기존 ‘허용(admissible)’ 집합에서 요구되는 매끄러운 경계와 전역적인 곡선 연결성을 완화하면서도, 각 Hλ 주변에 충분히 큰 열린 이웃을 잡아 비임계 조건을 유지할 수 있는 여지를 제공한다.

핵심 기술은 Forstnerič의 비임계 Runge 근사 정리(정리 1)를 활용하는 것이다. 이 정리는 컴팩트 Runge 집합 K 위에서 비임계 함수 f를 주면, 임의의 ε>0에 대해 전역 비임계 함수 F를 ε‑근사로 확장할 수 있음을 보장한다. 저자는 이를 카를레만 근사의 ‘점별 ε‑제어’와 결합한다. 구체적으로, 반허용 집합 E를 점진적인 컴팩트 증분 {K_n} 로 덮고, 각 단계에서 K_n∩H에 대해 Forstnerič 정리를 적용해 비임계 근사를 얻는다. 그 후, ε‑함수의 감소성을 이용해 각 단계에서 오차를 점점 작게 조정한다. 중요한 점은 Hλ마다 독립적인 근사 과정을 수행할 수 있다는 점이다. 이는 Hλ가 서로 겹치지 않으므로, 한 λ에서 만든 비임계 근사가 다른 λ에 영향을 주지 않게 한다.

또한 논문은 ‘조건 G’를 만족하는 반허용 집합이 Boivin이 제시한 카를레만 근사의 필요조건(연결·국소 연결·조건 G)을 자동으로 만족함을 보인다(명제 2). 따라서 반허용 집합은 기존 카를레만 근사의 완전한 클래스와 일치하면서, 비임계성을 추가로 보장할 수 있는 최소 조건을 제공한다.

주요 결과인 ‘주정리’는 다음과 같다. X가 열린 리만 곡면, E가 반허용 집합이며 X∗\E가 연결·국소 연결일 때, 임의의 비임계 연속 함수 f∈eA(E)와 양의 연속 오차 함수 ε:E→(0,∞)에 대해 전역 비임계 홀로모픽 함수 F∈O(X)가 존재하여 |F(p)−f(p)|<ε(p) (p∈E)를 만족한다. 여기서 eA(E)는 H 주변에 홀로모픽 연속 함수들의 클래스이며, 비임계성은 H의 이웃에서 정의된다.

주정리의 직접적인 귀결인 ‘폐집합 내부가 비어 있는 경우’(코롤라리)에서는 E가 단순히 X∗\E가 연결·국소 연결이면, 임의의 연속 함수 f와 ε에 대해 비임계 전역 근사가 가능함을 보여준다. 이는 비임계 근사가 가능한 폐집합을 완전히 규정한 것으로, 기존의 ‘비임계 Mergelyan 정리’와는 다른, 점별 오차 제어가 가능한 카를레만 형태의 일반화이다.

마지막으로 저자는 반허용 집합이 아닌 일반적인 카를레만 집합에서도 비임계 균일 근사가 가능한 경우를 탐구한다. 여기서는 ‘다른 접근법’을 제시해, 특정 구조(예: 복잡한 연결성 없이도 각 컴포넌트가 충분히 큰 열린 이웃을 갖는 경우)에서 비임계 균일 근사를 얻는다. 이는 반허용 집합의 한계를 넘어서는 첫 시도이며, 향후 더 넓은 클래스에 대한 비임계 카를레만 근사의 가능성을 열어준다.

전반적으로 이 논문은 복소 해석, 위상학, 그리고 미분기하학을 결합해 비임계 카를레만 근사의 새로운 지평을 연다. 반허용 집합이라는 실용적인 개념 도입과 Forstnerič의 비임계 Runge 정리 활용은 기술적으로도 깔끔하며, 결과는 기존 근사 이론과 동역학·미니멀 표면 이론 등 다양한 분야에 적용 가능성을 시사한다.