Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Compact subspaces of metric spaces are totally bounded. In some spaces, however, this is equivalent to just being bounded. This (supposedly) holds in finite dimensional Banach spaces. Can we characterize the spaces where this is true in some way? What are the necessary conditions for boundedness to be equivalent to total boundedness?

share|improve this question
add comment

1 Answer

A metric (or uniform) space is compact if and only if is is totally bounded and complete. So a subset of a complete metric space is compact if and only if it is totally bounded and closed. Hence in a complete metric space, (bounded implies totally bounded) is equivalent to (bounded and closed implies compact), a property called the "Heine-Borel property", a phrase which might give more results through an internet search.

share|improve this answer
add comment

Your Answer

 
discard

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.