The bicompletion of the Hausdorff quasi-uniformity

TL;DR

This paper investigates the conditions for bicompleteness of the Hausdorff quasi-uniformity in quasi-uniform spaces, providing explicit construction methods and characterizations for bicompletion.

Contribution

It introduces an explicit method to construct the bicompletion of the Hausdorff quasi-uniformity and characterizes quasi-uniform T0-spaces with bicomplete Hausdorff quasi-uniformities.

Findings

Explicit bicompletion construction method provided

Characterization of quasi-uniform T0-spaces with bicomplete Hausdorff quasi-uniformity

Conditions for bicompleteness of Hausdorff quasi-uniformity

Abstract

We study conditions under which the Hausdorff quasi-uniformity ${\mathcal U}_H$ of a quasi-uniform space $(X,{\mathcal U})$ on the set ${\mathcal P}_0(X)$ of the nonempty subsets of $X$ is bicomplete. Indeed we present an explicit method to construct the bicompletion of the $T_0$-quotient of the Hausdorff quasi-uniformity of a quasi-uniform space. It is used to find a characterization of those quasi-uniform $T_0$-spaces $(X,{\mathcal U})$ for which the Hausdorff quasi-uniformity $\widetilde{{\mathcal U}}_H$ of their bicompletion $(\widetilde{X},{\widetilde{\mathcal U}})$ on ${\mathcal P}_0(\widetilde{X})$ is bicomplete.