Partially ordered metric spaces produced by T₀-quasi-metrics
A \textit{partially ordered metric space} is a triple \((X,m,\leqslant)\) where, as expected, \((X,m)\) is a metric space and \((X,\leqslant)\) is a partially ordered set. Given a set \(X\), a function \(d: X \times X \rightarrow [0,\infty)\) is said to be a \textit{quasi-pseudometric} if (a) \(d(x,x) = 0\) for all \(x \in X\); and (b) \(d(x,z) \leqslant d(x,y) + d(y,z)\) for all \(x, y, z \in X\). If \(d\) also satisfies the condition: (c) for all \(x, y \in X\), \(d(x,y) = 0 = d(y,x)\) implies \(x = y\), then \((X,d)\) is said to be a \textit{\(T_0\)-quasi-metric space}.NEWLINENEWLINEGiven a quasi-pseudometric \(d\) on \(X\), the \textit{specialization pre-order of \(d\)} is the relation \(\leqslant_d = \{(x,y) \in X \times X: d(x,y) = 0\}\). \(d\) is a \(T_0\)-quasi-metric if, and only if, \(\leqslant_d\) is a partial order on \(X\) -- or, equivalently, the symmetrization \(d^s = {\max}\{d,d^{-1}\}\) is a metric on \(X\).NEWLINENEWLINEIn a previous paper [Topology Appl. 193, 84--96 (2015; Zbl 1345.54023)], the authors have characterized the partially ordered metric spaces which are \textit{produced} by quasi-pseudometrics -- that is, those partially ordered metric spaces \((X,m,\leqslant)\) for which there is a quasi-pseudometric \(d\) such that \(m\) coincides with its symmetrization \(d^s\) and \(\leqslant\) coincides with its specialization pre-order \(\leqslant_d\). In the paper under review, the authors show that if one assumes some additional compatibility conditions between metric and partial order with appropriate algebraic operations then a number of new, more transparent results would arise; indeed, a number of results like these (related to certain lattices and groups) are given. Finally, the authors establish that a non-empty partially ordered metric space \((X,m,\leqslant)\) is produced by a \(T_0\)-quasi-metric if, and only if, it can be embedded as a subspace of \((B_X, s, \preccurlyeq)\), where \(B_X\) is the set of all bounded real-valued functions defined on \(X\), \(s\) is the supremum metric and \(\preccurlyeq\) is the pointwise defined order.
- A fixed point theorem for preordered complete fuzzy quasi-metric spaces and an application
- An introduction to quasi-uniform spaces
- Continuous Lattices and Domains
- Convexity and quasi-uniformizability of closed preordered spaces
- scientific article; zbMATH DE number 4026325 (Why is no real title available?)
- scientific article; zbMATH DE number 3789474 (Why is no real title available?)
- scientific article; zbMATH DE number 42114 (Why is no real title available?)
- scientific article; zbMATH DE number 733106 (Why is no real title available?)
- scientific article; zbMATH DE number 3204690 (Why is no real title available?)
- scientific article; zbMATH DE number 3213310 (Why is no real title available?)
- On the dimension of ordered spaces
- One-point order-compactifications
- Order-compactifications of totally ordered spaces: Revisited
- Permutable pairs of quasi-uniformities
- Quasi-pseudo-metrization of topological preordered spaces
- Splitting metrics by \(T_0\)-quasi-metrics
- Topological ordered \(C\)- (resp. \(I\)-)spaces and generalized metric spaces
- Topologies arising from metrics valued in abelian \(\ell\)-groups
- Asymmetric norms given by symmetrisation and specialisation order
- Splitting ultra-metrics by \(T_{0}\)-ultra-quasi-metrics
- Unsymmetric \(T_0\)-quasi-metrics
- Metric axioms: a structural study
- scientific article; zbMATH DE number 4105842 (Why is no real title available?)
- Quasi-pseudo-metrization of topological preordered spaces
- Quasi uniformities defined by sets of neighborhoods
- Splitting metrics by \(T_0\)-quasi-metrics
- A directed graph associated with a \(T_0\)-quasi-metric space
- Some remarks on the Pompeiu-Hausdorff distance between order intervals
- DS-partial metric spaces and domain theory
- Extensions of T₀-quasi-metrics
This page was built for publication: Partially ordered metric spaces produced by \(T_{0}\)-quasi-metrics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q260591)
