준거리공간에서의 측지문제와 최적 수송 경로

초록

이 논문은 삼각 부등식이 완화된 ‘준거리(Quasimetric)’ 공간에서 측지(geodesic) 문제를 연구한다. 기존 메트릭 공간에서 성립하는 Ascoli‑Arzelà 정리 등 주요 결과가 준거리에서도 유지됨을 보이고, 특정 조건 하에 준거리가 내재적 메트릭을 유도함을 증명한다. 특히 원자 확률 측도 공간에 정의된 새로운 준거리 계열을 도입하고, 이들로부터 유도된 내재 메트릭이 기존의 $d_{\alpha}$ 메트릭과 일치함을 확인한다. 최적 수송 경로는 이러한 내재 메트릭 공간에서 측지 곡선으로 나타나며, 이는 나뭇가지 형태의 분기 구조를 갖는다.

상세 분석

논문은 먼저 $\sigma\ge 1$이라는 상수를 이용해 $d(x,y)\le \sigma\bigl(d(x,z)+d(z,y)\bigr)$ 를 만족하는 거리 함수 $d$를 정의함으로써 ‘준거리 공간(quasimetric space)’을 정형화한다. 이 정의는 전통적인 삼각 부등식($\sigma=1$)을 일반화한 것으로, 비대칭성이나 확장성을 허용한다는 점에서 기존 메트릭 이론과 차별된다. 저자는 이러한 공간에서도 연속함수의 등등거리 집합이 콤팩트함을 보이는 Ascoli‑Arzelà 정리의 준거리 버전을 증명한다. 핵심은 $\sigma$‑제한을 이용해 균등 연속성 및 점별 유계성을 적절히 제어함으로써, 전통적인 증명 흐름을 크게 변형하지 않고도 동일한 결론을 도출할 수 있다는 점이다.

다음으로, 준거리 $d$가 ‘내재적(intrinsic)’ 메트릭 $d_{\mathrm{int}}$를 유도할 수 있는 충분조건을 탐구한다. 여기서 내재적 메트릭은 두 점 사이의 거리 정의를 ‘길이 최소화’ 관점에서 재구성한 것으로, $d_{\mathrm{int}}(x,y)=\inf_{\gamma}\int_0^1 d(\gamma(t),\gamma(t+dt))$ 와 같이 정의된다. 저자는 $d$가 완비이며, 모든 Cauchy 연속 경로가 수렴하는 ‘완비 준거리 공간’일 때 $d_{\mathrm{int}}$가 실제 메트릭이 됨을 보인다. 특히, $\sigma$‑제한이 경로 길이의 하한을 보장하므로, 경로 길이 함수가 삼각 부등식을 만족하게 된다.

핵심 응용 사례로 원자 확률 측도 $\mathcal{A}$ 위에 정의된 새로운 준거리 계열 $d_{\alpha}^{\mathrm{q}}$ 를 제시한다. 여기서 $\alpha\in