Assume inverse images of open sets are open. If and is any open neighbourhood of , then is an open neighbourhood of . By the definition of convergence in a metric space, eventually, and hence eventually. Thus .
Articles by others on the same topic
There are currently no matching articles.