Related papers: Constructions of Urysohn universal ultrametric spa…

In this paper, we shall show that the space of real-valued uniformly continuous functions on a metric measure space with the $L^p$ norm is homeomorphic to the subspace consisting of sequences conversing to $0$ in the pseudo interior.

Let $\mathfrak{M}$ be a class of metric spaces. A metric space $Y$ is minimal $\mathfrak{M}$-universal if every $X\in\mathfrak{M}$ can be isometrically embedded in $Y$ but there are no proper subsets of $Y$ satisfying this property. We find…

Let $X$ be a universal (Urysohn) space. We prove that every topological fractal is homeomorphic (isometric) to the attractor $A_{\mathcal F}$ of a function system ${\mathcal F}$ on $X$ consisting of Rakotch contractions.

We prove that if a complete Riemannian $n$-manifold with non-trivial codimension 1 homology with $\mathbb{Z}_2$-coefficients or $\mathbb{Z}$-coefficients has positive macroscopic scalar curvature large enough, then it contains a…

This paper presents a constructive proof of the existence of a regular non-atomic strictly-positive measure on any second-countable non-atomic locally compact Hausdorff space. This construction involves a sequence of finitely-additive set…

We provide an alternative, constructive proof that the collection $\mathcal{M}$ of isometry classes of compact metric spaces endowed with the Gromov-Hausdorff distance is a geodesic space. The core of our proof is a construction of explicit…

In this paper we consider the problem of characterization of topological spaces that embed into countably compact Hausdorff spaces. We study the separation axioms of subspaces of countably compact Hausdorff spaces and construct an example…

In the context of metric structures introduced by Ben Yaacov, Berenstein, Henson, and Usvyatsov, we exhibit an explicit encoding of metric structures in countable signatures as pure metric spaces in the empty signature, showing that such…

In this manuscript, we claim that the newly introduced $\mathcal{F}$-metric spaces are Hausdorff and also first countable. Moreover, we assert that every separable $\mathcal{F}$-metric space is second countable. Additionally, we acquire…

In spacetime physics, we frequently need to consider a set of all spaces (`universes') as a whole. In particular, the concept of `closeness' between spaces is essential. However, there has been no established mathematical theory so far…

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…

Let $Y$ be a metrizable space containing at least two points, and let $X$ be a $Y_{\mathcal{I}}$-Tychonoff space for some ideal $\mathcal{I}$ of compact sets of $X$. Denote by $C_{\mathcal{I}}(X,Y)$ the space of continuous functions from…

We construct a totally disconnected compact Hausdorff space N which has clopen subsets M included in L included in N such that N is homeomorphic to M and hence C(N) is isometric as a Banach space to C(M) but C(N) is not isomorphic to C(L).…

We study the geometry of the space of measures of a compact ultrametric space X, endowed with the L^p Wasserstein distance from optimal transportation. We show that the power p of this distance makes this Wasserstein space affinely…

It is shown that a minimum weight spanning tree of a finite ultrametric space can be always found in the form of path. As a canonical representing tree such path uniquely defines the whole space and, moreover, it has much more simple…

We construct a complete metric space $M$ of cardinality continuum such that every non-singleton closed separable subset of $M$ fails to be a Lipschitz retract of $M$. This provides a metric analogue to the various classical and recent…

In this paper a generalization of Urysohn's metrization theorem is given for higher cardinals. Namely, it is shown that a topological space with a basis of cardinality at most $|\omega_\mu|$ or smaller is $\omega_\mu$-metrizable if and only…

The Hausdorff-Alexandroff Theorem states that any compact metric space is the continuous image of Cantor's ternary set $C$. It is well known that there are compact Hausdorff spaces of cardinality equal to that of $C$ that are not continuous…

Continuous mappings between compact Hausdorff spaces can be studied using homomorphisms between algebraic structures (lattices, Boolean algebras) associated with the spaces. This gives us more tools with which to tackle problems about these…

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…