힐베르트 영역과 노름 벡터 공간의 준동형성

본 논문은 힐베르트 영역 \((C,d_C)\)과 일반적인 노름 벡터 공간 \((V,\|\cdot\|)\) 사이의 준동형 관계를 조사한다. 힐베르트 영역은 \(\mathbb R^m\)의 열린 볼록 집합 \(C\) 위에 정의된 거리 \(d_C\)로, 두 점 \(p,q\in C\) 사이의 거리값은 그들을 연결하는 직선이 경계와 만나는 두 점 \(a,b\)를 이용해 \(\displaystyle d_C(p,q)=\frac12\ln\frac{|a-p||b-q|}{|a-q||b-p|}\) 로 주어진다. 이 거리공간은 완비이며, 경계 \(\partial C\)의 선분은 모두 길이 1인 직선 지오데시와 동형이다. 힐베르트 기하학은 비유클리드 기하와 Finsler 기하 사이의 다리 역할을 해왔으며, 특히 닫힌 집합이 단순체일 때는 하이퍼볼릭 공간의 Klein 모델과 동형이 된다. 기존 연구에서는 다음과 같은 세 가지 주요 정리가 알려져 있다. 첫째, 힐베르트 영역이 노름 공간과 정확히 동형이면 \(C\)는 단순체의 내부이다 (Theorem 1.1). 둘째, 2차원에서 \(C\)가 다각형이면 \((C,d_C)\)는 유클리드 평면과 Lipschitz 동등함을 보였다 (Theorem 1.2). 셋째, 고차원에서도 \(\overline C\)가 다면체이면 \((C,d_C)\)는 유클리드 \(m\)차원 공간과 Lipschitz 동등함을 만족한다 (Theorem 1.3). 이러한 결과들은 “동형”이라는 강한 조건 하에서만 성립한다는 한계가 있다. 논문은 이 한계를 넘어 “준동형”(quasi‑isometry)이라는 약한 등가 관계 하에서도 구조적 제약을 얻을 수 있음을 증명한다. 구체적으로, (A,B)‑준동형 사상 \(f:C\to V\)가 존재한다면, 즉 \