Related papers: A Universal Separable Diversity
We obtain a complete classification of the continuous unitary representations of the isometry group of the rational Urysohn space $\mathbb{Q}\mathbb{U}$. As a consequence, we show that Isom$(\mathbb{Q}\mathbb{U})$ has property (T). We also…
Let M be a complete metric space. It is proved that if the space or scalar-valued bounded continuous functions on M admits an isometric shift, then M is separable.
Most research into similarity search in metric spaces relies upon the triangle inequality property. This property allows the space to be arranged according to relative distances to avoid searching some subspaces. We show that many common…
In this paper we study the behaviour of selective separability properties in the class of Frech\'{e}t-Urysohn spaces. We present two examples, the first one given in ZFC proves the existence of a countable Frech\'{e}t-Urysohn (hence…
We study countable embedding-universal and homomorphism-universal structures and unify results related to both of these notions. We show that many universal and ultrahomogeneous structures allow a concise description (called here a finite…
We study the topology of metric spaces which are definable in o-minimal expansions of ordered fields. We show that a definable metric space either contains an infinite definable discrete set or is definably homeomorphic to a definable set…
We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every…
A topological space is iso-dense if it has a dense set of isolated points. A topological space is scattered if each of its non-empty subspaces has an isolated point. In $\mathbf{ZF}$, in the absence of the axiom of choice, basic properties…
Uniformly finite homology is a coarse invariant for metric spaces; in particular, it is a quasi-isometry invariant for finitely generated groups. In this article, we study uniformly finite homology of finitely generated amenable groups and…
A metric measure space is a metric space with a Borel measure. In Gromov's theory of metric measure spaces, there are important invariants called the partial diameter and the observable diameter. We obtain the result that the partial…
In models of emergent gravity the metric arises as the expectation value of some collective field. Usually, many different collective fields with appropriate tensor properties are candidates for a metric. Which collective field describes…
We say that a metric graph is uniformly bounded if the degrees of all vertices are uniformly bounded and the lengths of edges are pinched between two positive constants; a metric space is approximable by a uniform graph if there is one…
In the absence of the Axiom of Choice, necessary and sufficient conditions for a locally compact Hausdorff space to have all non-empty second-countable compact Hausdorff spaces as remainders are given in $\mathbf{ZF}$. Among other…
In this paper, we study isometries of $p$-Wasserstein spaces. In our first result, for every complete and separable metric space $X$ and for every $p\geq1$, we construct a metric space $Y$ such that $X$ embeds isometrically into $Y$, and…
Teramoto et al. defined a new measure called the gap ratio that measures the uniformity of a finite point set sampled from $\cal S$, a bounded subset of $\mathbb{R}^2$. We generalize this definition of measure over all metric spaces by…
We show that there are uncountably many mutually non-isomorphic Lipschitz-free spaces over countable, complete, discrete metric spaces. Also there is a countable, complete, discrete metric space whose free space does not embed into the free…
As a consequence of Kirchberg's work, Connes' Embedding Conjecture is equivalent to the property that every homomorphism of the group $F_\infty\times F_\infty$ into the unitary group $U(\ell^2)$ with the strong topology is pointwise…
This paper deals with the subject of infinitesimal variations of Euclidean submanifolds with arbitrary dimension and codimension. The main goal is to establish a Fundamental theorem for these geometric objects. Similar to the theory of…
In this paper, we introduce the notion of bicomplex partial b-metric space and prove some common fixed point theorems. Our results generalize and expand some of the literature's well known results. We also explore some of the applications…
An ultrametric Cantor set can be seen as the boundary of a rooted weighted tree called the Michon tree. The notion of Assouad dimension is re-interpreted as seen on the Michon tree. The Assouad dimension of an ultrametric Cantor set is…