\( \pi \)-spaces and their open images (Q2683758)

From MaRDI portal
Revision as of 07:25, 7 August 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
\( \pi \)-spaces and their open images
scientific article

    Statements

    \( \pi \)-spaces and their open images (English)
    0 references
    0 references
    0 references
    15 February 2023
    0 references
    A \(\pi\)-space is defined by Souslin schemes as follows: there exists an open Souslin scheme \(\langle V_\alpha\rangle_{\alpha\in{}^{<\omega}\omega}\) on \(X\) that partitions \(X\), has strict branches, and such that the family \(\{V_\alpha: \alpha\in{}^{<\omega}\omega\}\) is a \(\pi\)-base for \(X\). In this paper, the authors prove that being a \(\pi\)-space is equivalent to being the preimage of the Baire space \(\omega^\omega\) under a continuous quasi-open bijection. Thus every second-countable \(\pi\)-space has a Lusin \(\pi\)-base, and every space of a Lusin \(\pi\)-base is a \(\pi\)-space. The main result of this paper is to characterize the continuous open images of \(\pi\)-spaces as follows: Choquet spaces of countable \(\pi\)-weight and of cardinality not greater than that of the continuum.
    0 references
    0 references
    \(\pi\)-space
    0 references
    Choquet space
    0 references
    Lusin \(\pi\)-base
    0 references
    Baire space
    0 references
    Souslin scheme
    0 references
    open map
    0 references

    Identifiers