[논문 리뷰] Globalization of the partial isometries of metric spaces and local approximation of the group of isometries of the Urysohn space

A. M. Vershik|ArXiv.org|2008. 03. 30.

Advanced Topology and Set Theory참고 문헌 16인용 수 8

한 줄 요약

이 논문은 우리소프 보편 거리 공간의 두 기본 성질 간의 동치성을 증명한다: 국소 유한 이sovmetry 군의 조밀성(정리 A)과 국소 이sovmetry의 전역화(정리 G). 정리 G에 대한 구조적 증명을 제공하며, 이는 유한 거리 공간의 국소 이sovmetry를 더 큰 유한 거리 공간에서 전역 이sovmetry로 확장하는 데 사용되는 새로운 'billiard 레미나'를 활용한다. 이는 우리소프 공간의 동질성 강화와 함께, 이동 불변 보편 거리 행렬의 새로운 구성법을 가능하게 한다.

ABSTRACT

We prove the equivalence of the two important facts about finite metric spaces and universal Urysohn metric spaces $\Bbb U$, namely theorem A and theorem B below: Theorem A (Approximation): The group of isometry $ISO(\Bbb U)$ contains everywhere dense locally finite subgroup; Theorem G(Globalization): For each finite metric space $F$ there exists another finite metric space $\bar F$ and isometric imbedding $j$ of $F$ to $\bar F$ such that isometry $j$ induces the imbedding of the group monomorphism of the group of isometries of the space $F$ to the group of isometries of space $\bar F$ and each partial isometry of $F$ can be extended up to global isometry in $\bar F$. The fact that theorem $G$, is true was announced in 2005 by author without proof, and was proved by S.Solecki in \cite{Sol} (see also \cite{P,P1}) based on the previous complicate results of other authors. The theorem is generalization of the Hrushevski's theorem about the globalization of the partial isomorphisms of finite graphs. We intend to give a constructive proof in the same spirit for metric spaces elsewhere. We also give the strengthening of homogeneity of Urysohn space and in the last paragraph we gave a short survey of the various constructions of Urysohn space including the new proof of the construction of shift invariant universal distance matrix from \cite{CV}.

연구 동기 및 목표

• 우리소프 공간의 이sovmetry 군의 유한 근사와 유한 거리 공간 내 국소 이sovmetry의 전역화 사이의 동치성을 확립하는 것.
• 이전에 발표되었으나 증명되지 않은 정리 G에 대한 구조적 증명을 제공하는 것—즉, 국소 이sovmetry를 더 큰 유한 거리 공간에서 전역 이sovmetry로 확장하는 것.
• 우리소프 공간이 불가측한 수의 비동형 단일 생성 원소 군 구조(불변 거리가 있는)를 지닌다는 것을 보여, 이 공간의 동질성 성질을 강화하는 것.
• 유한 차원 거리 행렬 내의 허용 가능한 벡터에 대한 billiard 레미나를 활용해 이동 불변 보편 거리 행렬의 새로운 투명한 구성법을 제공하는 것.

제안 방법

• 유한 거리 행렬에 대한 '허용 가능한 벡터'의 개념을 도입하며, 이는 벡터 성분 간의 차와 합을 포함하는 거리 부등식으로 정의된다.
• 임의의 두 허용 가능한 벡터를 중간 벡터의 열거를 통해 연결하는 'billiard 레미나'를 개발하며, 반복적 열 확장을 통해 토플리츠 구조를 유지한다.
• billiard 레미나를 활용해 모든 허용 가능한 벡터를 순차적으로 통합하고, 중간 'billiard 조각'을 통해 거리 일관성을 확보함으로써 보편적인 토플리츠 거리 행렬을 구성한다.
• 이 구성법을 적용해 이동 불변 거리 행렬을 통해 우리소프 공간 위에 보편적인 불변 거리가 존재함을 증명한다.
• 국소 이sovmetry의 역반군 구조와 전역 이sovmetry의 군 구조를 활용해 전역화 과정을 분석한다.
• 우리소프 공간의 보편성과 동질성 덕분에, 모든 유한 거리 공간이 국소 이sovmetry가 전역으로 확장될 수 있는 더 큰 공간에 등급적으로 통합됨을 보장한다.

실험 결과

연구 질문

• RQ1 모든 유한 거리 공간의 국소 이sovmetry는 더 큰 유한 거리 공간에서 전역 이sovmetry로 확장될 수 있는가?
• RQ2 우리소프 공간의 이sovmetry 군 내 국소 유한 부분군의 조밀성과 국소 이sovmetry의 전역화 사이의 관계는 무엇인가?
• RQ3 유한 차원 허용 가능한 벡터를 활용해 우리소프 공간에 대해 보편적인 이동 불변 거리 행렬을 어떻게 구성할 수 있는가?
• RQ4 우리소프 공간이 Z와 R을 기본 군으로 삼는 불가측한 수의 비동형 단일 생성 원소 군 구조(불변 거리가 있는)를 지닐 수 있는 구조적 성질은 무엇인가?

주요 결과

• 정리 G—국소 이sovmetry의 전역화—는 billiard 레미나를 활용해 구조적으로 증명되었으며, 2005년에 발표되었으나 증명되지 않은 주장이 해결되었다.
• 논문은 우리소프 공간의 맥락에서 정리 A(이sovmetry 군의 유한 근사)와 정리 G(국소 이sovmetry의 전역화) 간의 동치성을 확립한다.
• 허용 가능한 벡터를 반복적으로 확장하면서 토플리츠 조건을 유지하는 billiard 조각을 활용해, 보편적인 이동 불변 거리 행렬을 투명하게 구성하였다.
• 우리소프 공간은 Z와 R을 기본 군으로 삼는 불가측한 수의 비동형 단일 생성 원소 군 구조(불변 거리가 있는)를 지닌다.
• 완전화가 우리소프 공간과 등급적인 유계 거리 행렬의 집합은 약한 위상에서 조밀한 Gδ 집합이다.
• billiard 레미나는 유한 거리 행렬 내 임의의 두 허용 가능한 벡터를 이동 좌표를 가진 중간 벡터의 열거를 통해 연결하는 체계적인 방법을 제공하며, 거리 일관성을 보장한다.