Related papers: More about cofinally complete metric spaces
The paper introduces the class of O-metric spaces, a novel generalization of metric-type spaces, classifying almost all possible metric types into upward and downward O-metrics. We list some topologies arising from O-metrics and discuss…
We prove that many completeness properties coincide in metric spaces, precompact groups and dense subgroups of products of separable metric groups. We apply these results to function spaces C_p(X,G) of G-valued continuous functions on a…
Inspired by some Lorentzian versions of the notion of metric and length space introduced by Kunzinger and S\"amman, and more recently, by M\"uller, and Minguzzi and S\"uhr, we revisit the notion of Lorentzian metric space in order to later…
This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of…
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…
We give an answer to the following question: for which metric in an abstract lattice the completion as a metric space coincides with the completion as a lattice. We obtain the answer for inductive limits of lattices which are complete in…
Let $\mathrm{Sym}_q(m)$ be the space of symmetric matrices in $\mathbb{F}_q^{m\times m}$. A subspace of $\mathrm{Sym}_q(m)$ equipped with the rank distance is called a symmetric rank-metric code. In this paper we study the covering…
The aim of this paper is to investigate the equivalence conditions for uniform perfectness of quasi-metric spaces. We also obtain the invariant property of uniform perfectness under quasim\"obius maps in quasi-metric spaces. In the end, two…
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…
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 show that any quantum family of maps from a non commutative space to a compact quantum metric space has a canonical quantum semi metric structure.
We formalize the concept of a family of metric spaces satisfying a coarse property uniformly and we generalize finite decomposition complexity of Erik Guentner, Romain Tessera, and Guoliang Yu. Of particular interest are results determining…
Associated to any affine space A endowed with a metric structure of arbitrary signature we consider the space of affine functionals operating on the space of quadratic functions of A. On this functional space we characterize a symmetric…
We introduce properties of metric spaces and, specifically, finitely generated groups with word metrics which we call coarse coherence and coarse regular coherence. They are geometric counterparts of the classical algebraic notion of…
We prove a number of results involving categories enriched over \textsc{CMet}, the category of complete metric spaces with possibly infinite distances. The category \textsc{CPMet} of intrinsic complete metric spaces is locally…
We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for…
We investigate a relations of almost isometric embedding and almost isometry between metric spaces and prove that with respect to these relations: (1) There is a countable universal metric space. (2) There may exist fewer than continuum…
We prove that, under certain mild conditions, every cocompact CAT(0) space is almost geodesically complete.
In this paper we introduce a realcompactification for any metric space (X, d), defined by means of the family of all its real-valued uniformly continuous functions. We call it the Samuel realcompactification, according to the well known…
A metric space $\mathbf{X}$ is called densely complete if there exists a dense set $D$ in $\mathbf{X}$ such that every Cauchy sequence of points of $D $ converges in $\mathbf{X}$. One of the main aims of this work is to prove that the…