Related papers: Hausdorff distance between ultrametric balls
The necessary and sufficient conditions under which a given family $\mathcal{F}$ of subsets of finite set $X$ coincides with the family $\mathbf{B}_X$ of all balls generated by some ultrametric $d$ on $X$ are found. It is shown that the…
In this work we study the issue of geodesic extendibility on complete and locally compact metric length spaces. We focus on the geometric structure of the space $(\Sigma (X),d_H)$ of compact balls endowed with the Hausdorff distance and…
In this paper, using the existence of infinite equidistant subsets of closed balls, we characterize the injectivity of ultrametric spaces for finite ultrametric spaces, which also gives a characterization of the Urysohn universal…
Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[ I(\mu) = \int_X \int_X d(x,y) d\mu(x) d\mu(y), \] and set $M(X) =…
In this work we study the geodesic structure of the space $\Sigma (X)$ of compact balls of a complete and locally compact metric length space endowed with the Hausdorff distance $d_H$. In particular, we focus on a geometric condition…
Let $X$ be a metric space and $BCl(X)$ the collection of nonempty bounded closed subsets of $X$. We show that Hausdorff distance $d_H$ belongs to a specific family of real-valued distances on $BCl(X)$, each of which can be expressed as the…
Let $X$ be a compact metric space and $\mathcal M_X$ be the set of isometry classes of compact metric spaces $Y$ such that the Lipschitz distance $d_L(X,Y)$ is finite. We show that $(\mathcal M_X, d_L)$ is not separable when $X$ is a closed…
In Euclidean spaces, every closed, bounded, convex set can be characterized by two equivalent notions of separation properties. This is not true in general for arbitrary Banach spaces. In this work, we present a ball separation…
The Gromov-Hausdorff distance $(d_{GH})$ proves to be a useful distance measure between shapes. In order to approximate $d_{GH}$ for compact subsets $X,Y\subset\mathbb{R}^d$, we look into its relationship with $d_{H,iso}$, the infimum…
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…
We introduce the property of countable separation for a locally convex Hausdorff space $X$ and relate it to the existence of a metrizable coarser topology. Building on this, we demonstrate how the separability of $X$ is equivalent to the…
Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[I(\mu) = \int_X \int_X d(x,y) d\mu(x) d\mu(y),\] and set $M(X) = \sup…
We characterize measure spaces such that the canonical map $L_\infty \to L_1^*$ is surjective. In case of $d$ dimensional Hausdorff measure of a complete separable metric space $X$ we give two equivalent conditions. One is in terms of the…
In the present paper we investigate the Gromov--Hausdorff distances between a bounded metric space $X$ and so called simplex, i.e., a metric space all whose non-zero distances are the same. In the case when the simplex's cardinality does…
Let $(X, d)$ be a compact metric space and let $\mathcal{M}(X)$ denote the space of all finite signed Borel measures on $X$. Define $I \colon \mathcal{M}(X) \to \R$ by \[ I(\mu) = \int_X \int_X d(x,y) d\mu(x) d\mu(y), \] and set $M(X) =…
There exists a completely metrizable bounded metrizable space $X$ with compatible metrics $d,d'$ so that the hyperspace $CL(X)$ of nonempty closed subsets of $X$ endowed with the Hausdorff metric $H_d$, $H_{d'}$, resp. is…
It is shown that for every $\e\in (0,1)$, every compact metric space $(X,d)$ has a compact subset $S\subseteq X$ that embeds into an ultrametric space with distortion $O(1/\e)$, and $$\dim_H(S)\ge (1-\e)\dim_H(X),$$ where $\dim_H(\cdot)$…
We consider the problem of computing the (two-sided) Hausdorff distance between the unit $\ell_{p_{1}}$ and $\ell_{p_{2}}$ norm balls in finite dimensional Euclidean space for $1 \leq p_1 < p_2 \leq \infty$, and derive a closed-form formula…
It is proven that if $ (X,d) $ is an arbitrary metric space and $ U $ is a path-connected subset of $ X $ with $M:=\{x_i:\ i\in\{1,2,\dots,k\}\}\subset int(U) $, then the property of path-connectedness is also preserved in the resulting set…
Let $(X, d)$ be a compact metric space, and let $Q \subset X$ be countable. Given functions $R: Q \to \mathbb{R}^+$ and $\phi: \mathbb{R}^+ \to \mathbb{R}^+$, we consider the set $E(Q, R, \phi)$ of points $x \in X$ that ``hit'' the…