Topologizing homeomorphism groups (Q352585): Difference between revisions

From the author's abstract: ``This paper surveys topologies, called admissible group topologies, of the full group of self-homeomorphisms \(\mathcal H(X)\) of a Tychonoff Space \(X\), which yield continuity of both the group operations and the same time provide continuity of the evaluation function or, in other words, make the evaluation function a group action of \(\mathcal H(X)\) on \(X\).'' The treatise consists of several parts. The first of them results in a theorem stating that a uniform topology on \(\mathcal H(X)\) derived from a totally bounded uniformity on \(X\) is a group topology (hence an admissible group topology) iff it is derived from a totally bounded uniformity of \(X\) associated with a \(T_2\)-compactification of \(X\) with the lifting property. By weakening local compactness to rim-compactness it is shown that, under an additional condition, a \(T_2\)-space \(X\) embeds in a \(T_2\)-compactification which induces on \(\mathcal H(X)\) the corresponding least admissible group topology. But the converse is not true, which is demonstrated by an example given by the product space \(\mathbb R \times \mathbb Q\), where \(\mathbb R\) and \(\mathbb Q\) are the sets of the real and rational numbers. ``By means of a compact extension procedure, beyond local compactness and in two essentially different cases of rim-compactness, we show that the complete upper semilattice \(\mathcal L_H(X)\) of all admissible group topologies on \(\mathcal H(X)\) admits a least element, that can be described simply as a set-open topology and contemporaneously as a uniform topology. But, then, carrying on another efficient way to produce admissible group topologies in substitution of, or in parallel with, the compact extension procedure, we show that rim-compactness is not a necessary condition for the existence of the least admissible group topology. Finally, we give necessary and sufficient conditions for the topology of uniform convergence on the bounded sets of a local proximity space to be an admissible group topology. Also we cite that local compactness of \(X\) is not a necessary condition for the compact-open topology to be an admissible group topology on \(\mathcal H(X)\).''