Related papers: Can we classify complete metric spaces up to isome…
Metric spaces are a fundamental component of mathematics and have a paramount importance as a framework for measuring distance. They can be found in many different branches of mathematics, such as analysis and topology. This paper offers an…
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…
The Gromov-Hausdorff space is usually defined in textbooks as "the space of all compact metric spaces up to isometry". We describe a formalization of this notion in the Lean proof assistant, insisting on how we need to depart from the usual…
We develop the structure theory of full isometry groups of locally compact non-positively curved metric spaces. Amongst the discussed themes are de Rham decompositions, normal subgroup structure and characterising properties of symmetric…
The completeness properties of spaces of immersed curves equipped with reparametrization-invariant Riemannian metrics have recently been the subject of active research. This thesis studies the metric completion of spaces of immersed open…
We constract various subgroups of the group of isometries of universal Urysohn spaces (unique complete separable metric space which is iniversal and homogeneous) including abelian groups which act transitively, and free groups which are…
It is well-known that a metric space $(X, d)$ is complete iff the set $X$ is closed in every metric superspace of $(X, d)$. For a given pseudometric space $(Y, \rho)$, we describe the maximal class $\mathbf{CEC}(Y, \rho)$ of superspaces of…
This article continues the study of computable elementary topology started by the author and T. Grubba in 2009 and extends the author's 2010 study of axioms of computable separation. Several computable T3- and Tychonoff separation axioms…
This note tries to give an answer to the following question: Is there a sufficiently rich class of metric vector spaces such that sufficiently large spaces of continuous linear maps between them are metrizable?
The notion of metric compactification was introduced by Gromov and later rediscovered by Rieffel; and has been mainly studied on proper geodesic metric spaces. We present here a generalization of the metric compactification that can be…
\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are…
In this paper we combine the notions of partial metric spaces with negative distances, $G_p$-metric spaces and n-metric spaces together into one structure called the partial n-metric spaces. These are generalizations of all the said…
The Urysohn universal metric space U is characterized up to isometry by the following properties: (1) U is complete and separable; (2) U contains an isometric copy of every separable metric space; (3) every isometry between two finite…
This paper is an introduction and a survey to the concept of perfect isometries which was first introduced by Michel Brou{\'e} in 1990. Our main aim is to provide proofs of numerous results scattered in the literature. On the other hand, we…
Decomposition complexity for metric spaces was recently introduced by Guentner, Tessera, and Yu as a natural generalization of asymptotic dimension. We prove a vanishing result for the continuously controlled algebraic K-theory of bounded…
We give a short introduction to the theory of modular metric spaces. This is a corrected version of the paper [1], which had some errors. We are grateful to V. V. Chistyakov for bringing these to our attention.
We develop an analogue of the classical Scott analysis for metric structures and infinitary continuous logic. Among our results are the existence of Scott sentences for metric structures and a version of the Lopez-Escobar theorem. We also…
We establish Gromov's celebrated reconstruction theorem in Lorentzian geometry. Alongside this result, we introduce and study a natural concept of isomorphy of normalized bounded Lorentzian metric measure spaces. We outline applications to…
An isometry is a geometric transformation that preserves distances between pairs of points. We present methods to classify isometries in the Euclidean plane, and extend these methods to spherical, single elliptical, and hyperbolic geometry.…
Coarse geometry studies metric spaces on the large scale. The recently introduced notion of coarse entropy is a tool to study dynamics from the coarse point of view. We prove that all isometries of a given metric space have the same coarse…