[Math] Why closed implies sequentially closed but not the converse

general-topology

Sure this quiestion has a quick answer but I cannot find it.

According to Wikipedia in a topological space $X$ any closed set $F\subseteq X$ is sequentially closed, but the converse anly holds when $X$ is a sequential space.

But I for the, the following proves that actually sequentially closed implies closed:

Suppose that $F$ is sequentially closed: for any $x\in X$ and any sequence $(x_n)$ on $F$ with limit $x$ then $x\in F$. But if because the definition of a limit point of a sequence , for each neighbourhood of $x$ there exists $n_0\in\mathbb N$ such that $x_n\in V$ whenever $n\geq n_0$. And because the sequence is made of eements of $F$, every neighbourhood of $x$ meets $F$. From this i conclude that every sequentially closed set is closed. Where am I laying?? Which step is false?

Because obviously my reasoning is false: for examplee the sequential topology is finer than the usual topology (I can see that open implies sequentially open). Hence the closures (and thus the closed sets) must be smaller. Also the example given by @Arthur.

Best Answer

The reason that sequentially closed doesn't imply closed is that a sequence has too few points.

The best counterexample I can think of concerns the first uncountable ordinal, usually denoted by $\omega_1$. Under the order topology, $[0,\omega_1)\subseteq [0,\omega_1]$ is sequentially closed, but not closed.

Any convergent sequence of countable ordinals (i.e. any sequence of points in $[0,\omega_1)$) has a countable limit, so $[0,\omega_1)$ is sequentially closed. But the complement of $[0,\omega_1)$ in $[0, \omega_1]$, which is just $\{\omega_1\}$, is not open, so $[0, \omega_1)$ is not closed.

You can fix this discrepancy by using nets rather than sequences. A net is a generalisation of a sequence where you use an arbitrary set with a nice enough order as the index set, rather than limiting yourself to just $\Bbb N$.


Your flaw is thinking that because $x$ is a limit point of $F$, there is a sequence of points $x_n\in F$ converging to $F$. That's not necessarily the case (as evidenced by my example above).


Mistake in the new edit: Yes, if $F$ is sequentially closed, it contains all its sequential limit points. So of course, if $x$ is the limit of a sequence in $F$, it is contained in $F$. However, that doesn't show that $F$ is closed, because there may be limit points which aren't sequential limit points. You haven't checked those, and therefore you cannot conclude that $F$ contains them, which again means you cannot conclude that $F$ is closed.