Splitting metrics by \(T_0\)-quasi-metrics (Q492235)

Given a metric space \((X,m)\), a quasi-pseudometric \(d\) on \(X\) is said to be \(m\)-splitting if \(d^s=d\vee d^{-1}=m\). A quasi-pseudometric \(d\) on \(X\) is called a \(T_0\)-quasi-metric if for each \(x,y\in X\), \(d(x,y)=d(y,x)=0\) implies that \(x=y\). The authors show that for each \(m\)-splitting \(T_0\)-quasi-metric there is a minimal \(m\)-splitting \(T_0\)-quasi-metric below it, and point out that the existence of a minimally \(m\)-splitting \(T_0\)-quasi-metric below a given \(T_0\)-quasi-metric is equivalent to Szpilrajn's Theorem which says that each partial order can be extended to a linear order.