Assume every continuous function is bounded. The Euclidean norm function is continuous, so its boundedness proves that is a bounded set.
If were not a closed set, there would be . Choose with . The function is continuous everywhere on , because its denominator is nonzero there. Yet , contradicting the hypothesis. Thus is closed. Together with the two previous implications this proves all three conditions are equivalent. The empty set satisfies all three conditions trivially. This is the Euclidean case of the bounded-continuous-function characterization of compact metric spaces.
Articles by others on the same topic
There are currently no matching articles.