Solution

ID: past-exam-of-the-metric-spaces-and-complex-analysis-course-of-the-university-of-oxford/2015/1/b/solution

The empty set is bounded. Otherwise choose in the compact metric space . The open balls , , form an open cover. A finite subcover exists by compactness; because the balls are nested, the largest one already covers . Hence for some .
For , the triangle inequality gives . Thus
The proof uses only compactness and the metric, not a coordinate system.

New to topics? Read the docs here!