Related papers: Formalizing the Gromov-Hausdorff space

We introduce the notion of echeloned spaces - an order-theoretic abstraction of metric spaces. The first step is to characterize metrizable echeloned spaces. It turns out that morphisms between metrizable echeloned spaces are uniformly…

We obtain explicit formulas for the rational homotopy groups of generalised symmetric spaces, i.e., the homogeneous spaces for which the isotropy subgroup appears as the fixed point group of some finite order automorphism of the group. In…

We introduce a natural definition of $L^p$-convergence of maps, $p \ge 1$, in the case where the domain is a convergent sequence of measured metric space with respect to the measured Gromov-Hausdorff topology and the target is a…

We study expansive dynamical systems from the viewpoint of general topology. We introduce the notions of orbit and refinement expansivity on topological spaces extending expansivity in the compact metric setting. Examples are given on…

We present theoretical properties of the space of metric pairs equipped with the Gromov--Hausdorff distance. First, we establish the classical metric separability and the geometric geodesicity of this space. Second, we prove an…

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…

We establish a new category equivalent to compact pospaces, and which extend the equivalence between compact Hausdorff spaces and Gleason spaces. As a corollary of this equivalence, we obtain in particular, that every compact pospace is the…

We define a metric on the class of metric spectral triples, which is null exactly between spectral triples with unitary equivalent Dirac operators and *-isomorphic underlying C*-algebras. This metric dominates the propinquity, and thus…

Geodesic orbit spaces (or g.o. spaces) are defined as those homogeneous Riemannian spaces $(M=G/H,g)$ whose geodesics are orbits of one-parameter subgroups of $G$. The corresponding metric $g$ is called a geodesic orbit metric. We study the…

In this paper, a generalized cusp is a properly convex manifold with strictly convex boundary that is diffeomorphic to $M \times [0, \infty)$ where $M$ is a closed Euclidean manifold. These are classified in [2]. The marked moduli space is…

The Hausdorff distance, the Gromov-Hausdorff, the Fr\'echet and the natural pseudo-distances are instances of dissimilarity measures widely used in shape comparison. We show that they share the property of being defined as $\inf_\rho…

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…

We prove the equivalence of the two important facts about finite metric spaces and universal Urysohn metric spaces $\Bbb U$, namely theorem A and theorem B below: Theorem A (Approximation): The group of isometry $ISO(\Bbb U)$ contains…

The purpose of this article is to demonstrate the connection between the properties of the Gromov--Hausdorff distance and the Borsuk conjecture. The Borsuk number of a given bounded metric space $X$ is the infimum of cardinal numbers $n$…

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 highly influential framework of conceptual spaces provides a geometric way of representing knowledge. Instances are represented by points in a similarity space and concepts are represented by convex regions in this space. After pointing…

Magnitude is an isometric invariant of metric spaces introduced by Leinster. Since its inception, it has inspired active research into its connections with integral geometry, geometric measure theory, fractal dimensions, persistent…

The intrinsic timed-Hausdorff distance between timed-metric spaces, first introduced by Sakovich--Sormani, yields a weak notion of convergence for space-times. In this paper we prove a compactness theorem for the intrinsic timed-Hausdorff…

The notion of soft sets is introduced as a general mathematical tool for dealing with uncertainty. In this paper, we consider the concepts of soft compactness, countably soft compactness and obtain some results. We study some soft…

We introduce an abstract definition of a Hamming space that generalizes standard Hamming spaces $( \mathbb{Z}/ 2 \mathbb{Z})^n $. We classify countable locally standard Hamming spaces and show that each of them can be realized as the…