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 . ThusThe proof uses only compactness and the metric, not a coordinate system.
Articles by others on the same topic
There are currently no matching articles.