The ultra-quasi-metrically injective hull of a \(T_0\)-ultra-quasi-metric space (Q395666)

This is a technical paper dealing with special classes of spaces and their completions. Let \(X\) be a set and \(u\) be a map of \(X\times X\) into the non-negative reals. Then \(u\) is an ultra-quasi-pseudometric if (i) \(u(x,x) = 0\) for all \(x\in X\) and (ii) \(u(x,z)\leq max\{u(x,y),u(y,z)\}\), whenever \(x,y,z\in X\). If, moreover, \(u(x,y) = 0 = u(y,x)\) implies \(x = y\), then \(u\) is called a \(T_0\)-ultra-quasi-metric. A sample result is: Theorem 2. A \(T_0\)-ultra-quasi-metric space is \(q\)-spherically complete if and only if it is ultra-quasi-metrically injective.