The \(B\)-completion of a \(T_{0}\)-quasi-metric space (Q2390510)

In the paper under review the authors continue their study of the \(B\)-completion of a \(T_0\)-quasi-metric space which they have introduced in [J. Log. Algebr. Program. 76, No. 2, 251--269 (2008; Zbl 1211.54039)]. Let \(X\) be a set and let \(d : X\times X\to[0,\infty)\) be a function. Then \(d\) is called a quasi-pseudometric on \(X\) if (a) \(d(x, x) = 0\) for all \(x\in X\), and (b) \(d(x, z)\leq d(x, y) +d(y, z)\) whenever \(x, y, z \in X\). We say that \(d\) is a \(T_0\)-quasimetric if \(d\) also satisfies the following condition: \[ \forall(x, y\in X) d(x, y) = 0 = d(y, x)\Rightarrow x = y. \] Let \((X,d)\) be a quasi-pseudometric space. A Cauchy filter pair \(\left\langle \mathcal F,\mathcal G\right\rangle\) on \((X,d)\) is said to be balanced on \((X,d)\) if for each \(x, y\in X\) we have \(d(x, y)\leq \inf_{G\in\mathcal G}\Phi_d(x, G) +\inf_{F\in\mathcal F}\Phi_d(F , y)\) where \(\Phi_d(F,G)=\sup\{d(x,y):x\in F\& y\in G\}\) Let \((X, d)\) be a quasi-pseudometric space. An arbitrary Cauchy filter pair \(\left\langle \mathcal F, \mathcal G\right\rangle\) on \(X\) is said to converge to \(x\in X\) provided that \(\inf_{G\in\mathcal G}\Phi_d(x, G)=0\) and \(\inf_{F\in\mathcal F}\Phi_d(F , y)= 0\) A quasi-pseudometric space \((X, d)\) is called \(B\)-complete provided that each balanced Cauchy filter pair \(\left\langle \mathcal F,\mathcal G\right\rangle\) converges in \(X\). The authors point out that \(B\)-completeness of quasi-pseudometric spaces is not preserved under quasi-uniform isomorphisms. They characterize when the \(B\)-completion is equal to the bicompletion and prove that the \(B\)-completion of a totally bounded \(T_0\)-quasi-metric space is totally bounded. They note that even for totally bounded \(T_0\)-quasi-metric spaces the \(B\)-completion can be strictly larger than the bicompletion.