Ambitable topological groups

From MaRDI portal



Abstract: A topological group is said to be ambitable if each uniformly bounded uniformly equicontinuous set of functions on the group with its right uniformity is contained in an ambit. For n=0,1,2,..., every locally aleph_n bounded topological group is either precompact or ambitable. In the familiar semigroups constructed over ambitable groups, topological centres have an effective characterization.


A topological group \(G\) is said to be ambitable if every uniformly bounded, uniformly equicontinuous set of functions from \(G\) to \(\mathbb R\) is contained in an ambit. The principal thrust of this paper is to uncover conditions on a topological group that it be ambitable. It is noted that no precompact group is ambitable, but it is unknown whether every topological group is either precompact or ambitable. The author says for \(\kappa\geq\omega\) that \(G\) is \(\kappa\)-\textit{bounded} [resp., locally \(\kappa\)-bounded] if for each nonempty open \(U\subseteq G\) there is \(P\subseteq G\) such that \(|P|\leq\kappa\) and \(G=UP\) [resp., for some nonempty open \(U\subseteq G\) there is, for every continuous right-invariant pseudometric \(\Delta\) on \(G\), a \(\Delta\)-dense set \(H\subseteq U\) such that \(|H|\leq\kappa\)]. Among other results it is shown that if for some \(\kappa\) a group \(G\) is locally \(\kappa^+\)-bounded but not \(\kappa\)-bounded, then \(G\) is ambitable. It follows that if the least cardinal \(\lambda\) such that \(G\) is \(\lambda\)-bounded is a successor cardinal, then \(G\) is ambitable; hence every locally \(\aleph_n\)-bounded group, in particular every locally compact group, is either precompact or ambitable. It is unknown whether every \(\aleph_\omega\)-bounded group is either precompact or ambitable. A final section of the paper justifies and gives content to this sentence from the author's abstract: ``In the familiar semigroups constructed over ambitable groups, topological centres have an effective characterization.











This page was built for publication: Ambitable topological groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q837628)