Completions and compactifications of quasi-uniform spaces (Q697620)

The article contains numerous interesting results on various completions and compactifications of quasi-uniform spaces, many of which cannot be discussed here. The most important construction seems to be the concept of a \(^*\)-compactification, which the authors study with the help of their notion of a \(T_1\) \(^*\)-half completion. A \(^*\)-compactification of a \(T_1\) quasi-uniform space \((X,{\mathcal U})\) is a compact \(T_1\) quasi-uniform space \((Y,{\mathcal V})\) that has a \(\tau({\mathcal V}^*)\)-dense subspace quasi-isomorphic to \((X,{\mathcal U}),\) where \({\mathcal V}^*\) denotes the coarsest uniformity finer than \({\mathcal V}.\) The authors show that if a \(T_1\) quasi-uniform space \((X,{\mathcal U})\) has a \(^*\)-compactification, then it is unique up to quasi-isomorphism. They identify the \(^*\)-compactification of \((X,{\mathcal U})\) with the subspace of its bicompletion \((\widetilde{X},\widetilde{{\mathcal U}})\) consisting of all points which are closed in \((\widetilde{X},\tau(\widetilde{{\mathcal U}}))\) and prove that \((X,{\mathcal U})\) is \(^*\)-compactifiable if and only if it is point symmetric and \((\widetilde{X},\widetilde{{\mathcal U}})\) is compact. They characterize those point symmetric totally bounded \(T_1\) quasi-uniform spaces whose \(^*\)-compactification is Hausdorff. They also describe those quasi-uniform spaces whose bicompletion is \(T_1.\) In this context they finally consider various classes of quasi-uniform spaces that generalize Doitchinov's quiet spaces.