Related papers: Formalizing the Gromov-Hausdorff space
This is a pedagogical introduction covering maps of metric spaces, Gromov-Hausdorff distance and its "physical" meaning, and dilation structures as a convenient simplification of an exhaustive database of maps of a metric space into…
The paper studies the class of all metric spaces considered up to zero Gromov-Hausdorff distance between them. In this class, we examine clouds - classes of spaces situated at finite Gromov-Hausdorff distances from a reference space. We…
In this paper we prove that generic metric spaces are everywhere dense in the proper class of all metric spaces endowed with the Gromov-Hausdorff distance.
In the present paper we investigate geometric characteristics of compact metric spaces, which can be described in terms of Gromov-Hausdorff distances to simplexes, i.e., to finite metric spaces such that all their nonzero distances are…
In this paper geometry of Gromov-Hausdorff distance on the class of all metric spaces considered up to an isometry is investigated. For this class continuous curves and their lengths are defined, and it is shown that the Gromov-Hausdorff…
\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are…
We establish universality and ultra-homogeneity of $(\mathcal{U},u_\mathrm{GH})$, the collection of all compact ultrametric spaces endowed with the so-called Gromov-Hausdorff ultrametric. This result also gives rise to a novel construction…
It is shown that for any two compact metric spaces there exists an "optimal" correspondence which the Gromov-Hausdorff distance is attained at. Each such correspondence generates isometric embeddings of these spaces into a compact metric…
The present article addresses to everyone who starts working with (pointed) Gromov-Hausdorff convergence. In the major part, both Gromov-Hausdorff convergence of compact and of pointed metric spaces are introduced and investigated.…
For each arbitrary finite group $G$, we consider a suitable notion of Gromov Hausdorff distance between compact $G$ metric spaces and derive lower bounds based on equivariant topology methods. As applications, we prove equivariant rigidity…
In this paper, we introduce a pseudometric on the family of isometry classes of (extended) metric spaces. Using it, we obtain a natural compactification of the Gromov-Hausdorff space, which is compatible with ultralimit.
In this paper we study the space $\mathcal{M}$ of all nonempty compact metric spaces considered up to isometry, equipped with the Gromov--Hausdorff distance. We show that each ball in $\mathcal{M}$ with center at the one-point space is…
In this paper, we introduce a Grothendieck topology on the category of totally bounded metric spaces and develop a theory of stacks with respect to this topology. We further define the fine moduli stack of compact metric spaces and prove…
By a quantum metric space we mean a C^*-algebra (or more generally an order-unit space) equipped with a generalization of the Lipschitz seminorm on functions which is defined by an ordinary metric. We develop for compact quantum metric…
In this paper we introduce a notion of the Gromov-Hausdorff distance with boundary, denoted by $d_{GHB}$, to construct a framework of convergence of noncomplete metric spaces. We show that a class of bounded $A$-uniform spaces with diameter…
We present a new general framework for metrization of Gromov-Hausdorff-type topologies on non-compact metric spaces. We also give easy-to-check conditions for separability and completeness and hence the measure theoretic requirements are…
The equivariant Gromov--Hausdorff convergence of metric spaces is studied. Where all isometry groups under consideration are compact Lie, it is shown that an upper bound on the dimension of the group guarantees that the convergence is by…
The Gromov--Hausdorff distance measures the difference in shape between compact metric spaces. While even approximating the distance up to any practical factor poses an NP-hard problem, its relaxations have proven useful for the problems in…
Perfectoid spaces are sophisticated objects in arithmetic geometry introduced by Peter Scholze in 2012. We formalised enough definitions and theorems in topology, algebra and geometry to define perfectoid spaces in the Lean theorem prover.…
We first prove that for all compact metrizable spaces, there exists a topological embedding of the compact metrizable space into each of the sets of compact metric spaces which are connected, path-connected, geodesic, or CAT(0), in the…