MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


I am trying to show that every metrizable locally compact topological group admits a complete metric generating the topology of the group

share|cite|improve this question
Could you please give some background or motivation (why do you want to know? why do you think it's true? for which examples do you know it's true? etc) – Yemon Choi Aug 15 '11 at 20:41
suggestions: Choose one side, say left. Show that the left uniformity is complete. Show that a left-invariant metric exists. Relate these two. – Gerald Edgar Aug 15 '11 at 21:24
If you make the completion of the metric space (taking the Cauchy sequences) this is coherent by algebraic group operations – Buschi Sergio Aug 15 '11 at 21:56

Every second countable, locally compact group admits a metric which is left-invariant, generates the topology, and is proper (i.e. closed balls are compact). See Theorem 4.5 in

Such a metric is clearly complete.

share|cite|improve this answer
However, the solution for the homework-type problem proposed was known long before 2006. – Gerald Edgar Aug 16 '11 at 12:06
@Gerald: Indeed, Yves Cornulier just pointed out to me this paper: Struble, Raimond A. Metrics in locally compact groups. Compositio Mathematica, 28 no. 3 (1974), p. 217-222 – Alain Valette Aug 16 '11 at 14:36

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.