Unsymmetric T₀-quasi-metrics
A \textit{quasi-pseudometric} space \((X,d)\) is a metric space in which the axiom of symmetry \(d(x,y)=d(y,x)\) is omitted and the equality \(d(x,y)=0\) is possible in the case \(x\neq y\). A quasi-pseudometric is called a \textit{\(T_0\)-quasi-metric} provided that \(d\) also satisfies the following condition: For each \(x, y \in X\), \(d(x, y) = 0 = d(y, x)\) implies that \(x = y\). If instead of the standard triangle inequality we have \(d(x,z) \leqslant \max \{d(x,y), d(y,z)\}\), then \((X,d)\) is called a \textit{\(T_0\)-ultra-quasi-metric} space. A \(T_0\)-quasi-metric \(d\) on a set \(X\) is called \textit{unsymmetric} provided that for each \(x, y, z \in X\) the following variant of the triangle inequality holds: \(d(x, z) \leqslant d(x, y) \vee d(y, x) \vee d(y, z)\). From the authors' abstract: ``Each \(T_0\)-ultra-quasi-metric is unsymmetric. We also note that for each unsymmetric \(T_0\)-quasi-metric \(d\), its symmetrization \(d^s = d \vee d^{-1}\) is an ultra-metric. Furthermore we observe that unsymmetry of \(T_0\)-quasi-metrics is preserved by subspaces and suprema of nonempty finite families, but not necessarily under conjugation. In addition we show that the bicompletion of an unsymmetric \(T_0\)-quasi-metric is unsymmetric. The induced \(T_0\)-quasi-metric of an asymmetrically normed real vector space \(X\) is unsymmetric if and only if \(X = \{0\}\). Our results are illustrated by various examples. We also explain how our investigations relate to the theory of ordered topological spaces and questions about (pairwise) strong zero-dimensionality in bitopological spaces.
- A partially ordered space which is not a Priestley space
- Functional analysis in asymmetric normed spaces
- scientific article; zbMATH DE number 3789474 (Why is no real title available?)
- scientific article; zbMATH DE number 735406 (Why is no real title available?)
- scientific article; zbMATH DE number 943178 (Why is no real title available?)
- Neighbornets
- Non-Archimedean Metrics in Topology
- Nonequality of Dimensions for Metric Spaces
- On bicomplete quasi-pseudometrizability
- On strongly quasi-metrizable spaces
- Partially ordered metric spaces produced by \(T_{0}\)-quasi-metrics
- Polish ultrametric Urysohn spaces and their isometry groups
- Preservation of completeness under mappings in asymmetric topology
- Sobrification and bicompletion of totally bounded quasi-uniform spaces
- Splitting ultra-metrics by \(T_{0}\)-ultra-quasi-metrics
- Stably compact spaces
- Symmetric connectedness in \(T_0\)-quasi-metric spaces
- The point of continuity property, neighbourhood assignments and filter convergences
- The Priestley separation axiom for scattered spaces
- Asymmetric norms given by symmetrisation and specialisation order
- Splitting ultra-metrics by \(T_{0}\)-ultra-quasi-metrics
- Symmetrically connected and antisymmetrically connected \(T_0\)-quasi-metric extensions
- Certain observations on antisymmetric T₀-quasi-metric spaces
- The Katětov constructions on asymmetric spaces
- Symmetric connectedness in \(T_0\)-quasi-metric spaces
- Quasi-metric tree in T₀-quasi-metric spaces
- Splitting metrics by \(T_0\)-quasi-metrics
- Locally symmetrically connected T0-quasi-metric spaces
- A study on quasi-pseudometrics
This page was built for publication: Unsymmetric \(T_0\)-quasi-metrics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2187154)
