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

It is well-known theorem that every locally compact, homogeneous, metric space is complete. Does anybody know example of complete, homogeneous, metric space which is not locally compact?

share|cite|improve this question
up vote 2 down vote accepted

A Banach space is homogeneous since the metric is arising from a norm. An infinite dimensional Banach space has the property that its unit ball is not compact; therefore the space is not locally compact.

For a concrete example, take the space of continuous real functions on an interval with the supremum norm.

share|cite|improve this answer
What is $\alpha x$ for a metric space? I think that "homogeneous" means that the isometry group is transitive. Anyway, Banach spaces are homogeneous. – Sergei Ivanov Aug 3 '10 at 14:01
@Sergei Ivanov: The wikipedia article gives the definition only for vector spaces. I have edited the answer to include this. – Anweshi Aug 3 '10 at 14:03
I mean Definition: A metric space $(X,d)$ is called homogeneous if the group of its isometries acts transitively on $(X,d)$. – Ivan Gundyrev Aug 3 '10 at 14:05
@Ivan: In any case, Sergei Ivanov assures us that Banach spaces are homogeneous. Infinite dimensional Banach spaces are complete and not locally compact. Therefore it would be an example. If you want a concrete example you can take the space of continuous functions on an interval, with supremum norm. – Anweshi Aug 3 '10 at 14:08
I have edited the answer. – Anweshi Aug 3 '10 at 14:22

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.