Cofinal bicompleteness and quasi-metrizability

Abstract

[EN] We introduce the notions of a cofinally bicomplete quasi-uniformity and of a cofinally bicomplete quasi-pseudometric. The Sorgenfrey quasi-metric and the Kofner quasi-metric are interesting examples of cofinally bicomplete quasi-metrics. We observe that the finest quasi-uniformity of any quasi-pseudometrizable bitopological space is cofinally bicomplete and characterize those quasi-pseudometrizable bitopological spaces which admit a cofinally bicomplete quasi-pseudometric. Anecessary and sufficient condition for cofinal bicompleteness of quasi-pseudometrizable topological spaces is derived. Finally, bitopological quasi-metrizable spaces whose supremum topology is locally compact are characterized.