Related papers: Formalizing the Gromov-Hausdorff space

We introduce, for the first time, a cohomology-based Gromov-Hausdorff ultrametric method to analyze 1-dimensional and higher-dimensional (co)homology groups, focusing on loops, voids, and higher-dimensional cavity structures in simplicial…

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…

The classical Hausdorff dimension of finite or countable metric spaces is zero. Recently, we defined a variant, called \emph{finite Hausdorff dimension}, which is not necessarily trivial on finite metric spaces. In this paper we apply this…

In this paper a systematic study of the category GTS of generalized topological spaces (in the sense of H. Delfs and M. Knebusch) and their strictly continuous mappings begins. Some completeness and cocompleteness results are achieved.…

An image is here defined to be a set which is either open or closed and an image transformation is structure preserving in the following sense: It corresponds to an algebra homomorphism for each singly generated algebra. The results extend…

We use Gromov's K--area to define a generalized homology theory on compact smooth manifolds. In fact, this theory collects obstructions to the enlargeability of the manifold and its nontrivial submanifolds. Moreover, using the K--area…

In this paper we prove that the Gromov--Hausdorff distance between $\mathbb{R}^n$ and its subset $A$ is finite if and only if $A$ is an $\varepsilon$-net in $\mathbb{R}^n$ for some $\varepsilon>0$. For infinite-dimensional Euclidean spaces…

In the Friedmann Model of the universe, cosmologists assume that spacelike slices of the universe are Riemannian manifolds of constant sectional curvature. This assumption is justified via Schur's Theorem by stating that the spacelike…

In this paper, a new structure is defined on a topological space that equips the space with a concept of distance in order to do that firstly, a generalization of quasi-pseudo-metric space named R.O-metric space is introduced, and some of…

We calculate the Gromov-Hausdorff distance between vertex sets of regular polygons endowed with the round metric. We give a full answer for the case of n- and m-gons with m divisible by n. Also, we calculate all distances to 2-gons and…

We consider Gromov-Hausdorff convergence of state spaces for spectral truncations of a compact metric group $G$. We work in the context of order-unit spaces and consider orthogonal projections $P_\Lambda$ in $L^2(G)$ corresponding to finite…

We introduce irreducible correspondences that enables us to calculate the Gromov--Hausdorff distances effectively. By means of these correspondences, we show that the set of all metric spaces each consisting of no more than $3$ points is…

We investigate the mapping class groups of a class of non-Hausdorff topological spaces which includes finite spaces. We show that the mapping class group of a finite space is isomorphic to the homeomorphism group of its $T_0$ quotient. As a…

We construct analoga of Gromov-Hausdorff space for Lorentzian distances and show a Gromov precompactness result for one of them. After calculating the Dushnik-Miller dimension of Minkowski spaces (of manifold dimension larger than 2) to be…

Using Gutzmer's formula, due to Lassalle, we characterise the image of Sobolev spaces under the Segal-Bargmann transform on compact Riemannian symmetric spaces.

We characterise rectifiable subsets of a complete metric space $X$ in terms of local approximation, with respect to the Gromov--Hausdorff distance, by an $n$-dimensional Banach space. In fact, if $E\subset X$ with $\mathcal{H}^n(E)<\infty$…

We combine the pointed Gromov-Hausdorff metric [Ron10] with the locally $C^0$ distance to obtain the pointed $C^0$-Gromov-Hausdorff distance between maps of possibly different non-compact pointed metric spaces. The latter is then combined…

We introduce the space of relative orders on a group and show that it is compact whenever the group is finitely generated. We use this to show that if $G$ is a finitely generated group acting by order preserving homeomorphism of on the…

Group field theory is a background-independent approach to quantum gravity whose starting point is the definition of a quantum field theory on an auxiliary group manifold (not interpreted as spacetime, but rather as the finite-dimensional…

The strong shape category of compact metrizable spaces (compacta) is very well-studied; extending it to noncompact spaces, however, introduces computational complexity that makes it hard to work with. The fine shape category, as defined by…