디스크 위 의사조화함수 위상동등성 판정의 새로운 조합 그래프 불변량

본 논문은 닫힌 2‑차원 원판 \(D^{2}\subset\mathbb{C}\) 위에 정의된 연속함수 \(f:D^{2}\to\mathbb{R}\) 중, 경계 \(\partial D^{2}\) 에 제한했을 때 유한개의 국소 극값만을 갖고, 내부 임계점이 모두 새들(saddle) 형태인 경우를 연구한다. 이러한 함수는 전통적인 ‘의사조화함수(pseudoharmonic function)’와 동등한 클래스로, 각 내부 임계점은 근방에서 \(f=\operatorname{Re}z^{n}+c\) (\(n\ge2\)) 로 표현된다. 논문의 목적은 이들 함수의 위상동등성을 판단할 불변량을 구축하고, 그 불변량을 통해 필요·충분 조건을 제시하는 것이다. **1. 선행 정의와 기본 개념** - **정규점·정규 경계점**: 내부에서 \(f\) 가 \(\operatorname{Re}z\) 형태로, 경계에서 위쪽 반원에 단조적으로 증가·감소하는 형태로 정의한다. - **임계점·임계값·반정규값**: 임계점은 정규점이 아닌 모든 점이며, 모두 새들이다. 임계값은 임계점을 포함하는 레벨 집합, 반정규값은 임계값이 아니면서 레벨 집합에 경계 새들점만 포함하는 경우를 말한다. - **레프 그래프(Reeb graph)**: 함수값이 같은 레벨 집합을 하나의 점으로 축소해 얻는 그래프. 경계가 있는 경우 전통적인 레프 그래프는 완전하지 않다. **2. 조합 다이어그램 \(P(f)\) 의 구성** - **단계 1**: 경계 \(\partial D^{2}\) 에 대한 레프 그래프 \(\Gamma_{K\!-\!R}(f|_{\partial D^{2}})\) 를 만든다. 이는 원형이며, 정점은 경계 극값, 간선은 단조 구간이다. - **단계 2**: 모든 임계값 \(a_{i}\) 와 반정규값 \(c_{j}\) 에 대해, 해당 레벨 집합 \(f^{-1}(a_{i})\), \(f^{-1}(c_{j})\) 의 연결 성분 중 새들점(내부·경계)과 연결된 성분만을 선택한다. 이를 각각 \(b_{f}^{-1}(a_{i})\), \(b_{f}^{-1}(c_{j})\) 라 하고, 그래프에 정점·간선으로 삽입한다. - **단계 3**: 각 정점에 \(f\) 값을 부여해 부분 순서 \(<\) 를 정의한다. 동일한 \(f\) 값을 갖는 정점은 서로 비교 불가능하게 만든다. 이 과정을 통해 얻은 \(P(f)\) 는 - 유한한 정점·간선 집합, - 부분 방향성(경계 방향에 의해 유도), - 엄격한 부분 순서(함수값 기반) 을 동시에 만족하는 그래프이며, 이는 \(D^{2}\) 안의 모든 정규 영역 \(\Theta\) 에 대해 \(f\) 가 정규함을 보장한다(C4). **3. 주요 성질(C1–C4)** - **C1**: 유일한 \(C^{r}\)-subgraph \(q(f)\) 가 존재하고, 이는 정확히 \(\partial D^{2}\) 와 동형이다. - **C2**: \(P(f)\setminus q(f)\) 는 서로 겹치지 않는 트리 \(\Psi_{i}\) 들의 합이며, 각 트리 내부의 정점들은 서로 비교 불가능하다. - **C3**: \(q(f)\) 을 경계에, 나머지 트리들을 내부에 매핑하는 임베딩 \(\psi:P(f)\to D^{2}\) 가 존재한다. - **C4**: \(D^{2}\setminus P(f)\) 의 각 연결 성분 \(\Theta\) 에서 \(f\) 는 정규함(즉 \(\operatorname{Re}z\) 형태)이다. **4. 위상동등성 정리** 정리 3.1은 두 의사조화함수 \(f,g\) 가 위상동등(orientation‑preserving homeomorphisms \(h_{1}:D^{2}\to D^{2},\;h_{2}:\mathbb{R}\to\mathbb{R}\) 존재) iff 그들의 조합 다이어그램 \(P(f),P(g)\) 가 방향·부분 순서를 보존하는 그래프 동형 \(\varphi\) 을 갖는다고 명시한다. - **증명 개요 (필요조건)**: 위상동등성 변환 \(h_{1}\) 은 \(f\) 의 레벨 집합을 그대로 보존하므로, 경계 레프 그래프와 모든 임계·반정규 레벨 성분을 일대일 대응시킨다. 따라서 \(h_{1}\) 는 \(P(f)\) 를 \(P(g)\) 로 보낸다. 방향성은 \(h_{1}\) 의 orientation‑preserving 성질에 의해 유지되고, 함수값 순서는 \(h_{2}\) 에 의해 보존되므로 부분 순서도 유지된다. - **증명 개요 (충분조건)**: 주어진 그래프 동형 \(\varphi\) 를 이용해, 각 트리 \(\Psi_{i}\) 와 \(q(f)\) 에 대응되는 영역 \(\Theta\) 위에 \(h_{1}\) 을 조각별로 정의한다. 각 \(\Theta\) 내에서는 \(f\) 와 \(g\) 가 정규함이므로, 표준적인 \(\operatorname{Re}z\) 좌표 변환을 통해 연속적인 \(h_{1}\) 을 만들 수 있다. 경계 \(q(f)\) 와 \(q(g)\) 는 원형이므로, \(\varphi\) 가 정의한 순환 순서를 따라 \(h_{1}\) 을 확장한다. 마지막으로 \(h_{2}\) 는 \(f\) 값과 \(g\) 값을 정렬하는 단조 증가 함수로 정의한다. 이렇게 구성된 \(h_{1},h_{2}\) 는 요구된 위상동등성을 만족한다. **5. 논의 및 향후 과제** - **새로운 불변량의 장점**: 기존 레프 그래프가 경계 정보를 놓치는 문제를 보완하고, 새들점들의 트리 구조를 명시적으로 포함한다. 부분 순서를 통해 함수값의 전역 비교를 그래프 수준에서 구현한다. - **제한점**: 논문은 구체적인 알고리즘(예: \(P(f)\) 구성 절차)이나 복잡도 분석을 제시하지 않는다. 또한 다중 새들점(같은 레벨에 여러 새들점이 존재)이나 고차원 매니폴드로의 일반화에 대한 논의가 부족하다. - **가능한 확장**: (i) \(P(f)\) 구성을 자동화하는 컴퓨터 구현, (ii) 경계가 복잡한 다중 구멍 영역에 대한 적용, (iii) 새들점이 아닌 다른 종류의 비정규점(예: 극점) 포함, (iv) 고차원 \(M^{n}\) 위의 의사조화함수에 대한 조합 다이어그램 이론 확장 등이 있다. 결론적으로, 저자는 조합 다이어그램 \(P(f)\) 이라는 새로운 위상 불변량을 도입해, 원판 위 의사조화함수의 위상동등성을 완전하게 판정할 수 있음을 증명하였다. 이는 함수의 레벨 구조와 경계 정보를 동시에 포착하는 강력한 도구로, 향후 위상학적 함수 분류 연구에 유용한 기반을 제공한다.