[Math] Definition of sequential continuity: converse

continuityfunctional-analysisreal-analysis

A function $f: \mathbb R \to \mathbb R$ is called sequentially continuuous if

$x_n \to x$ implies $f(x_n) \to f(x)$.

Every continuous function is sequentially continuous. Let $f$ be a continuous function on $\mathbb R$.

If $y_n = f(x_n)$ is a convergent sequence does it follow that $x_n$
is a convergent sequence?

At first I thought that yes because: assume $f(x_n) \to f(x)$ but $x_n \not\to x$. Say, $x_n \to z$. Then since $f$ is sequentially continuous, $f(x_n) \to f(z)\neq f(y)$. Although $x_n \not\to x$ is not equivalent to $x_n$ converging to a different value it seems that the case where $x_n$ diverges can be treated similarly.

But then I came up with an almost counterexample: Let $x_n =n$ and $f(x) = {1\over x}$. Then $f(x_n) \to 0$ but $x_n \to \infty$. The problem is, this $f$ is not defined on $\mathbb R$ and also, there is no $x$ with $f(x_n) \to f(x)$.

Is it possible that $f(x_n) \to f(x)$ implies $x_n \to x$?

Best Answer

Take any constant function. Then $y_n$ is trivially convergent for any $x_n$.