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