Year: 2026
Type: preprint
Abstract: This work studies modifications of the Gromov--Hausdorff distance in which the infimum is taken over pairs of morphisms of a given class $\FF$ --- the class of morphisms of a subcategory of the category of metric spaces (the $\FF$-Gromov--Hausdorff distance). We prove that the $\FF$-distance depends Lipschitz-continuously on the class $\FF$ in the Hausdorff metric on morphisms. As a consequence, for second countable $C^k$-manifolds equipped with a metric compatible with the topology, the smooth distance coincides with the continuous one: $\dGH{C_k} = \dGH{C}$. We also introduce the partially continuous and partially locally constant distances (continuity is weakened to continuity on an open subset of the support of full measure) and prove that on the class of metric spaces they coincide with the classical Gromov--Hausdorff distance.
Source: arXiv (Cornell University)
Author: Vikhrov, A. A.
Language: English
Subfield: Applied Mathematics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Funder: Russian Science Foundation
OpenAlex ID: W7214016965