Related papers: Completion of premetric spaces
In a separably connected space any two points are contained in a separable connected subset. We show a mechanism that takes a connected bounded metric space and produces a complete connected metric space whose separablewise components form…
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…
This article explores the overall geometric manner in which human beings make sense of the world around them by means of their physical theories; in particular, in what are nowadays called pregeometric pictures of Nature. In these, the…
We first prove that for every metrizable space $X$, for every closed subset $F$ whose complement is zero-dimensional, the space $X$ can be embedded into a product space of the closed subset $F$ and a metrizable zero-dimensional space as a…
In this paper we introduce the concept of the rectangular metric like spaces, along with its topology and we prove some fixed point theorems under different contraction principles. We introduce the concept of modified metric-like space as…
In this paper, we will establish a general method of studying finite-dimensional normed spaces, and apply this method to classifying $3$-dimensional and $4$-dimensional normed spaces over a non-spherically complete field. For this purpose,…
In synthetic computability, pioneered by Richman, Bridges, and Bauer, one develops computability theory without an explicit model of computation. This is enabled by assuming an axiom equivalent to postulating a function $\phi$ to be…
This paper describes an algorithm of interest. This is a preliminary version and we intend on writing a better descripition of it and getting bounds for its complexity.
We study reparametrization-invariant Sobolev-type Riemannian metrics on the space of immersed surfaces and establish conditions ensuring metric and geodesic completeness as well as the existence of minimizing geodesics. This provides the…
In this paper, a new structure is defined on a topological space that equips the space with a concept of distance in order to do that firstly, a generalization of quasi-pseudo-metric space named R.O-metric space is introduced, and some of…
We construct a complete locally convex topological vector space $X$ of countable algebraic dimension and a continuous linear operator $T:X\to X$ such that $T$ has no non-trivial closed invariant subspaces.
Deng (arXiv:math/9812082) gave an asymptotic formula for the number of rational points on a weighted projective space over a number field with respect to a certain height function. We prove a generalization of Deng's result involving a…
In these expository notes, intended for students without background in point-set topology, we develop the basic theory of the Stone-Cech compactification without reference to open sets, closed sets, filters, or nets. In particular, this…
Let $X$ be a compact K\"ahler manifold and $\a \in H^{1,1}(X,\R)$ a K\"ahler class. We study the metric completion of the space $\HH_\a$ of K\"ahler metrics in $\a$, when endowed with the Mabuchi $L^2$-metric $d$. Using recent ideas of…
This paper will give some examples of diffeomorphic complex 5-dimensional complete intersections and remarks on these examples. Then a result on the existence of diffeomorphic complete intersections that belong to components of the moduli…
This paper investigates the failure of certain metric measure spaces to be infinitesimally Hilbertian or quasi-Riemannian manifolds, by constructing examples arising from a manifold $M$ endowed with a Riemannian metric $g$ that is possibly…
We reprove in an easier way a result of Brian Clarke: the completion of the space of Riemannian metrics of a compact, orientable smooth manifold with respect to the $L^2$-distance is CAT$(0)$. In particular we show that this completion is…
For every finite closure space $X$ one can define a finite topological space $\operatorname{Top} X$ together with a natural projection $\operatorname{Top} X\longrightarrow X$. This could allow to apply the techniques of topological…
Finite metric spaces arise in many different contexts. Enormous bodies of data, scientific, commercial and others can often be viewed as large metric spaces. It turns out that the metric of graphs reveals a lot of interesting information.…
In this short note, we obtain partial quasi-metric versions of Kannan's fixed point theorem for self-mappings. Moreover, we use these fixed points results to characterize a certain type of completeness in partial quasi-metric spaces. We…