On Souslin sets and embeddings in integer-valued function spaces on \(\omega_1\) (Q1379778)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On Souslin sets and embeddings in integer-valued function spaces on \(\omega_1\) |
scientific article |
Statements
On Souslin sets and embeddings in integer-valued function spaces on \(\omega_1\) (English)
0 references
20 September 1998
0 references
Souslin sets of a topological space \(X\) are projections of Borel subsets of \(X\times \mathbb{N}^{\mathbb{N}}\) to \(X\). Theorem 1.1 says that every uncountable Souslin subset \(S\) of the \(\Sigma\)-product \(\Sigma (\mathbb{N}^{\aleph_1})\) contains a Cantor set or it contains \(\omega_1\) or \(S= \{x_\alpha\); \(\alpha< \omega_1\}\), with \(\{x_\alpha\); \(\alpha<\beta\}\) closed for \(\beta< \omega_1\). In particular, \(S\) is either \(\sigma\)-scattered or contains a Cantor set. It is known that this dichotomy holds in cover-analytic spaces (a result of R. W. Hansell). However, it is shown that \(\Sigma (\mathbb{N}^{\aleph_1})\) is not cover-analytic. Theorem 1.1 is proved using a special parametrization of the \(\Sigma\)-product by a Borel measurable map from the Baire space \(B(\aleph_1)\). An alternative proof, going back to a Corson argument, is also sketched. Natural partition of \(\Sigma (\mathbb{N}^{\aleph_1})\) into \(\aleph_1\) layers is considered and a refinement of the above result is obtained. It enables also to improve a result of Kanovei result solving Luzin's problem on the intersections of a Souslin subset of the classical space of well-orderings on positive rational numbers, \(WO\), with the constituents \(WO_\xi\). A locally countable non-Souslin subset of \(\Sigma (\mathbb{N}^{\aleph_1})\) is shown to exist. This answers a question of Kemoto and Yajima. Interesting results on closed embeddings are also obtained. In particular, there is a closed locally countable subset of \(\mathbb{N}^{\aleph_1}\) that is not \(\sigma\)-relatively discrete. There is also a closed perfectly normal subspace of \(\mathbb{N}^{\aleph_1}\) that is locally homeomorphic with irrationals but not a countable union of closed subspaces with finite covering dimension.
0 references
Souslin set
0 references
Luzin's constituents
0 references
relatively discrete set
0 references
covering dimension
0 references
left-separated
0 references
closed embedding
0 references
\(\Sigma\)-product
0 references
Cantor set
0 references