Paper 1, Section II, G
Let be a metric space with the distance function . For a subset of , its diameter is defined as .
Show that, if is compact and is an open covering of , then there exists an such that every subset with is contained in some .
Typos? Please submit corrections to this page on GitHub.