거리 k 섹터 존재 증명

본 논문은 “거리 k‑섹터”라는 개념을 일반화하고 그 존재성을 광범위한 공간에서 증명한다. 거리 k‑섹터는 두 개의 비공집합 P와 Q(‘사이트’) 사이에 k‑1개의 중간 곡선 C₁,…,C_{k‑1}을 두어, 각 C_i가 바로 앞·뒤 집합의 bisector, 즉 dist(z,C_{i‑1})=dist(z,C_{i+1}) 를 만족하도록 정의된다. 기존 연구는 평면에서 점 두 개에 대한 k=3(트리섹터) 존재와 유일성만을 다루었으며, 더 큰 k 혹은 고차원에 대한 결과는 없었다. 저자들은 먼저 ‘지배 영역(dom)’을 도입한다. dom(X,Y)= {z | dist(z,X)≤dist(z,Y)} 로 정의되며, bisect(X,Y)=dom(X,Y)∩dom(Y,X) 로 표현된다. 이를 바탕으로 새로운 구조인 ‘k‑그라데이션’을 정의한다. k‑그라데이션은 (R_i,S_i)_{i=1}^{k‑1} 쌍으로, R_i=dom(R_{i‑1},S_{i+1}), S_i=dom(S_{i+1},R_{i‑1}) 를 만족한다. 여기서 R₀=P, S_k=Q 로 초기화한다. k‑그라데이션이 존재한다면, 각 C_i를 R_i∩S_i 로 두면 바로 거리 k‑섹터가 된다(정리 2). 반대로 거리 k‑섹터가 주어지면 R_i=dom(C_{i‑1},C_{i+1}), S_i=dom(C_{i+1},C_{i‑1}) 로 정의해 k‑그라데이션을 얻을 수 있다. 따라서 두 개념은 일대일 대응한다. k‑그라데이션의 존재는 완전 격자 L 위의 단조 함수 F를 이용해 증명한다. L은 모든 (R_i,S_i) 쌍을 포함하고, 순서 ≤는 R_i⊆R'_i, S_i⊇S'_i 로 정의한다. F는 각 i에 대해 위의 dom 연산을 적용하는 함수이며, 단조성을 갖는다. Knaster–Tarski 고정점 정리에 의해 F는 최소·최대 고정점을 가지며, 그 고정점이 바로 k‑그라데이션이다. 이 증명은 메트릭 공간이 ‘적절(proper)’하고 ‘지오데식(geodesic)’일 때만 bisect가 비공집합임을 이용한다. ‘적절’이란 모든 폐구가 콤팩트함을 의미하고, ‘지오데식’이란 두 점 사이에 길이가 최소인 곡선(메트릭 세그먼트)이 존재함을 뜻한다. 유클리드 공간은 물론, 볼록한 노름을 가진 공간, 구면 등도 이 조건을 만족한다. 반면, 일반적인 메트릭에서는 trisector가 존재하지 않을 수 있음을 예시(특수한 거리 함수 f(r) 정의)로 보여준다. 유일성에 관해서는, 기존 연구가 유클리드 평면의 점 두 개에 대해 k=3일 때 유일성을 증명했지만, ℓ₁ 거리에서는 다중 trisector가 존재한다는 그림(그림 3)과 설명을 제공한다. 따라서 일반 메트릭에서는 추가적인 기하학적 가정(예: 엄격히 볼록한 노름) 없이는 유일성을 기대하기 어렵다. 구성적 접근법도 제시한다. 초기 (R⁰_i,S⁰_i) 를 잡고, F를 반복 적용하면 단조 증가하는 연쇄 (Rⁿ_i,Sⁿ_i) 가 생성된다. 이 연쇄는 상한을 향해 수렴하고, 그 상한은 고정점이 된다. 수렴 속도에 대한 이론적 보장은 없지만, 유클리드 공간에서 실험적으로 빠른 수렴을 보이며, 실제 k‑섹터를 근사하는 데 유용함을 보여준다. 결론적으로, 논문은 거리 k‑섹터가 모든 적절한 지오데식 메트릭 공간에서 존재함을 일반화하고, 이를 위해 격자 이론과 고정점 정리를 결합한 새로운 증명 기법을 도입했다. 또한, k‑그라데이션이라는 중간 구조를 통해 기존의 ‘존재‑유일성’ 문제를 명확히 구분하고, 실제 계산을 위한 반복 알고리즘까지 제시함으로써 이론과 실용 양면에서 의미 있는 기여를 한다.