The Doitchinov Completion of a Regular Paratopological Group

In memory of Professor D. Doitchinov ∗ This paper was written while the first author was supported by the Swiss National Science Foundation under grants 21–30585.91 and 2000-041745.94/1 and by the Spanish Ministry of Education and Sciences under DGES grant SAB94-0120. The second author was supported under DGES grant PB95-0737. During her stay at the University of Berne the third author was supported by the first author’s grant 2000-041745.94/1 from the Swiss National Science Foundation.

A Note on Totally Bounded Quasi-Uniformities

We present the original proof, based on the Doitchinov completion, that a totally bounded quiet quasi-uniformity is a uniformity. The proof was obtained about ten years ago, but never published. In the mean-time several stronger results have been obtained by more direct arguments [8, 9, 10]. In particular it follows from Künzi’s [8] proofs that each totally bounded locally quiet quasi-uniform space is uniform, and recently Déak [10] observed that even each totally bounded Cauchy quasi-uniformity is a uniformity.