closed ball in general metric space?

Question

Is it true that in general complete metric space $(M,d)$, a closed ball of radius $r$ centered at $p\in M$ is always compact? That is, the ball is the set of all points $\left\{x:d(x,p)\leq r\right\}$.

Answer 1

No. If $(M,d)$ is an infinite set endowed with the discrete metric $d$, then $M$ is the closed ball around any one of its points of radius $1$. However, $M$ is not compact.

Given any metric space $(M,d)$, you can define a new metric space $(M,d')$ by $d'(x,y) = \min\{d(x,y),1\}$. These metric spaces have the same topology. But $M$ is now bounded, so if $M$ is not compact with the metric $d$ then it is still not compact with the metric $d'$.

Answer 2

Any metric space $(M,d)$ can be given a new metric which induces the same topology, but in which the entire space has finite diameter by setting $$d'(x,y)=\frac{d(x,y)}{1+d(x,y)}.$$ It follows that if $M$ is not compact, then all balls with radius larger than $1$ in this new metric $d'$ must also be non-compact.

Answer 3

A subset $E$ of a metric space $X$ is said to be totally bounded if $E$ is contained in the union of finitely many open balls of radius $\varepsilon$, for every $\varepsilon>0$.

Let $X$ be a complete metric space.Then $E\subset X$ is compact if and only if it is closed and totally bounded.(Functional analysis by Walter Rudin appendix 4)

Answer 4

For a Banach space $X$ the closed unit ball is compact iff dim $X<\infty$.