The Roelcke compactification of groups of homeomorphisms (Q5929012)

Let \(G\) be a topological group and \(\mathcal N(G)\) be the filter of neighbourhoods of unity in \(G\). When \(U\) runs over \(\mathcal N(G)\), the covers of the form \(\{ UxU\mid x\in G\}\) generate the \(\mathcal L\wedge \mathcal R\)-uniformity on \(G\), which is called the \textit{lower uniformity} on \(G\) and the author calls it the \textit{Roelcke uniformity}. A topological group \(G\) is \textit{Roelcke-precompact} if and only if for every \(U\in\mathcal N(G)\) there exists a finite set \(F\subset G\) such that \(UFU=G\). The \textit{Roelcke completion} of a topological group \(G\) is the completion of the uniform space \((G, \mathcal L\wedge\mathcal R)\). If \(G\) is Roelcke-precompact, the Roelcke completion of \(G\) is called the \textit{Roelcke compactification} of \(G\). Let \(X\) be a zero-dimensional compact topological space such that all non-empty clopen subsets of \(X\) are homeomorphic to each other, and let \(Aut(X)\) be the group of all self-homeomorphisms of \(X\), equipped with the compact open topology. The author proves that the Roelcke compactification of \(Aut(X)\) can be identified with the semigroup of all closed relations on \(X\) whose domain and range are equal to \(X\), equipped with the Vietoris topology. It is also proven that the topological group \(Aut(X)\) is topologically simple and minimal.