양정도 공간과 크기의 새로운 통찰

초록

본 논문은 양정도(metric positive definite) 공간이라는 개념을 도입하고, 이들에 대해 정의된 여러 종류의 크기(magnitude) 개념이 모두 일치함을 증명한다. 또한 양정도 공간의 구조적 특성을 분석하고, ℓₚⁿ (p≤2) 에서의 컴팩트 부분집합에 대한 크기 계산 결과를 확장한다.

상세 분석

양정도(metric positive definite) 공간은 거리 행렬을 커널로 보았을 때 모든 유한 부분집합에 대해 양정(positive definite)인 행렬을 만든다. 이는 기존의 ‘음의 유형(negative type)’ 개념을 일반화한 것으로, 음의 유형이란 거리의 제곱이 조건부 부정정(negative semidefinite)인 경우를 말한다. 양정도 조건은 보다 강력하여, 거리 함수 d(x,y) 에 대해 exp(−t·d(x,y)) 와 같은 커널이 모든 t>0 에 대해 양정임을 보장한다. 이러한 특성은 크기(magnitude) 정의에 핵심적인 역할을 한다.

크기는 원래 유한 집합의 기수와 위상공간의 오일러 특성 사이의 유사성을 포착하려는 시도에서 출발했으며, 거리 행렬 Z에 대한 역행렬을 이용해 Z·w=1 의 해 w 를 구하고, 그 합 Σw_i 를 크기로 정의한다. 그러나 일반적인 거리 공간에서는 Z 가 가역이 아니거나 역행렬이 존재하지 않을 수 있어 정의가 모호해진다. 양정도 공간에서는 Z 가 항상 양정이므로 가역이며, 따라서 크기가 유일하게 정의된다.

논문은 먼저 세 가지 기존 정의—(1) 유한 집합에 대한 선형대수적 정의, (2) 무한 공간에 대한 제한극한 정의, (3) 측도 이론을 이용한 적분 정의—가 모두 컴팩트 양정도 공간에서 동일함을 증명한다. 핵심 아이디어는 양정도 행렬의 고유값이 모두 양수임을 이용해 행렬의 역을 연속적으로 근사하고, 이 근사 과정이 공간의 콤팩트성 아래에서 균등 수렴한다는 점이다.

또한 저자는 ℓₚⁿ (p≤2) 에서의 양정도성을 조사한다. p=1,2 경우는 이미 알려진 바와 같이 거리 행렬이 양정이지만, p<2 에 대해서는 새로운 부등식과 볼록성 분석을 통해 양정도성을 입증한다. 이를 바탕으로 ℓₚⁿ 의 컴팩트 부분집합에 대한 크기 함수를 명시적으로 계산하거나 상한·하한을 제공한다. 특히, 구형(볼)과 단순한 다면체에 대해 p가 2에 가까워질수록 크기가 유클리드 경우와 연속적으로 연결되는 현상을 보인다.

마지막으로, 크기의 연속성, 단조성, 그리고 스케일 변환에 대한 일반적 성질을 정리한다. 양정도 공간에서는 크기가 거리 스케일 t에 대해 완전 단조 감소함을 보이며, t→0⁺ 일 때는 집합의 기수에 수렴하고, t→∞ 일 때는 집합의 ‘효과적 차원(effective dimension)’에 관련된 상수로 수렴한다는 결과를 얻는다. 이러한 결과는 크기가 거리 공간의 미세구조와 거시적 차원을 동시에 포착한다는 직관을 수학적으로 뒷받침한다.