Bicompleteness of the fine quasi-uniformity

A characterization of the topological spaces that possess a bicomplete fine quasi-uniformity is obtained. In particular we show that the fine quasi-uniformity of each sober space, of each first-countable T1-space and of each quasi-pseudo-metrizable space is bicomplete. Moreover we give examples of T1-spaces that do not admit a bicomplete quasi-uniformity.

We obtain several conditions under which the semi-continuous quasi-uniformity of a topological space is bicomplete and observe that the well-monotone covering quasiuniformity of a topological space is bicomplete if and only if the space is quasi-sober.