Gδ-open functionally bounded subsets in topological groups

AbstractThis paper deals with functionally bounded sets of a topological group which are Gδ-dense in their closure in the bilateral completion of the group. We prove that the functionally bounded sets with this property coincide, for topological groups, with a kind of functionally bounded sets introduced by Isiwata: the hyperbounded sets. We prove that when B is a hyperbounded set of a topological group G which has a Gδ-open subset dense in B, then B has only one compatible uniformity, the one inherited from G. We also prove that for any functionally bounded Gδ-open subset A of a topological group G, the space clGA belongs to the Frolik's class B, i.e., the Cartesian product of clGA by any pseudocompact space is a pseudocompact space. As a consequence we get that every compact topological group is the Stone-Čech compactification of any of its Gδ-dense subsets