다각형 힐베르트 기하학의 리프시츠 동형성

초록

본 논문은 볼록 집합의 힐베르트 기하가 노름 벡터공간과 양쪽 리프시츠 동형이 되려면 그 집합이 반드시 다각형이어야 함을 증명한다. 충분조건과 필요조건을 각각 구성하고, 다각형인 경우 명시적인 리프시츠 사상과 상수들을 제공한다.

상세 분석

힐베르트 기하학은 볼록 영역 Ω⊂ℝⁿ에 정의되는 프로젝트적 거리 d_H로, 각 점 사이의 거리는 Ω의 경계와 연결된 두 직선의 교점 비율로 측정된다. 이 거리 공간은 일반적으로 Finsler 구조를 가지며, 곡률이 일정하지 않아 리프시츠 등거리와 직접 비교하기 어렵다. 논문은 먼저 d_H가 완비이고, Ω가 유한 부피를 가질 때는 비유클리드적 특성을 보인다는 사실을 상기한다.

주된 정리는 “Ω의 힐베르트 기하가 어떤 실수 노름 ‖·‖에 대해 양쪽 리프시츠 동형이면 Ω는 다각형이다”이며, 그 역도 성립한다. 필요조건 증명에서는 리프시츠 사상이 미분가능한 거의 모든 점에서 선형 근사를 갖는다는 점을 이용한다. 만약 Ω가 다각형이 아니라면, 경계에 매끄러운 곡면 부분이 존재하고, 그 근방에서는 힐베르트 거리의 비율이 무한대로 발산한다. 이는 리프시츠 상수 C가 존재할 수 없음을 의미한다. 구체적으로, 경계의 곡률이 양수인 구간에서는 거리의 미분형이 무한히 커져, 노름 거리와의 비교가 불가능해진다.

반대로 충분조건을 보일 때는 Ω가 다각형이라는 가정 하에, 각 면에 대한 지원 함수와 대응하는 외접 다면체를 구성한다. 각 면마다 선형 사상 A_i를 정의하여, Ω를 각 면에 평행 이동·확대한 표준 단위 볼록체와 대응시킨다. 그런 다음 전체 Ω에 대해 조각별로 정의된 사상들을 매끄럽게 연결해 전역 사상 f:Ω→ℝⁿ을 만든다. 이 사상은 각 조각에서 선형이므로 미분가능하고, 전역적으로는 Lipschitz 상수 L₁, L₂가 존재한다는 것을 보인다. 특히, 다각형의 각 꼭짓점 근처에서는 사상이 원점으로 수축되지 않도록 적절히 스케일을 조정한다. 결과적으로 d_H(x,y)와 ‖f(x)-f(y)‖ 사이에 C⁻¹‖·‖ ≤ d_H ≤ C‖·‖ 형태의 양쪽 리프시츠 부등식이 성립한다.

핵심 기술은 (1) 힐베르트 거리의 미분 형식인 Hilbert–Finsler 메트릭을 다각형의 각 면에 대해 명시적으로 계산하고, (2) 다면체의 John ellipsoid을 이용해 노름과의 비교 상수를 얻으며, (3) 조각별 선형 사상의 경계 일치를 보장하기 위해 partition of unity 기법을 변형한 것을 들 수 있다. 이러한 접근법은 기존에 알려진 “볼록 체가 리프시츠 동형이면 꼭짓점이 유한해야 한다”는 결과를 일반화하고, 다각형인 경우에만 최적의 상수를 얻을 수 있음을 보여준다.

이 논문은 또한 힐베르트 기하와 Banach–Mazur 거리 사이의 관계를 언급하며, 다각형이 아닌 경우에는 Banach–Mazur 거리와의 비교가 무한대로 발산함을 시사한다. 따라서 다각형이라는 기하학적 제약이 리프시츠 동형성의 필요충분조건임을 정확히 규정한다.