Solution

ID: past-exam-of-the-options-i-course-of-the-university-of-oxford/2005/e/2/solution

Continuity means that the inverse image of every open subset of is open in . If and is an open neighborhood of , then is an open neighborhood of , so it meets . Thus meets . The closure characterization gives
If is empty the assertion is immediate. Otherwise, if is bounded, choose a centre and with for all . The closed ball is closed because . It therefore contains . Hence the closure of a bounded set is bounded. Empty sets cause no exception. If is bounded, its closure is bounded by this result, and the displayed inclusion makes bounded too.

New to topics? Read the docs here!