준동형 거리: 고르몽 하우스도와 새로운 위상 구조

초록

본 논문은 고르몽‑하우스도와 유사하지만 비압축적인 공간까지 비교할 수 있는 ‘준동형 거리’를 정의하고, 이 거리로 만든 위상·코스 구조가 기존의 고르몽‑하우스도와 동등함을 보이며, 모든 거리공간이 유한 길이의 경로로 연결될 수 있음을 증명한다.

상세 분석

논문은 먼저 고전적인 고르몽‑하우스도(d_GH)의 정의와 한계점을 짚는다. 비압축적(non‑compact) 공간에서는 d_GH가 무한이 되거나, 점을 고정한 수렴이 코스 구조를 보존하지 못한다는 문제가 있다. 이를 보완하기 위해 저자는 (A,B,C)‑준동형(quasi‑isometry) 개념을 이용해 새로운 거리 ˆd를 정의한다. ˆd(X,Y)=inf{r>0 | X와 Y가 (1+r, r, r)‑준동형}이며, 이는 대칭적이지만 삼각 부등식을 만족하지 않는다. 핵심은 ‘준동형 왜곡(quasi‑isometric distortion)’을 정의해 대응(correspondence) 위에 적용함으로써 ˆd를 대응의 왜곡으로 표현한다는 점이다. 이 접근법을 통해 다음을 증명한다. 첫째, d_GH가 유한하면 ˆd도 유한하고, 실제로 ˆd ≤ 4·d_GH (Corollary 3.6). 둘째, ˆd가 0이면 두 공간은 정확히 준동형이며, 이는 기존의 동형(등거리) 관계와는 별개의 동치관계이다. 셋째, ˆd‑수렴(X_k →_q Y)에서는 A_k→1, B_k→0, C_k→0인 (A_k,B_k,C_k)‑준동형이 존재하므로, 기존 고르몽‑하우스도 수렴이 보장하는 여러 위상·측정적 성질(총경계성, 가산성, 완비성, 내재 거리 등)이 그대로 Y에 전달된다 (Corollary 3.8). 넷째, ˆd는 자체적으로 메트릭이 아니지만, 같은 위상과 코스 구조를 갖는 일반화 메트릭 D를 구성한다 (Proposition 5.3, 5.4). D와 ˆd 사이의 상호 추정식 ˆd=r ⇒ D≤ln(1+2r), D=r ⇒ ˆd≤e^{2r}−e^{r}을 통해 두 거리 체계가 동등함을 확인한다. 마지막으로, 임의의 두 거리공간 X, Y에 대해 대응 R의 왜곡이 r 이하이면 R_t (t∈