Orderability of subspaces of well-orderable topological spaces (Q1041653)

Let \(({X,<)}\) be a linearly ordered set. The \textit{order topology} \(\lambda({X,<)}\) on {\(X\)} is defined by means of the subbase consisting of the sets \(\{ {x \in X: a<x \}}\), \(\{ {x\in X:x<b \} }\) for all \({a,b \in X}\). The topological space \({(X},\lambda({X,<}))\) is called an \textit{ordered space} and in case \(<\) being a well-order a \textit{well-ordered space}. A topological space (\({X, \tau})\) is said to be \textit{orderable (well-orderable}) if there is a linear order (well-order) \(<\) such that the order topology defined by this order \(<\) agrees with the topology \(\tau\). The main results of this paper are contained in Theorems 3.1 and 4.1. The former states that \textit{each subspace of a well-ordered space is orderable.} The latter characterizes when this subspace is well-orderable as follows: For a subspace {\(X\)} of an ordinal let Lim({X}) equal the set of all cluster points of {\(X\)} in the class of all ordinals and {\(G\)} = Lim({X}) \(\setminus {X}.\) Then we have: \textit{The space \(X\) is well-orderable if and only if one of the following conditions is true:} (i) \({X} \cap\) Lim({G}) = \( \emptyset\) \textit{and the cofinality of each ordinal from G equals} \(\omega\), (ii) \(|{G}| \leq\) 1.