Related papers: Completion of premetric spaces
Differential completions and compactifications of differential spaces are introduced and investigated. The existence of the maximal differential completion and the maximal differential compactification is proved. A sufficient condition for…
We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…
We prove that every complete metric space with property (Z) is a length space. These answers questions posed by Garc\'{i}a-Lirola, Proch\'{a}zka and Rueda Zoca, and by Becerra Guerrero, L\'{o}pez-P\'{e}rez and Rueda Zoca, related to the…
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.
In this article, we introduce a new type of mapping contracting perimeters of triangles in a complete metric space and present related fixed point theorem. We study the metric completeness property of the underlying space in terms of fixed…
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…
In this paper, we introduce the $\mathcal{F}$-metric space concept, which generalizes the metric space notion. We define a natural topology $\tau_{\mathcal{F}}$ in such spaces and we study their topological properties. Moreover, we…
In this paper, we introduce a new type of coupled fixed point theorem in partially ordered complete metric space. We give an example to support of our result.
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…
A metric space $(M, d)$ is said to be universal for a class of metric spaces if all metric spaces in the class can be isometrically embedded into $(M, d)$. In this paper, for a metrizable space $Z$ possessing abundant subspaces, we first…
Based on a construction method introduced by J. Bourgain and F. Delbaen, we give a general definition of a Bourgain-Delbaen space and prove that every infinite dimensional separable $\mathcal{L}_\infty$-space is isomorphic to such a space.…
A handy technique for the Finite Element Method (FEM) is presented that uses the null space for the implementation of Dirichlet and constraint boundary conditions. The focus of this method is to present an illustrative approach to modeling…
This paper studies a general notion of flatness in the enriched context: P-flatness where the parameter P stands for a class of presheaves. One obtains a completion of a category A by considering the category Flat_P(A) of P-flat presheaves…
In prior work \cite{AD} of Lars Andersson and Bruce K. Driver, the path space with finite interval over a compact Riemannian manifold is approximated by finite dimensional manifolds $H_{x,\P} (M)$ consisting of piecewise geodesic paths…
In this paper, we first discussed multiplicative metric mapping by giving some topological properties of the relevant multiplicative metric space. As an interesting result of our discussions, we observed that the set of positive real…
This is the author's Ph.D. thesis, submitted to the University of Leipzig. It deals with the $L^2$ Riemannian metric on the manifold of all smooth Riemannian metrics on a fixed closed, finite-dimensional manifold. The main body of the…
In this work we revisit the notion of the (future) causal completion of a globally hyperbolic spacetime and endow it with the structure of a Lorentzian pre-length space. We further carry out this construction for a certain class of…
We introduce strings in metric spaces and define string complexes of metric spaces. We describe the class of 2-dimensional topological spaces which arise in this way from finite metric spaces.
A method of induction the distances with Hilbert structure is proposed. Some properties of the method are studied. Typical examples of corresponding metric spaces are discussed. Key words: Hilbert spaces; metric spaces; isometric embedding…
A growing number of empirical models exhibit set-valued predictions. This paper develops a tractable inference method with finite-sample validity for such models. The proposed procedure uses a robust version of the universal inference…