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

Of course, the two notions are independent one from the other, but often one of them implies the other under some additional hypotheses. For instance:

A topological vector space is finite dimensional if and only if it is locally compact.

A locally compact topological group with no small subgroups is a finite dimensional Lie group. (Gleason-Montgomery-Zippin)

A locally arcwise topological group admitting a continuous injective map into a finite dimensional metric space is a finite dimensional Lie group. (Gleason-Palais)

I would like to collect results of this sort in general, and especially concerning topological groups. Does anyone know of any other significant examples?

share|cite|improve this question

Your Answer


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

Browse other questions tagged or ask your own question.