Let $\omega_1$ be the first uncountable ordinal. Let $L$ denote $\omega_1 \times [0,1)$ with the order topology and smallest element removed. How can we show this space is not second countable?
Asked
Active
Viewed 1,104 times
5
-
1It has an uncountable discrete subset. – Daniel Fischer Feb 22 '14 at 18:40
-
@DanielFischer: To see that $\omega_1$ has an uncountable, discrete subset, I can just take ${\alpha +1 : \alpha \in \omega_1}$? – Mike F Dec 14 '15 at 21:36
-
@MikeF Yes, that works. – Daniel Fischer Dec 14 '15 at 21:39
1 Answers
2
If $A$ is a countable subset of $L$, say $A = \{(\alpha_n, t_n): n \in \omega \}$, then let $\alpha+1 \in \omega_1$ be an successor ordinal strictly larger than all $\alpha_n$, which can be done as all countable subsets of $\omega_1$ are bounded above. Then $(\alpha+1, \frac{1}{2})$ has a neighbourhood $\{\alpha+1\} \times (0,1)$ in $L$ that misses all members of $A$.
This shows that no countable subset of $L$ can be dense, i.e. $L$ is not separable. As a second countable space is always separable, $L$ does not have a countable base as well.
Henno Brandsma
- 242,131