다중 거리공간의 곱과 초거리공간의 새로운 특징

초록

본 논문은 두 개 이상의 거리공간을 카테시안 곱으로 결합했을 때의 커버링 수와 패킹 수의 관계를 분석하고, 이러한 곱이 초거리공간(ultrametric space)이 되기 위한 필요충분조건을 제시한다. 특히, 최대 거리(maximum metric)와 합 거리(sum metric) 하에서의 곱공간이 초거리공간이 되는 경우를 구분하고, 커버링·패킹 수의 동등성으로 초거리공간을 특징짓는 새로운 정리를 도출한다.

상세 분석

논문은 먼저 거리공간 ((X,d_X))와 ((Y,d_Y))의 카테시안 곱 (X\times Y)에 자연스럽게 정의될 수 있는 두 가지 표준 메트릭, 즉 (\rho_{\infty}((x_1,y_1),(x_2,y_2))=\max{d_X(x_1,x_2),d_Y(y_1,y_2)})와 (\rho_{1}((x_1,y_1),(x_2,y_2))=d_X(x_1,x_2)+d_Y(y_1,y_2))를 고려한다. 이 두 메트릭은 각각 “최대 거리”와 “합 거리”라고 불리며, 일반적인 경우에는 둘 다 일반 메트릭이지만 초거리공간의 정의를 만족하지 않는다. 초거리공간은 삼각 부등식이 강하게 (,d(x,z)\le\max{d(x,y),d(y,z)}) 로 제한되는 특수한 구조를 가지고 있다. 따라서 곱공간이 초거리공간이 되려면 메트릭 선택이 매우 제한적이다.

저자는 먼저 커버링 수 (N_{\varepsilon}(X))와 패킹 수 (M_{\varepsilon}(X))를 정의하고, 일반 메트릭 공간에서 이 두 수는 보통 (M_{\varepsilon}(X)\le N_{\varepsilon}(X)\le M_{\varepsilon/2}(X)) 와 같은 불평등 관계를 만족한다는 사실을 상기한다. 초거리공간에서는 이 관계가 더욱 강해져서 모든 (\varepsilon>0)에 대해 (N_{\varepsilon}(X)=M_{\varepsilon}(X)) 가 성립한다는 기존 결과를 인용한다. 이는 초거리공간이 “동일 반경의 볼이 겹치지 않으면 바로 커버가 된다”는 직관과 일치한다.

핵심 정리는 다음과 같다. 두 초거리공간 ((X,d_X)), ((Y,d_Y))에 대해 (\rho_{\infty}) 로 정의된 곱공간 ((X\times Y,\rho_{\infty}))는 다시 초거리공간이 된다. 증명은 삼각 부등식의 강한 형태가 (\max) 연산에 대해 보존된다는 점을 이용한다. 반면 (\rho_{1}) 로 정의된 곱공간은 일반적으로 초거리공간이 아니며, 초거리성을 유지하려면 하나의 인자 공간이 단일점이거나, 두 공간 중 하나가 이산적이고 특정 스케일에서만 비어 있지 않은 경우에만 가능함을 보인다. 특히, 저자는 “모든 (\varepsilon)에 대해 (N_{\varepsilon}(X\times Y)=M_{\varepsilon}(X\times Y))” 라는 조건이 (\rho_{1}) 하에서 초거리성을 강제한다는 역정리를 제시한다.

다음으로 저자는 커버링·패킹 수의 곱공간에 대한 정확한 공식들을 도출한다. (\rho_{\infty}) 하에서는
\