Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

For a subset of a metric space, quoted from Wikipedia:

Total boundedness implies boundedness. For subsets of $\mathbb{R}^n$ the two are equivalent.

I was wondering what are some more general conditions for a metric space than being $\mathbb{R}^n$, so that boundedness can imply totally boundedness?

Thanks and regards!

share|cite|improve this question
Compactness certainly does the trick. – JSchlather Apr 19 '11 at 22:14
up vote 7 down vote accepted

A metric space is totally bounded if and only if its completion is compact. A subset of a complete metric space is totally bounded if and only if its closure is compact. A metric space $X$ has the property that its bounded subsets are totally bounded if and only if the completion of $X$ has the property that its closed and bounded subsets are compact, a property sometimes called the Heine-Borel property.

Montel spaces are examples of these.

Here's an open access article by Williamson and Janos you may find interesting. For example, Theorem 1 (which they credit to a 1937 paper of Vaughan) says that a metrizable, $\sigma$-compact, locally compact topological space has a compatible metric with the Heine-Borel property.

share|cite|improve this answer

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.