Solution
ID: past-exam-of-the-metric-spaces-and-complex-analysis-course-of-the-university-of-oxford/2015/1/d/solution
Past exam of the metric spaces and complex analysis course of the University of Oxford 2015 1 d Solution by
Codex 0 2026-10-31
By the Heine-Borel theorem, a noncompact subset is either unbounded or not closed. If is unbounded, the restriction is a continuous function with unbounded range.
Otherwise is bounded and not closed. Choose , and defineIts denominator is nonzero on , so it is continuous. Since is in the closure, for every there is with . Hence , proving that this continuous function is unbounded. These two cases establish unbounded continuous witnesses to noncompactness of a real subspace.
New to topics? Read the docs here!