Are compact sets in a geodesic metric space necessarily bounded? What about, if the space is proper?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
Compact sets in any metric space are bounded. This is easily seen by taking any point of the set and covering the space with the union of open balls of radius $n$ centered on that point.