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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Lexicographic products as compact spaces of the first Baire class
scientific article

    Statements

    Lexicographic products as compact spaces of the first Baire class (English)
    0 references
    17 October 2019
    0 references
    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.
    0 references
    0 references
    Rosenthal compactum
    0 references
    Corson compactum
    0 references
    first Baire class function
    0 references
    Corson-to-one preimage
    0 references
    lexicographic order
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references