Partially ordered metric spaces produced by \(T_{0}\)-quasi-metrics (Q260591): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Q178567 / rank | |||
Property / author | |||
Property / author: Hans-Peter A. Künzi / rank | |||
Normal rank | |||
Property / review text | |||
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}. Given 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\). In 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. | |||
Property / review text: 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}. Given 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\). In 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Samuel Gomes da Silva / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54F05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54E35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06F30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06F15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6559133 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
metric space | |||
Property / zbMATH Keywords: metric space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
partial order | |||
Property / zbMATH Keywords: partial order / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quasi-pseudometric | |||
Property / zbMATH Keywords: quasi-pseudometric / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(T_0\)-quasi-metric | |||
Property / zbMATH Keywords: \(T_0\)-quasi-metric / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
group | |||
Property / zbMATH Keywords: group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
lattice | |||
Property / zbMATH Keywords: lattice / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(po\)-group | |||
Property / zbMATH Keywords: \(po\)-group / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.topol.2016.01.028 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2298531205 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Order-compactifications of totally ordered spaces: Revisited / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3099888 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5331549 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the dimension of ordered spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A fixed point theorem for preordered complete fuzzy quasi-metric spaces and an application / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Permutable pairs of quasi-uniformities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994935 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3966761 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Splitting metrics by \(T_0\)-quasi-metrics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Continuous Lattices and Domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3768002 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topologies arising from metrics valued in abelian \(\ell\)-groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5191281 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological ordered \(C\)- (resp. \(I\)-)spaces and generalized metric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4325572 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-pseudo-metrization of topological preordered spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Convexity and quasi-uniformizability of closed preordered spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5340517 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:28, 11 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Partially ordered metric spaces produced by \(T_{0}\)-quasi-metrics |
scientific article |
Statements
Partially ordered metric spaces produced by \(T_{0}\)-quasi-metrics (English)
0 references
21 March 2016
0 references
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}. Given 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\). In 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.
0 references
metric space
0 references
partial order
0 references
quasi-pseudometric
0 references
\(T_0\)-quasi-metric
0 references
group
0 references
lattice
0 references
\(po\)-group
0 references
0 references