- Thread starter
- #1

- Thread starter Amer
- Start date

- Thread starter
- #1

- Moderator
- #2

- Feb 7, 2012

- 2,807

This space does not have the discrete topology, because every limit ordinal fails to be a discrete point. In fact, this space is not first countable because the endpoint $\omega_1$ does not have a countable local base. See http://en.wikipedia.org/wiki/First-countable_space#Examples_and_counterexamples.Is the subset of the ordinals space

[tex]\omega = [1, \omega_1 ] [/tex] first countable

It has discrete topology so it is first countable, countable local base at each point

is it correct ?

- Thread starter
- #3