On the lexicographic ordered spaces (Q2411485)

A space \(X\) is said to be base-normal [\textit{K. Yamazaki}, Topology Appl. 148, No. 1--3, 123--142 (2005; Zbl 1064.54012)] if there is an open base \( \mathcal{B}\) for \(X\) with \(| \mathcal{B}|=w(X)\) such that every binary open cover \(\{U_1, U_2\}\) of \(X\) adimits a locally finite cover \( \mathcal{B}'\) of \(X\) by members of \( \mathcal{B}\) such that \(\{cl_XB: B\in \mathcal{B}'\}\) refines \(\{U_1, U_2\}\). Let \(\{X_{\alpha}: \alpha<\gamma \}\) be a sequence of LOTSs (Linearly Ordered Topological Spaces) \(X_{\alpha}\) with the orders \(<_{\alpha}\), where \(\gamma \) is an ordinal. The lexicographic order \(<\) on the product \(X=\prod _{\alpha<\gamma}X_{\alpha} \) is defined by \[ x < y \Leftrightarrow x\upharpoonright \alpha=y\upharpoonright \alpha \text{ and } x_{\alpha}<_{\alpha }y_{\alpha}\text{ for some}~ \alpha<\gamma, \] for \(x, y\in X \), where \(x\upharpoonright \alpha\) denotes the restriction \(\langle x_{\beta}\rangle _{\beta<\alpha}\) of \(x=\langle x_{\beta}\rangle _{\beta<\gamma}\). The LOTS \(\prod _{\alpha<\gamma}X_{\alpha} \) with the lexicographic order is called a lexicographic ordered space. When \(X_{\alpha}=X\) for all \(\alpha<\gamma\), \(\prod _{\alpha<\gamma}X_{\alpha} \) is written as \(X^{\gamma}\). In the present paper the author shows the following: (1) The lexicographic ordered space \(\lambda^{\gamma}\) is base-normal for any ordinals \(\lambda\) and \(\gamma\) (2) The lexicographic ordered space \([0, 1)^{\gamma}\) is Lindelöf for each \(\gamma\leqslant \omega_1\) (3) The lexicographic ordered space \(\lambda^{\gamma}\) is Lindelöf for any \(\lambda <\omega_1\) and \(\gamma \leqslant \omega_1\).