I'm trying to prove that a map between a metric and topological space is continuous at x iff for every converging sequence in the materic space, the map of the sequence converges in the topological space.

I was able to prove the forward case without too much trouble, but I'm having trouble proving that converging sequences imply continuity.

I've assumed for contradiction that the map is not continuous and then invoked the definition of continuity to say there is an open neighborhood of x whose preimage is closed, but I'm having trouble piecing together a contradiction on convergence from this.


Your idea (proof by contradiction) is a good one, but there's a problem. I will denote the metric space and its metric by $M,d;$ the topological space, by $T.$ Assuming $f:M\to T$ is not continuous means that there is an open subset $U$ of $T$ whose pre-image is not open. This is not the same as saying that the pre-image is closed--sets (unlike doors) may be closed, open, both, or neither.

Since $f^{-1}[U]$ is not open, then there is some $x\in f^{-1}[U]$ such that for all $r>0,$ there is some $y\in M$ with $d(x,y)<r$ and $y\notin f^{-1}[U].$

Can you use this fact to show that there is a sequence of points of $M$ converging to $x$, each of which lies outside of $f^{-1}[U]$? Once you've done that, can you take it from there?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.