Related papers: Metric Segments in Gromov--Hausdorff class
The Hausdorff hyperspace of a metric space consists of all its non-empty bounded closed sets and it is equipped with the Pompeiu--Hausdorff set distance. We present a simpler novel proof that the Hausdorff hyperspace of a complete space is…
The collection $\mathcal{M}$ of all isometry classes of compact metric spaces endowed with the Gromov-Hausdorff distance $d_\mathcal{GH}$ is known to be a geodesic space. However, there is no known structural characterization of geodesics…
We prove that for a suitable class of metric measure spaces, the abstract notion of tangent module as defined by the first author can be isometrically identified with the space of $L^2$-sections of the `Gromov-Hausdorff tangent bundle'. The…
The aim of this paper is to study pointed Gromov-Hausdorff Convergence of sequences of K\"ahler submanifolds of a fixed K\"ahler ambient space. Our result shows that lower bounds on the scalar curvature imply convergence to a smooth…
The Gromov-Hausdorff space is usually defined in textbooks as "the space of all compact metric spaces up to isometry". We describe a formalization of this notion in the Lean proof assistant, insisting on how we need to depart from the usual…
The aim of this paper is to demonstrate relations between Gromov-Hausdorff distance properties and the Borsuk Conjecture. The Borsuk number of a given bounded metric space $X$ is the infimum of cardinal numbers $n$ such that $X$ can be…
In this paper, we study regular sets in metric measure spaces with bounded Ricci curvature. We prove that the existence of a point in the regular set of the highest dimension implies the positivity of the measure of such regular set. Also…
We give a detailed description of the possible limits in the equivariant-Gromov-Hausdorff sense of sequences $(X_j,G_j)$, where the $X_j$'s are proper, geodesically complete, uniformly packed, CAT$(0)$-spaces and the $G_j$'s are closed,…
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.
How should one define metric space notions of convergence for sequences of spacetimes? Since a Lorentzian manifold does not define a metric space directly, the uniform convergence, Gromov-Hausdorff (GH) convergence, and Sormani-Wenger…
Smocked spaces are a class of metric spaces which were introduced to generalize pulled thread spaces. We investigate convergence of these spaces, showing that if the underlying smocking sets converge in Hausdorff distance and satisfy local…
In the present paper we calculate the Gromov-Hausdorff distance between an arbitrary simplex (a metric space all whose non-zero distances are the same) and a finite metric space whose non-zero distances take two distinct values (so-called…
The Gromov--Hausdorff distance measures the difference in shape between metric spaces and poses a notoriously difficult problem in combinatorial optimization. We introduce its quadratic relaxation over a convex polytope whose solutions…
We study topological properties of the Gromov-Hausdorff metric on the set of isometry classes of nonnegatively curved $2$-spheres.
The paper is devoted to a categorical study of the category of probabilistic metric spaces. The study is based on an isomorphic description of the category of probabilistic metric spaces. The isomorphic description was obtained in [3] and…
The Gromov-Hausdorff distance ($d_\mathrm{GH}$) provides a natural way of quantifying the dissimilarity between two given metric spaces. It is known that computing $d_\mathrm{GH}$ between two finite metric spaces is NP-hard, even in the…
In this paper we examine two basic topological properties of partial metric spaces, namely compactness and completeness. Our main result claims that in these spaces compactness is equivalent to sequential compactness. We also show that…
In the context of metric geometry, we introduce a new necessary and sufficient condition for the convergence of an inductive sequence of quantum compact metric spaces for the Gromov-Hausdorff propinquity, which is a noncommutative analogue…
We prove that the Gromov-Hausdorff distance from the circle with its geodesic metric to any simply connected geodesic space is never smaller than $\frac{\pi}{4}$. We also prove that this bound is tight through the construction of a simply…
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…