균등볼록노름공간에서의 구역도 존재성 연구

초록

본 논문은 균등 볼록성을 갖는 노름공간의 콤팩트하고 볼록한 부분집합 안에, 서로 겹치지 않는 유한개의 콤팩트 사이트가 주어졌을 때 구역도(zone diagram)의 존재성을 증명한다. 사이트 혹은 전체 영역이 만족하는 약한 조건을 전제로 하며, 증명은 Schauder 고정점 정리와 Curtis‑Schori 정리, 그리고 Voronoi 셀의 기하학적 안정성 결과를 활용한다. 또한 Dom 매핑의 연속성 및 Voronoi 셀의 새로운 성질들을 도출한다.

상세 분석

구역도는 Voronoi 다이어그램을 일반화한 개념으로, 각 사이트에 대해 “자기 영역”이 다른 모든 사이트의 영역에 의해 제한되는 고정점 구조를 가진다. 기존 연구는 주로 유클리드 평면에서 단일점(site)들을 대상으로 존재와 유일성을 보였으며, 고차원 혹은 일반 노름공간에서는 아직 충분히 다루어지지 않았다. 본 논문은 이러한 공백을 메우기 위해, 먼저 균등 볼록성(uniform convexity)이라는 강력한 기하학적 성질을 갖는 노름공간을 선택한다. 균등 볼록성은 두 점 사이의 중점이 원점으로부터 일정 거리 이상 떨어지는 성질을 의미하며, 이는 거리 함수가 강하게 볼록함을 보장한다. 이러한 성질은 Voronoi 셀을 선분들의 집합으로 기술하고, 작은 변동에 대해 셀 구조가 연속적으로 변한다는 ‘기하학적 안정성’ 결과를 적용하는 데 핵심이 된다.

논문의 핵심 전략은 Dom 매핑을 정의하고, 이를 함수공간 상의 연속 사상으로 보는 것이다. Dom 매핑은 각 사이트에 대해 현재 할당된 영역을 입력으로 받아, 그 영역을 다시 Voronoi 셀과 교집합하는 새로운 영역을 출력한다. 이 사상이 정의역을 ‘콤팩트 집합들의 곱공간’으로 한정하면, 이 공간은 Schauder 정리를 적용할 수 있는 완비 볼록 집합이 된다. 특히 Curtis‑Schori 정리를 이용해 이 곱공간이 Hilbert 큐브와 위상동형임을 보임으로써, 고정점 존재에 필요한 연속성 및 압축성 조건을 만족한다.

또한 논문은 두 가지 경우를 구분한다. 첫째, 각 사이트 자체가 ‘내부에 비어 있지 않은 내부점’을 갖는 경우; 둘째, 전체 정의역(볼록 집합)이 ‘내부에 비어 있지 않은 점’을 포함하는 경우. 이 두 조건 중 하나만 만족하면, Dom 매핑은 불변집합을 갖게 되고, 그 불변집합이 바로 구역도이다. 이 과정에서 Voronoi 셀을 선분들의 모임으로 표현함으로써, 셀 경계가 작은 변동에 대해 연속적으로 변한다는 사실을 정량적으로 증명한다. 결과적으로 구역도의 존재가 보장되며, 기존에 알려진 유일성 결과는 아직 일반화되지 않았지만, 존재성 자체가 중요한 첫걸음이 된다.

마지막으로, 논문은 Dom 매핑의 연속성을 독립적인 정리로 제시한다. 이는 Voronoi 셀의 경계가 사이트의 위치 변화에 대해 Lipschitz 연속임을 의미하며, 계산기하학적 알고리즘 설계 시 수치적 안정성을 확보하는 데 직접적인 활용 가능성을 제공한다.