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.
Articles by others on the same topic
There are currently no matching articles.