A classification of CO spaces which are continuous images of compact ordered spaces (Q2470423)

A \textsl{CO space} is a space \(X\) in which every closed subset is homeomorphic to a clopen subset of \(X\). The aim of this paper is to characterize those compact Hausdorff CO spaces which are a continuous image of a compact LOTS. In order to give the characterization the following notation is needed: For ordinals \(\lambda\) and \(\mu\), let \(\mu^{*}\) denote the reverse ordering of \(\mu\), \(X_{\lambda,\mu}\) the space \(\lambda+1+ \mu^{*}\) and \(\alpha(X_{\lambda,\mu})=\max(\lambda,\mu).\omega\). The main theorem then states that \(X\) is a compact Hausdorff CO space which is a continuous image of a compact LOTS if and only if there is a finite partition of \(X\) into clopen sets \(\{Z,Y_0,\dots, Y_{k-1}\}\) such that (1) Each \(Y_i\) is either the one point compactification of the discrete space of cardinality \(\omega_1\) or is \(X_{\lambda,\mu}\) for some infinite regular cardinals \(\lambda\) and \(\mu\) (\(\mu>\omega\)); (2) \(Z\) is a successor ordinal \(\beta\), and (3) \(\beta>\alpha(Y_i)\) for each \(i<k\). In Section 2, which takes up half of this paper, it is shown that such CO spaces must be scattered, while the remaining 5 sections study scattered spaces which are a continuous image of a compact LOTS. The characterization is finally proved in Section 6. A 2 page index of notation is included at the end of the paper.