谁发明了 Gromov-Hausdorff 距离？

度量几何中最优美的概念之一是用于衡量两个度量空间之间差异的 Gromov-Hausdorff 距离。为了定义该距离，我们将这些空间等距嵌入到各种度量空间中，并测量它们像之间的 Hausdorff 距离。最佳匹配对应于最小的 Hausdorff 距离。这种比较度量空间的想法在 M. Gromov 早在 1981 年的出版物中已有描述。研究表明，该距离限制在紧度量空间的等距类上构成一个度量，现在称为 Gromov-Hausdorff 度量。然而，M. Gromov 是否是引入该度量的第一人？事实是，在 Gromov 这些工作之前 6 年，即 1975 年，另一位数学家 David Edwards 发表了一篇论文，其中以另一种方式定义了该度量。此外，Edwards 发现并证明了该距离的基本性质。几乎没有人提及这篇 Edwards 的论文，包括度量几何领域的知名专家，这似乎有失公平。本出版的主要目标是填补这一空白。