Lexicographic products as compact spaces of the first Baire class (Q2329342)

A topological space \(K\) is called a Rosenthal compactum if it is homeomorphic to a compact subspace of the space \(B_1(P)\) of functions of the first Baire class, defined on a Polish space \(P\) and taking values in \(\mathbb{R}\). The authors consider the subclasses \(\mathcal{RK}\), \(\mathcal{RK}_0\) and \(\mathcal{CD}\) of the class \(\mathcal{R}\) of Rosenthal compacta, where the subclasses are defined as follows: \(K\in \mathcal{RK}\) if and only if \(K\) is homeomorphic to a compact subspace of the space \(B_1(P)\) for some compact metric space \(P\); \(K\in\mathcal{CD}\) if and only if there exists a compact metric space \(X\) such that \(K\) is homeomorphic to a compact subspace of the space of functions \(f: X\to\mathbb{R}\) such that the set of all points of discontinuity of \(f\) is at most countable; \(K\in\mathcal{RK}_0\) if and only if there is a compact metric space \(X\) such that \(K\) is homeomorphic to a compact subspace \(Y\) of \(B_1(X)\) such that \(Y\) is the closure in \(B_1(X)\) of a set of continuous real functions on \(X\). All the function spaces are considered with the pointwise topology. Given a class \(\mathfrak{C}\) of compact spaces, it is said that a compact Hausdorff space \(K\) is a \(\mathfrak{C}\)-to-one preimage of a metrizable space if there exist a metrizable space \(M\) and a continuous map \(f:K\to M\), such that \(f^{-1}(x)\in\mathfrak{C}\) for each \(x\in M\). A Corson compactum is a space homeomorphic to a compact subspace \(K\) of \(\mathbb{R}^{I}\) for some set \(I\) such that, for each pair of point \(x,y\in K\), the set \(\{ i\in I: x(i)\neq y(i)\}\) is at most countable. If \(\mathfrak{C}\) is the class of all Corson compacta, then a \(\mathfrak{C}\)-to-one preimage of a metrizable space \(M\) is called a Corson-to-one preimage of \(M\). The authors notice that every space from \(\mathcal{CD}\) is a Corson-to-one preimage of a metrizable space. For a countable ordinal \(\alpha\) and a subset \(J\) of the unit interval \([0,1]\), the authors consider the lexicographic order \(\prec\) on \(J^{\alpha}\) defined as follows: for distinct \(x,y\in J^{\alpha}\), \(x\prec y\) if, for the first ordinal \(\beta\in\alpha\) such that \(x(\beta)\neq y(\beta)\), it holds that \(x(\beta) < y(\beta)\) where \(\leq\) is the standard linear order on \(J\). Then \(\mathcal{H}_{\alpha}\) is the space of all functions \(f:\{0, 1\}^{\alpha}\to [0, 1]\) such that, for all \(x,y\in\{0,1\}^{\alpha}\), if \(x\prec y\), then \(f(x)\leq f(y)\). The authors show that \(\mathcal{H}_{\alpha}\) is a Rosenthal compactum which is a subspace of a Rosenthal compactum from the class \(\mathcal{RK}_0\). If \(\alpha<\omega\cdot\omega\), then \(\mathcal{H}_{\alpha}\) is a subspace of a continuous image of a separable space from \(\mathcal{CD}\). The authors also prove that, if \(\tau_{\prec}\) is the topology induced by the lexicographic order on the space under consideration, for every countable ordinal \(\alpha\), the space \(([0,1]^{\alpha}, \tau_{\prec})\) is a Rosenthal compactum which is a subspace of a Rosenthal compactum from the class \(\mathcal{RK}_0\). Moreover, the spaces \((\{0,1\}^{\omega\cdot2+1}, \tau_{\prec})\) and \(([0,1]^2\times\{0, 1\}, \tau_{\prec})\) are examples of spaces in the class \(\mathcal{RK}\setminus\mathcal{CD}\) because they are not Corson-to-one preimages of compact metrizable spaces.