\( \pi \)-spaces and their open images (Q2683758)
From MaRDI portal
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
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
\(\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