General Topology – When is an Accumulation Point Not the Limit of Some Sequence in a Topological Space?

general-topologysequences-and-series

In a general topological space $(X,\tau)$ we define an accumulation point $x_0$ of a set $A$ to be a point such that any open neighbourhood about $x_0$ intersects $A$.

Now it is certainly true that if a sequence $x_n\in A$ tends to some limit $x \in X$, $x$ must be an accumulation point of $A$ since $x_n$ lies in any open neighbourhood of $x$ for all $n$ sufficiently large, and so lies in the intersection of this open neighbourhood and $A$.

What I would like to know is: Are there any (preferably elementary) examples of a topological space with a subset $A$ that has an accumulation point which is not the limit of any sequence in $A$. I would also appreciate information on any conditions on a space which imply that any accumulation point of $A$ is the limit of some sequence in $A$.

For example, if $X$ is first countable (e.g. any metric space) then it is easy to show that any accumulation point of $A$ must be the limit of some sequence of points in $A$. Intuitively this is because for a given point $x$, we can find a nested sequence of open sets that "get smaller" and can eventually be contained in any open neighbourhood of $x$, so these nested open sets "contract around $x$, allowing us to find such a sequence.

Best Answer

Here are two examples:

  1. The closed ordinal space $\omega_1 + 1 = [ 0 , \omega_1 ]$ consisting of all countable ordinals as well as the least uncountable ordinal $\omega_1$. It is easy to see that $\omega_1 \in \overline{[ 0 , \omega_1 )}$, but since any sequence in $[0 , \omega_1 )$ is countable, it has an upper bound $\beta$ which is a countable ordinal, and $( \beta , \omega_1 ]$ is an open neighbourhood of $\omega_1$ disjoint from the sequence.

  2. The Stone–Čech compactification $\beta \mathbb{N}$ of the discrete space $\mathbb{N}$. This space has the property that there are no non-trivial (i.e., not eventually constant) convergent sequences. (For quite a bit of basic information about this space see Dan Ma's Topology Blog.) We have that $\mathbb{N}$ is a dense subset of $\beta \mathbb{N}$, but no sequence in $\mathbb{N}$ can converge outside of $\mathbb{N}$.

(Consider also this previous answer of mine, and possibly also this question and its answers.)


For the interested:

One may be lead to believe that the problem is that sequences are "too short", and that things would change if only we were allowed to use "longer" sequences. This is almost true.

Definition. A topological space $X$ is called radial if for any $A \subseteq X$ and any $x \in \overline{A}$ there is a transfinite sequence $\langle x_\xi \rangle_{\xi < \alpha}$ (where $\alpha$ is an ordinal) in $A$ which converges to $x$. (The definition of convergence in this sense is the natural extension of sequential convergence.)

It is not too difficult to show that $\omega_1 +1$ is radial (in fact, we only need to allow sequences of length $\omega_1$ to capture this property).

However $\beta \mathbb{N}$ is not even radial!

Related Question