Related papers: Approaching metric domains
We present a new general framework for metrization of Gromov-Hausdorff-type topologies on non-compact metric spaces. We also give easy-to-check conditions for separability and completeness and hence the measure theoretic requirements are…
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 arXiv:1801.01238 a variation of Bowen's topological entropy that can be applied to the study of discontinuous semiflows on compact metric spaces was introduced. The main novetly is the use of certain family of pseudosemimetrics…
We propose a notion of continuous path for locally finite metric spaces, taking inspiration from the recent development of A-theory for locally finite connected graphs. We use this notion of continuity to derive an analogue in Z^2 of the…
Metric spaces are generalized by many scholars. Recently, Khatami and Mirzavaziri use a mapping called $t$-definer to popularize the triangle inequality and give a generalization of the notion of a metric, which is called a $\star$-metric.…
In this chapter we study modal logics of topological spaces in the combined language with the derivational modality and the difference modality. We give axiomatizations and prove completeness for the following classes: all spaces,…
The concept of quasi-partial b-metric-like spaces is being introduced and studied with the help of topology. Examples are also discussed to support the results. Some fixed point theorems are proved in the setting of quasi-partial…
Let G be a group and let M be a CAT(0) proper metric space (e.g. a simply connected complete Riemannian manifold of non-positive sectional curvature or a locally finite tree). Isometric actions of G on M are (by definition) points in the…
This paper introduces a novel generalization of the classical concept of $S$-metric spaces, referred to as composed $S$-metric spaces. By incorporating a composed function, we impose more general conditions on the triangle inequality,…
In this paper, first-order Sobolev-type spaces on abstract metric measure spaces are defined using the notion of (weak) upper gradients, where the summability of a function and its upper gradient is measured by the "norm" of a quasi-Banach…
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…
We combine continuous and integral logics and found a logical framework for metric measure spaces equipped with a family of continuous relations and operations. We prove the ultraproduct theorem and deduce compactness and other usual…
A new sequential approach to investigations of structure of metric spaces at infinity is proposed. Criteria for finiteness and boundedness of metric spaces at infinity are found.
In this paper we introduce a metrics on the space of idempotent probability measures on a given compactum, which extends the metrics on the compactum. It is proven the introduced metrics generates the pointwise convergence topology on the…
Adapting a homotopy reconstruction theorem for general metric compacta, we show that every countable metric or ultrametric compact space can be topologically reconstructed as the inverse limit of a sequence of finite $T_0$ spaces which are…
In algorithms for finite metric spaces, it is common to assume that the distance between two points can be computed in constant time, and complexity bounds are expressed only in terms of the number of points of the metric space. We…
We introduce an analogue of the theory of length spaces into the setting of Lorentzian geometry and causality theory. The r\^ole of the metric is taken over by the time separation function, in terms of which all basic notions are…
In some scientific fields, a scaling is able to modify the topology of an observed object. Our goal in the present work is to introduce a new formalism adapted to the mathematical representation of this kind of phenomenon. To this end, we…
The thesis presents the subject of synthetic topology, especially with relation to metric spaces. A model of synthetic topology is a categorical model in which objects possess an intrinsic topology in a suitable sense, and all morphisms are…
In this paper, we prove that the topology induced by algebraic cone metric coincides with the topology induced by the metric obtained via a nonlinear scalarization function, i.e. any algebraic cone metric space is metrizable. Furthermore,…