Sorgenfrey line is not linearly orderable
Nov 19 '15 at 23:05, 1 day 4 hours total – 15 messages, 2 users, 0 stars
Bookmarked 3 mins ago by Martin Sleziak
Nov 19 '15 at 23:05, 1 day 4 hours total – 15 messages, 2 users, 0 stars
Bookmarked 3 mins ago by Martin Sleziak
The usual argument is as follows: Lutzer showed in 1969 (in this paper) that an orderable space $X$ is metrisable iff it has a $G_\delta$ diagonal (i.e. the set $\Delta_X = \{(x,x) : x \in X\}$ is a countable intersection of open sets in $X \times X$ in the product topology).
And the Sorgenfrey ...