Related papers: Approaching metric domains
In this paper, using a more generalized inequality instead of triangle inequality, the notion of \theta-metric space is introduced. Some important properties of induced topology by such spaces are presented. Also, Banach and Caristi type…
We first consider interval partitions whose complements are Lebesgue-null and introduce a complete metric that induces the same topology as the Hausdorff distance (between complements). This is done using correspondences between intervals.…
The aim of these notes is to provide a reasonably short and "hands-on" introduction to the differential calculus on associative algebras over a field of characteristic zero. Following a suggestion of Ginzburg's we call the resulting theory…
We investigate the possibility of replacing the topology of convergence in probability with convergence in $L^1$. A characterization of continuous linear functionals on the space of measurable functions is also obtained.
Recently many papers on cone metric spaces have been appeared, and main topological properties of such spaces have been obtained. A cone metric space is Hausdorff, and first countable, so the topology of it coincides with a topology induced…
We observe that the category of topological space, uniform spaces, and simplicial sets are all, in a natural way, full subcategories of the same larger category, namely the simplicial category of filters; this is, moreover, implicit in the…
We investigate two approximation relations on a T0 topological space, the n-approximation, and the d-approximation, which are generalizations of the way-below relation on a dcpo. Different kinds of continuous spaces are defined by the two…
The aim of this paper is to establish the equivalence between the concepts of an $S$-metric space and a cone $S$-metric space using\ some topological approaches. We introduce a new notion of $TVS$-cone $S$-metric space using some facts…
We first prove that for all compact metrizable spaces, there exists a topological embedding of the compact metrizable space into each of the sets of compact metric spaces which are connected, path-connected, geodesic, or CAT(0), in the…
An equivalence of matrices via semi-tensor product (STP) is proposed. Using this equivalence, the quotient space is obtained. Parallel and sequential arrangements of the natural projection on different shapes of matrices leads to the…
We present a general way to define a topology on orthomodular lattices. We show that in the case of a Hilbert lattice, this topology is equivalent to that induced by the metrics of the corresponding Hilbert space. Moreover, we show that in…
We study metric spaces that admit a conical bicombing and thus obey a weak form of non-positive curvature. Prime examples of such spaces are injective metric spaces. In this article we give a complete characterization of complete metric…
In this paper, it was obtained the new matrix domain with the well known classical sequence spaces and an infinite matrix. The Taylor method which known then as the circle method of order r (0 < r < 1), as an infinite matrix for the matrix…
In this paper we introduce several quantitative methods for the lambda-calculus based on partial metrics, a well-studied variant of standard metric spaces that have been used to metrize non-Hausdorff topologies, like those arising from…
Many concrete problems are formulated in terms of a finite set of points in $R^n$ which, via the ambient Euclidean metric, becomes a finite metric space. To obtain information from such a space, it is often useful to associate a graph to…
This paper concerns the self-similarity of topological spaces, in the sense defined in math.DS/0411344. I show how to recognize self-similar spaces, or more precisely, universal solutions of self-similarity systems. Examples include the…
Recursive domain equations have natural solutions. In particular there are domains defined by strictly positive induction. The class of countably based domains gives a computability theory for possibly non-countably based topological…
In this article, we introduce the concept of lexicographic metric space and, after discussing some basic properties of these metric spaces, such as completeness, boundedness, compactness and separability, we obtain a formula for the metric…
A generalization of metric space is presented which is shown to admit a theory strongly related to that of ordinary metric spaces. To avoid the topological effects related to dropping any of the axioms of metric space, first a new, and…
In this paper, we define notions of $P_{Z}(S)$-metric and $P_{Z}(S)$-metric space and we show that every $P_{Z}(S)$-metric Space, analogous to an ordinary metric space and generally, a $\Lambda$-metric space, is a topological space, and in…