It's been a few years since I studied point-set topology, and I'm a bit rusty on the basics. Would appreciate help with the following question.

Suppose $f:X\rightarrow Y$ is a map between two topological spaces, and I know that for any sequence $x_n\rightarrow x$ in $X$, there is a subsequence $x_{n_k}$ such that $f(x_{n_k})\rightarrow f(x)$. Does it follow that $x_n\rightarrow x\Rightarrow f(x_n)\rightarrow f(x)$? In the case when $X$ is first countable, the first condition is enough to imply that $f$ is continuous (I believe), and so the second condition must hold. I suspect this isn't true for general $X$, but I can't come up with a counterexample.


  • 1
    $\begingroup$ What do you mean $x\to x_n$? Did you mean $x_n\to x$? $\endgroup$ Jul 23, 2012 at 16:42
  • $\begingroup$ Yes, I did. Fixed. $\endgroup$
    – user17945
    Jul 23, 2012 at 17:29

1 Answer 1


If $x_n\to x$ and $f(x_n)$ doesn't converge to $f(x)$, take $V$ a neighborhood of $f(x)$ such that for infinitely many $k$, $f(x_k)\notin V$. We can write this infinitely many as a subsequence $x_{n_k}$. We have $x_{n_k}\to x$, but we can't extract a subsequence of $\{f(x_{n_k})\}$ which is convergent to $f(x)$.

  • $\begingroup$ Wow, I really am rusty :) This is so straightforward. Thanks a lot for clearing up my confusion. $\endgroup$
    – user17945
    Jul 23, 2012 at 16:28

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .