유클리드 공간 부분집합의 점근적 크기

초록

본 논문은 유한 거리공간에 정의되는 ‘크기(magnitude)’ 개념을 확장하여, 유클리드 공간의 선분, 원, 그리고 중간집합(Cantor set)과 같은 컴팩트 집합에 대한 점근적 크기를 정의하고 계산한다. 유한 점들의 근사열을 이용해 극한을 취함으로써 연속적인 집합에 대한 크기를 정당화하고, 그 결과가 고차원에서의 내재 부피(intrinsic volumes)와 포함‑배제 원리를 만족함을 보인다.

상세 분석

논문은 먼저 유한 메트릭 공간에 대해 카테고리 이론에서 유도된 ‘크기’라는 수량을 소개한다. 크기는 거리 행렬 Z의 역행렬의 모든 원소의 합으로 정의되며, 이는 거리 함수가 변함에 따라 자연스럽게 변하는 일종의 ‘가중된 카드inality’ 역할을 한다. 저자는 이 정의를 컴팩트한 연속 집합에 적용하기 위해, 해당 집합을 점점 더 촘촘한 유한 점들의 집합으로 근사한다. 이때 사용되는 근사열은 Hausdorff 거리 기준으로 수렴하도록 선택되며, 각 유한 근사에 대한 크기를 계산한 뒤 극한을 취한다.

선분의 경우, 길이 L인 구간을 N개의 등간격 점들로 나누어 Z 행렬을 구성하면, 역행렬의 합은 L에 비례하는 항과 1/2와 같은 상수항을 포함한다. N→∞ 극한을 취하면 크기 m(L)=L+½가 얻어진다. 이는 직관적으로 선분의 ‘길이’와 ‘끝점’ 두 가지 기하학적 특성을 동시에 반영한다는 의미이다.

원에 대해서는 반지름 R인 원주를 N개의 점으로 균등하게 배치한다. 계산 과정에서 복소수 형태의 거리 행렬을 이용해 고유값을 분석하면, 극한에서 m(R)=πR²+R가 도출된다. 여기서 πR²는 원의 면적, R은 원주 길이와 연관된 1차 항으로, 포함‑배제 원리와 일치한다.

중간집합(Cantor set)의 경우, 자가유사 구조를 활용한다. 기본 구간을 3등분하고 가운데 구간을 제거하는 과정을 무한히 반복하는데, 각 단계에서 얻어지는 유한 점 집합의 크기를 재귀적으로 계산한다. 이때 크기는 m(C)=∑_{k=0}^{∞} (2/3)^{k}·(1/2)와 같이 수렴하며, 최종적으로 m(C)=1/2·(1/(1-2/3))=3/4 정도의 값을 가진다. 이는 중간집합의 ‘프랙탈 차원’과 직접적인 연관성을 보여준다.

가장 중요한 결과는 이러한 점근적 크기들이 고차원에서의 내재 부피와 정확히 일치한다는 점이다. 즉, n차원 유클리드 공간의 폴리컨벡스 집합에 대해 크기는 V₀+V₁+…+Vₙ 형태로 전개되며, 여기서 V_k는 k차 내재 부피이다. 이는 기존에 알려진 볼츠만-마이어스-스톤(BMS) 정리와 유사한 포함‑배제 관계를 만족한다는 것을 의미한다. 저자는 이를 통해 크기 개념이 단순히 이산 구조에 국한되지 않고, 연속 기하학과 프랙탈 이론까지 포괄하는 보편적인 측정 도구가 될 가능성을 제시한다.