When is an accumulation point not the limit of some sequence in a topological space?

Question

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.

Answer 1

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!

Answer 2

Another example: An uncountable space $X$ with countable complement (co-countable) topology.

Proof: Pick any point $x\in X$. It is the accumulation point of $A=X\setminus \{x\}$, however it is not the limit point of $A$. Since for any countable subset $S$ of $A$, $U=X\setminus S$ is an open set of $x$, which satisfies that $U \cap S=\emptyset$.

Answer 3

Here is a compact Hausdorff example you might consider more friendly.

Let $X$ be the "cube" $[0,1]^{[0,1]}$. That is, the space of all functions $[0,1] \to [0,1]$ in the topology of pointwise convergence. Let $A = \{ f \in X : f \text{ is continuous, and } \int_0^1 f(t) \ dt \geq 1/2\}$. Then, the zero function is an accumulation point of $A$ (for every finite set $x_1,\ldots,x_n \in [0,1]$, there is an $f \in A$ which vanishes at all of them). But, there can be no sequence $f_n \in A$ converging pointwise to zero (hint: use the Lebesgue dominated convergence theorem).

One can also cut $[0,1]^{[0,1]}$ down to the subspace of polynomial functions with rational coefficients to get an example where the space $X$

• has countably many points
• is a Tychonoff space (being a subspace of $[0,1]^{[0,1]}$)
• is zero-dimensional in the sense that, whenever $f,g \in X$ are distinct, there is a parition of $X$ into open sets $U,V$ so that $f \in U, g \in V$.

I took this example from a little "mock paper" I wrote for a course once. See Example 4 in http://arxiv.org/abs/1210.1008.

Answer 4

Now it is certainly true that if a sequence $x_n∈A$ tends to some limit $x∈X$, $x$ must be an accumulation point of $A$

Unless the sequence is constant, right?

For example, if X is first countable (e.g. any metric space)

Metric spaces don't need countable space?