Continuous images of closed sets in generalized Baire spaces (Q891163): Difference between revisions

This impressive paper investigates generalized Baire spaces of the form \({}^\kappa \mu\) where \(\kappa\) is uncountable with \(\kappa^{<\kappa}=\kappa\), and the topology is determined by partial functions with domain smaller than \(\kappa\). The authors prove: {\parindent=0.7cm \begin{itemize}\item[(1)] There is a closed subset of \({}^\kappa \kappa\) that is not a continuous image of \({}^\kappa \kappa\) (in contrast to the Baire space \({}^\omega \omega\)). \item[(2)] There is an injective continuous image of \({}^\kappa \kappa\) that is not \(\kappa\)-Borel (again, this contrasts with the situation in the Baire space \({}^\omega \omega\)). \item[(3)] The statement ``every continuous image of \({}^\kappa \kappa\) is an injective continuous image of a closed subset of \({}^\kappa \kappa\)'' is independent of ZFC. \item[(4)] The statement ``\(2^\kappa > \kappa^+\) implies every closed subset of \({}^\kappa \kappa\) is a continuous image of \({}^\kappa(\kappa^+)\)'' is independent of ZFC. \end{itemize}} These results show that many of the naively expected results that one might guess at by working with the Baire space either become false for these generalized Baire spaces, or become sensitive to one's set-theoretic universe.