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 .