# $\omega_1$ is a limit point of the subset $[0,\omega_1)$

In the Wiki of order topology, I encounter the following statement.

$\omega_1$ is a limit point of the subset $[0,\omega_1)$ even though no sequence of elements in $[0,\omega_1)$ has the element $\omega_1$ as its limit.

I have no idea how to prove it.

Recall that for any topological space $X$ and a subset $Y$ in $X,$ we say that $y\in Y$ is a limit point of $Y$ if every neighbourhood of $y$ contains at least one element of $Y$ different from $y$ itself.

• In which topological space are you working? – Lord Shark the Unknown Aug 22 '18 at 12:10
• I am working in ordinal space. – Idonknow Aug 22 '18 at 12:11
• What is "ordinal space"? (don't forget Burali-Forti!) – Lord Shark the Unknown Aug 22 '18 at 12:12
• Set of ordinal numbers with order topology – Idonknow Aug 22 '18 at 12:13
• Burali-Forti${}$! – Lord Shark the Unknown Aug 22 '18 at 12:16

$\omega_1$ is a limit point of $[0, \omega_1)$.
Indeed, suppose that we have an open $(a, b)$ that contains $\omega_1$ (after all, open intervals, together with rays, form a topology base). Then $a < \omega_1$, so $a$ is countable, and the successor ordinal will be as well, proving the statement.
No sequence within $[0, \omega_1)$ converges to $\omega_1$.
Let $(x_n)_{n \in \mathbb N}$ be any sequence in $[0, \omega_1)$. Then their union $x_\infty$ will be a countable upper bound, since the union of countable sets is countable. Thus, $(x_\infty, \omega_1 + 1)$ will be an open set containing $\omega_1$ but no element of $(x_n)_{n \in \mathbb N}$.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}