Continuity and image of convergent sequences

Construct a space which has a point which is not the limit of any sequence of points different from it, but which can be reached by a net (in other words, which is not isolated)

For example, let $\Omega$ be the smallest uncountable ordinal, let $X=\Omega+1$, and put the order topology on $X$. The biggest element $p$ in $X$ is such a point. Let $f:X\to X$ coincide with the identity map on $\Omega$ but with $f(p)=0$.


The characterization of continuous functions in terms of preservation of limits of sequences works well in a large class of topological spaces, but not all spaces. Better than restricting the class of spaces under consideration is to replace sequences with something better equipped to deal with the general case, namely nets or filters.

For this topic I recommend my notes on convergence in topological spaces. (Often I recommend my own notes just because I know what's in them and that they are available on the internet. This is an instance where I wouldn't really know where else to point to, as the standard texts all seem to tell different portions of the full story.)

Some specifics:

Proposition 2.3 shows that if $f: X \rightarrow Y$ is a map between topological spaces with $X$ first countable, then $f$ is continuous iff it preserves all limits of sequences.

In $\S 2.2$ I mention that the previous fact holds more generally when $X$ is sequential, which is the class of spaces studied in that section.

[This leaves open the question of giving a clean necessary and sufficient condition on a space $X$ such that for all spaces $Y$, a map $f: X \rightarrow Y$ is continuous iff all limits of sequences are preserved. I haven't really thought about this, but it would be interesting if there were a nice answer.]

In $\S 3$ I discuss nets. Proposition 3.2 shows that a map $f: X \rightarrow Y$ is continuous iff it preserves all limits of nets in $X$.

In $\S 5$ I discuss filters. Proposition 5.14 gives the analogous characterization of continuity in terms of preservation of convergent filters (actually "prefilters", which are more often called filter bases, but it is easy to see that this result remains true with all instances of "pre" omitted).


EDIT: My post is about the spaces fulfilling the condition: If $x_n$ converges to $x$, then $f(x_n)$ converges to $f(x)$.

It seems, the you were asking about weaker condition: If $x_n$ is convergent, then $f(x_n)$ is convergent (as pointed out by Nate Eldredge).

I'll leave my answer, since it might be interesting for you anyway. (Any counterexample to the stronger condition is a counterexample to the weaker condition as well.)


This is true if $X$ is a sequential space. This paper gives a good introduction into the topic. Example 3.6 in this paper is an example of space that is not sequential. You can also find some useful information in this blog and its continuation. This question is also related to sequential spaces.

Your claim is true for arbitrary topological spaces if you replace sequences with nets.

There are many examples of spaces that are not sequential. Any non-discrete topological space with no non-trivial convergent sequences will do, such as cocountable topology on an uncountable set (see wikipedia article) or Stone-Čech compactification of countable discrete space (see this question).

For a space $X$ where every convergent sequence is eventually constant, you can take a discrete topological space $Y$ having at least 2 points. Then every function $f:X\to Y$ preserves convergence of sequences. But all such functions are continuous only if $X$ is discrete.

I will give the following counterexample (again, in this space all convergent sequences are eventually constant):

Counterexample

In this picture every arrow represents a convergent sequence (i.e. a topological space on a countable set, that has unique accumulation point and the neighborhoods of this point are precisely the cofinite sets; e.g. $\{0\}\cup\{1/n; n\in\mathbb N\}$ as the subspace of real line has this topology). If we make a quotient of a topological sum of such spaces (in the way given in this picture), we get a sequential space. The picture shows a subspace of a sequential space that is not sequential. (There is only one point that is not isolated. No sequence of isolated points converges to this point. Showing this is basically an exercise in working with quotient topology.)