Related papers: Ultrametric spaces and the logarithmic ratio
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…
Given a metric space (X, d), we continue our study of the distance function x\mapsto d(x,-) and its relation to bi-Lipschitz embeddings of (X, d) into R^N. As application, given a compact metric-measure space (X, d,\mu), we give three…
We show that the space of continuous functions over a compact space X admits an equivalent pointwise-lowersemicontinuous locally uniformly rotund norm whenever X admits a fully closed map onto a compact Y such that C(Y) and the spaces of…
We say that a finite metric space $X$ can be embedded almost isometrically into a class of metric spaces $C$, if for every $\epsilon > 0$ there exists an embedding of $X$ into one of the elements of $C$ with the bi-Lipschitz distortion less…
If $g$ is a map from a space $X$ into $\mathbb R^m$ and $q$ is an integer, let $B_{q,d,m}(g)$ be the set of all lines $\Pi^d\subset\mathbb R^m$ such that $|g^{-1}(\Pi^d)|\geq q$. Let also $\mathcal H(q,d,m,k)$ denote the maps $g\colon…
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 $(X,d)$ be a finite metric space with $|X|=n$. For a positive integer $k$ we define $A_k(X)$ to be the quotient set of all $k$-subsets of $X$ by isometry, and we denote $|A_k(X)|$ by $a_k$. The sequence $(a_1,a_2,\ldots,a_{n})$ is…
In a recent paper \cite{T} the fact that a class of locally compact metric spaces $X$, among which are Euclidean spaces, are not homemorphic to their punctured version $X\men\{p\}$, was given an interesting new proof which does not use…
Compact metric spaces form an important class of metric spaces, but the category that they define lacks many important properties such as completeness and cocompleteness. In recent studies of "metric domain theory" and Stone-type dualities,…
We view ultrametric spaces as two-sorted structures consisting of a set of points and of a linearly ordered set of distances. We call the appropriate notion of embeddings distance-carrying (dc for short). Those are obtained by combining…
Let US be the class of all ultrametric spaces generated by labeled star graphs. We prove that compact US-spaces are the completions of totally bounded ultrametric spaces generated by decreasingly labeled rays. We characterize the…
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)$…
Extending the results of reconstruction of compact metric spaces by inverse limits, we show that if $(X, d), (Y, d)$ are compact metric spaces, then the mapping space $Y^X$ is homotopy equivalent to the inverse limit of an inverse system of…
We prove that two homogeneous ultra-metric spaces $X,Y$ are coarsely equivalent if and only if $\mathrm{Ent}^\sharp(X)=\mathrm{Ent}^\sharp(Y)$ where $\mathrm{Ent}^\sharp(X)$ is the so-called sharp entropy of $X$. This classification implies…
We investigate the magnitude relation of the non-centered Hardy-Littlewood maximal operators and centered one. By using a discretization technique, we prove two facts: the first one is that the space is ultrametric if and only if the two…
A mapping $f:X\to Y$ between metric spaces is called \emph{little Lipschitz} if the quantity $$ \operatorname{lip}(f(x)=\liminf_{r\to0}\frac{\operatorname{diam} f(B(x,r))}{r} $$ is finite for every $x\in X$. We prove that if a compact (or,…
We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space X=(X,T) is countably compact iff it is countably subcompact relative…
On a complete, connected, locally compact, non-compact geodesic space $(X,d)$, we assign each compact set a distance-like function. With the help of these functions, we obtain a pseudo-metric on the space of (non-empty) compact subsets of…
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…
A metric space $\mathrm{M}=(M,\de)$ is {\em indivisible} if for every colouring $\chi: M\to 2$ there exists $i\in 2$ and a copy $\mathrm{N}=(N, \de)$ of $\mathrm{M}$ in $\mathrm{M}$ so that $\chi(x)=i$ for all $x\in N$. The metric space…