Quasi-pseudo-metrization of topological preordered spaces (Q438704): Difference between revisions

A relation \(\leqslant\) on a set \(E\) is called a preorder if \(\leqslant\) is reflexive and transitive. In the paper under review, the author considers quasi-pseudo-metrization of topological spaces endowed with a preorder \(\leqslant\). The results obtained in the paper are best described by the author's abstract: ``We establish that every second countable completely regularly preordered space \((E,\mathcal T,\leqslant)\) is quasi-pseudo-metrizable, in the sense that there is a quasi-pseudo-metric \(p\) on \(E\) for which the pseudo-metric \(p \vee p^{-1}\) induces \(\mathcal T\) and the graph of \(\leqslant\) is exactly the set \(\{(x,y):p(x,y)=0\}\). In the ordered case it is proved that these spaces can be characterized as being order homeomorphic to subspaces of the ordered Hilbert cube. The connection with quasi-pseudo-metrization results obtained in bitopology is clarified. In particular, strictly quasi-pseudo-metrizable ordered spaces are characterized as being order homeomorphic to order subspaces of the ordered Hilbert cube.''