[论文解读] 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|Mar 30, 2008

Advanced Topology and Set Theory参考文献 16被引用 8

一句话总结

本文建立了乌里索恩普遍度量空间两个基本性质之间的等价性：局部有限等距群的稠密性（定理 A）与部分等距的全局化（定理 G）。它通过一种新颖的‘台球引理’，对适定距离矩阵使用，提供了定理 G 的构造性证明——即在更大的有限度量空间中，将有限度量空间的每个部分等距扩展为全局等距——从而强化了乌里索恩空间的齐性，并实现了平移不变普遍距离矩阵的新构造。

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}.

研究动机与目标

• 建立乌里索恩空间等距群的有限逼近与有限度量空间中部分等距全局化之间的等价性。
• 对先前宣布但未证明的定理 G 提供构造性证明——即在更大的有限度量空间中，将部分等距扩展为全局等距。
• 通过证明乌里索恩空间可容纳不可数多个非同构的单生成群结构且具有不变度量，从而强化其齐性性质。
• 利用适定向量的台球引理，提供一种新且清晰的普遍平移不变距离矩阵的构造方法。

提出的方法

• 引入有限距离矩阵的‘适定向量’概念，其由涉及向量元素差与和的度量不等式定义。
• 提出‘台球引理’，通过一系列中间向量连接任意两个适定向量，同时在迭代列扩展过程中保持托普利茨结构。
• 利用台球引理，通过依次嵌入所有适定向量并插入中间的‘台球片段’，以确保度量一致性，从而构造普遍托普利茨距离矩阵。
• 将该构造应用于证明通过平移不变距离矩阵存在乌里索恩空间上的普遍不变度量。
• 利用部分等距的逆半群结构与全等距的群结构，分析全局化过程。
• 依赖乌里索恩空间的普遍性与齐性，确保每个有限度量空间可等距嵌入到更大的空间中，使得部分等距可全局化。

实验结果

研究问题

• RQ1 每个有限度量空间的部分等距是否总能在更大的有限度量空间中扩展为全局等距？
• RQ2 乌里索恩空间等距群中局部有限子群的稠密性与部分等距的全局化之间有何关系？
• RQ3 如何利用有限维适定向量构造乌里索恩空间的普遍平移不变距离矩阵？
• RQ4 乌里索恩空间具备何种结构性质，使其能支持不可数多个非同构的单生成群结构且具有不变度量？

主要发现

• 通过台球引理，定理 G（部分等距的全局化）得到了构造性证明，解决了 2005 年提出的但此前未被证明的断言。
• 本文在乌里索恩空间的背景下，建立了定理 A（等距群的有限逼近）与定理 G（部分等距的全局化）之间的等价性。
• 通过迭代扩展适定向量并利用保持托普利茨条件的台球片段，实现了一种新且清晰的普遍平移不变距离矩阵的构造。
• 乌里索恩空间可容纳不可数多个非同构的单生成群结构，且具有不变度量，无论其基群为 Z 或 R。
• 使得 N 上的度量完成为乌里索恩空间的度量集合，在弱拓扑下是稠密的 Gδ 集。
• 台球引理提供了一种系统方法，通过一系列具有平移坐标的变化中间向量，连接有限距离矩阵中任意两个适定向量，确保度量一致性。