Related papers: Metric characterizations of some subsets of the re…
Let $D$ denote a positive integer and let $Q_D$ denote the graph of the $D$-dimensional hypercube. Let $X$ denote the vertex set of $Q_D$ and let $A \in \MX$ denote the adjacency matrix of $Q_D$. A matrix $B \in \MX$ is called $A$-{\em…
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) =…
Let X be a real normed vector space and dim X \ge 2. Let d>0 be a fixed real number. We prove that if x,y \in X and ||x-y||/d is a rational number then there exists a finite set {x,y} \subseteq S(x,y) \subseteq X with the following…
A symmetric subset of the reals is one that remains invariant under some reflection z --> c-z. We consider, for any 0 < x <= 1, the largest real number D(x) such that every subset of $[0,1]$ with measure greater than x contains a symmetric…
For any metric $d$ on $\mathbb{R}^2$, an ($\mathbb{R}^2,d$)-geometric graph is a graph whose vertices are points in $\mathbb{R}^2$, and two vertices are adjacent if and only if their distance is at most 1. If $d=\|.\|_{\infty}$, the metric…
We show, following W. Holsztynski, that there exists a continuous metric d on the set of real numbers R such that any finite metric space is isometrically embeddable into (R,d).
Let $(M,d)$ be a bounded countable metric space and $c>0$ a constant, such that $d(x,y)+d(y,z)-d(x,z) \ge c$, for any pairwise distinct points $x,y,z$ of $M$. For such metric spaces we prove that they can be isometrically embedded into any…
A subgraph $H$ of a graph $G$ is isometric if the distances between vertices in $H$ coincide with the distances between the corresponding vertices in $G$. We show that for any integer $n\ge 1$, there is a graph on $3^{n+O(\log^2 n)}$…
For a metrizable space $X$, we denote by $\mathrm{Met}(X)$ the space of all metric that generate the same topology of $X$. The space $\mathrm{Met}(X)$ is equipped with the supremum distance. In this paper, for every strongly…
Let $n,p,r$ be positive integers with $n \geq p\geq r$. A rank-$\overline{r}$ subset of $n$ by $p$ matrices (with entries in a field) is a subset in which every matrix has rank less than or equal to $r$. A classical theorem of Flanders…
A subset $E$ of a metric space $X$ is said to be starlike-equivalent if it has a neighbourhood which is mapped homeomorphically into $\mathbb{R}^n$ for some $n$, sending $E$ to a starlike set. A subset $E\subset X$ is said to be recursively…
The center of distances of a metric space $(X,d)$ is the set $C(X)$ of all $t\in \mathbb R^+$ for which the equation $d(x,p)=t$ has a solution for each $p\in X$. We prove that the equalities $C(X)=\{0\}$ or $C(X)=\{0,\operatorname{diam}X\}…
Given $p \in (1,\infty)$, let $(\operatorname{X},\operatorname{d},\mu)$ be a metric measure space with uniformly locally doubling measure $\mu$ supporting a weak local $(1,p)$-Poincar\'e inequality. For each $\theta \in [0,p)$, we…
Given a metric space $(X,d)$, a set $S\subseteq X$ is called a $k$-\emph{metric generator} for $X$ if any pair of different points of $X$ is distinguished by at least $k$ elements of $S$. A $k$-\emph{metric basis} is a $k$-metric generator…
It is shown that if for a complete metric space $(X,d)$ there is a constant $\epsilon > 0$ such that the intersection $\bigcap_{j=1}^n B_d(x_j,r_j)$ of open balls is nonempty for every finite system $x_1,...,x_n \in X$ of centers and a…
We show that for all $n \geq 2$, there exists a doubling linearly locally contractible metric space $X$ that is topologically a $n$-sphere such that every weak tangent is isometric to $\R^n$ but $X$ is not quasisymmetrically equivalent to…
Given a metric pair $(X,A)$, i.e. a metric space $X$ and a distinguished closed set $A \subset X$, one may construct in a functorial way a pointed pseudometric space $\mathcal{D}_\infty(X,A)$ of persistence diagrams equipped with the…
It is shown that if a compact metric space $(X, d)$ is bi-H\"older equivalent to an ultrametric space, then the logarithmic ratio $R(X,d)$ is finite. Conversely, if the logarithmic ratio $R(X,d)$ is finite and ${\A}^*_p (X) \ne \emptyset$…
We establish a structure theorem for minimizing sequences for the isoperimetric problem on noncompact $\mathsf{RCD}(K,N)$ spaces $(X,\mathsf{d},\mathcal{H}^N)$. Under the sole (necessary) assumption that the measure of unit balls is…