\(T_0\) *-compactification in the hyperspace (Q409686)

A \textit{quasi-uniformity} on a nonempty set \(X\) is a filter \(\mathcal U\) on \(X\times X\) such that (i) each member of \(\mathcal U\) contains the diagonal \(\Delta\) of \(X\times X\) and (ii) if \(U\in \mathcal U\), then \(V\circ V \subseteq U\) for some \(V\in \mathcal U\). The pair \((X, \mathcal U)\) is called a \textit{quasi-uniform space}. The conjugate of the quasi-uniformity \(\mathcal U\) on \(X\), denoted by \({\mathcal U}^{-1}\), is another quasi-uniformity on \(X\) defined by \({\mathcal U}^{-1}=\{U^{-1}: U \in \mathcal U\}\). The \textit{topology} \(\mathcal T(\mathcal U)\) on \(X\) induced by \(\mathcal U\) is defined as follows: \[ \mathcal T(\mathcal U) =\{G \subseteq X: \text{for\;each}\;x\in G\;\text{there\;is}\;U\in \mathcal U\;\text{such\;that}\;U(x) \subseteq G\}. \] If \(\mathcal T(\mathcal U)\) is a \(T_0\) topology on \(X\), then \((X, \mathcal U)\) is called a \(T_0\) quasi-uniform space. A *-compactification of a \(T_0\) quasi-uniform space \((X,\mathcal U)\) is a compact \(T_0\) quasi-uniform space \((Y,\mathcal V)\) that has a \({\mathcal T}({\mathcal V} \vee {\mathcal V}^{-1})\)-dense subspace quasi-isomorphic to \((X, \mathcal U)\). Given a quasi-uniform space \((X,\mathcal U)\), the Hausdorff-Bourbaki quasi-uniformity \({\mathcal U}_H\) on the collection \({\mathcal P}_0(X)\) of all nonempty subsets of \(X\) has as a base the family of subsets of the form \[ U_H =\{(A,B) \in {\mathcal P}_0(X) \times {\mathcal P}_0(X): B \subseteq U(A),\;A \subseteq U^{-1}(B)\}, \] where \(U\in \mathcal U\). The pair \(({\mathcal P}_0(X), {\mathcal U}_H)\) is called the \textit{hyperspace} of \((X, \mathcal U)\), and in turn, \((X, \mathcal U)\) is called a \textit{base space} of \(({\mathcal P}_0(X), {\mathcal U}_H)\). In this paper, the authors study when the hyperspace \(({\mathcal P}_0(X), {\mathcal U}_H)\) of a quasi-uniform space \((X,\mathcal U)\) has a \(T_0\) *-compactification. The main results give various characterizations on some *-compactifications of the hyperspace in terms of properties of its base space.