Balleans of topological groups

Abstract

A subset S of a topological group G is called bounded if, for every neighborhood U of the identity of G, there exists a finite subset F such that S ⊆ FU, S ⊆ UF. The family of all bounded subsets of G determines two structures on G, namely the left and right balleans Bl(G) and Br(G) , which are counterparts of the left and right uniformities of G. We study the relationships between the uniform and ballean structures on G, describe all topological groups admitting a metric compatible both with uniform and ballean structures, and construct a group analogue of Higson’s compactification of a proper metric space.