1
$\begingroup$

There has been work done on groups whose lower uniformity (or Roelcke uniformity) is totally bounded, e.g. the orthogonal group on a Hilbert space. This condition is equivalent to saying the lower completion is compact.

In a general uniform space, locally totally bounded does not imply a locally compact completion. For example, if the upper half plane in $\mathbb C$ is given the uniformity which refines all the metrics $\|x-y\|/\|cx+d\|\|cy+d\|$ for $c,d \in \mathbb Z$ relatively prime, the completion will contain only irrational points of $\mathbb R$.

On the other hand, all the examples of groups I know which satisfy the one satisfy both. Besides locally compact groups, this includes the (affine) isometry group of a Hilbert space and the isometry group of a Hilbert hyperbolic space.

$\endgroup$
1
  • $\begingroup$ I think the actual question should appear also in the body of the post, and not only in the title. $\endgroup$
    – Stefan Kohl
    Commented Oct 8, 2015 at 22:35

0

You must log in to answer this question.

Browse other questions tagged .