Related papers: Formalizing the Gromov-Hausdorff space

A theorem of Anderson and Bando-Kasue-Nakajima from 1989 states that to compactify the set of normalized Einstein metrics with a lower bound on the volume and an upper bound on the diameter in the Gromov-Hausdorff sense, one has to add…

In this short note, we show that, in any given metric space, every Lipschitz open-map image of every subset of a given metric space whose boundary is Hausdorff-null is Hausdorff-measurable with respect to the same dimension. The main…

We introduce the quantum Gromov-Hausdorff propinquity, a new distance between quantum compact metric spaces, which extends the Gromov-Hausdorff distance to noncommutative geometry and strengthens Rieffel's quantum Gromov-Hausdorff distance…

The Urysohn universal metric space U is characterized up to isometry by the following properties: (1) U is complete and separable; (2) U contains an isometric copy of every separable metric space; (3) every isometry between two finite…

The Hausdorff distance measures how far apart two sets are in a common metric space. By contrast, the Gromov-Hausdorff distance provides a notion of distance between two abstract metric spaces. How do these distances behave for quotients of…

Let U denote the Urysohn sphere and consider U as a metric structure in the empty continuous signature. We prove that every definable function from U^n to U is either a projection function or else has relatively compact range. As a…

Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can…

We study topological properties of the Gromov-Hausdorff metric on the set of isometry classes of nonnegatively curved $2$-spheres.

The Gromov-Hausdorff (GH) distance is traditionally used for measuring distances between metric spaces. It is defined as the minimal distortion of embedding one surface into the other, while the optimal correspondence can be described as…

We study isometric $G$-spaces and the question of when their maximal equivariant compactification is the Gromov compactification (meaning that it coincides with the compactification generated by the distance functions to points). Answering…

We calculate the Gromov--Hausdorff distance between a line segment and a circle in the Euclidean plane. To do that, we introduced a few new notions like round spaces and nonlinearity degree of a metric space.

The notion of Hausdorff number of a topological space is first introduced in \cite{bonan}, with the main objective of using this notion to obtain generalizations of some known bounds for cardinality of topological spaces. Here we consider…

Gromov-Hausdorff distances measure shape difference between the objects representable as compact metric spaces, e.g. point clouds, manifolds, or graphs. Computing any Gromov-Hausdorff distance is equivalent to solving an NP-Hard…

In this paper we prove that every homeomorphism of a compact metric space admitting an invariant probability measure with full support can be approximated in the $C^0$-Gromov--Hausdorff topology by homeomorphisms with zero topological…

In this paper we define a space $\ghu{M}$ of Hardy--Goldberg type on a measured metric space satisfying some mild conditions. We prove that the dual of $\ghu{M}$ may be identified with $\gbmo{M}$, a space of functions with "local" bounded…

Given metric quotients $S$ and $S_n$, $n \in \mathbb{N}$, of a metric space $X$, sufficient conditions are provided on the data defining them guaranteeing that $S$ is the Gromov-Hausdorff limit of $S_n$. These conditions are recognized…

We generalize the concept of a norm on a vector space to one of a norm on a category. This provides a unified perspective on many specific matters in many different areas of mathematics like set theory, functional analysis, measure theory,…

Complementing our previous results, we give a classification of all isometries (not necessarily surjective) of the metric space consisting of ball-bodies, endowed with the Hausdorff metric. "Ball bodies" are convex bodies which are…

Marc Rieffel had introduced the notion of the quantum Gromov-Hausdorff distance on compact quantum metric spaces and found a sequence of matrix algebras that converges to the space of continuous functions on $2$-sphere in this distance. One…

Let $R$ be an o-minimal expansion of the real field. We show that the Hausdorff dimension of an $R$-definable metric space is an $R$-definable function of the parameters defining the metric space. We also show that the Hausdorff dimension…