Related papers: Formalizing the Gromov-Hausdorff space
In this paper, we prove the $\ell^\infty$ product space of two bounded subspaces of the Gromov-Hausdorff space can be isometrically embedded into the Gromov-Hausdorff space.
Hausdorff relation, topologically identifying points in a given space, belongs to elementary tools of modern mathematics. We show that if subtle enough mathematical methods are used to analyze this relation, the conclusions may be…
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…
The paper is devoted to geometrical investigation of the Gromov-Hausdorff distance on the classes of all metric spaces and of all bounded metric spaces. The main attention is paid to pass connectivity questions. The pass connected…
The purpose of this paper is to provide a uniformization procedure for Gromov hyperbolic spaces, which need not be geodesic or proper. We prove that the conformal deformation of a Gromov hyperbolic space is a bounded uniform space. Further,…
For a signature L with at least one constant symbol, an L-structure is called minimal if it has no proper substructures. Let S_L be the set of isomorphism types of minimal L-structures. The elements of S_L can be identified with…
We prove a compactness theorem for the dual Gromov-Hausdorff propinquity as a noncommutative analogue of the Gromov compactness theorem for the Gromov-Hausdorff distance. Our theorem is valid for subclasses of quasi-Leibniz compact quantum…
In spacetime physics, we frequently need to consider a set of all spaces (`universes') as a whole. In particular, the concept of `closeness' between spaces is essential. However, there has been no established mathematical theory so far…
The aim of these lecture notes is, after having quickly described various compactifications of the Teichm\"{u}ller space of a compact connected oriented surface minus finitely many points, to give a construction, by the equivariant Gromov…
What is the analogous notion of Gromov-Hausdorff convergence for sequences of spacetimes? Since a Lorentzian manifold is not inherently a metric space, one cannot simply use the traditional definition. One approach offered by Sormani and…
The Gromov-Hausdorff distance between two metric spaces measures how far the spaces are from being isometric. It has played an important and longstanding role in geometry and shape comparison. More recently, it has been discovered that the…
In this paper, we discuss how a Gromov-Hausdorff-like distance function over the space of all isometric classes of compact $C^k$-Riemannian manifolds should be defined in the aspect of the Riemannan submanifold theory, where $k\geq 1$. The…
We say that a metric graph is uniformly bounded if the degrees of all vertices are uniformly bounded and the lengths of edges are pinched between two positive constants; a metric space is approximable by a uniform graph if there is one…
We consider the proper class of all metric spaces endowed with the Gromov--Hausdorff distance. Its maximal subclasses, consisting of the spaces on finite distance from each other, we call clouds. Multiplying all distances in a metric space…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
By Gromov's compactness theorem for metric spaces, every uniformly compact sequence of metric spaces admits an isometric embedding into a common compact metric space in which a subsequence converges with respect to the Hausdorff distance.…
The primary goal of this paper is to find a homotopy theoretic approximation to moduli spaces of holomorphic maps Riemann surfaces into complex projective space. There is a similar treatment of a partial compactification of these moduli…
In this paper, we first show that for all four non-negative real numbers, there exists a Cantor ultrametric space whose Hausdorff dimension, packing dimension, upper box dimension, and Assouad dimension are equal to given four numbers,…
We define the smooth Lipschitz topology on the moduli space and show that each conformal class is dense in the moduli space endowed with Gromov-Hausdorff topology, which offers an answer to the Tuschmann's question.
We prove that all the compact metric spaces are in the closure of the class of full matrix algebras for the quantum Gromov-Hausdorff propinquity. We also show that given an action of a compact metrizable group G on a quasi-Leibniz compact…