On partitions of Ellentuck-large sets (Q2446499): Difference between revisions

Let \([ \omega ]^ \omega _{\text{EL}}\) denote the set of all infinite subsets of \( \omega\), endowed with the Ellentuck topology [\textit{E. Ellentuck}, J. Symb. Log. 39, 163--165 (1974; Zbl 0292.02054)]. A partition \(\mathcal F\) of a topological space \(X\) is called a Kuratowski partition if all members of \(\mathcal F\) are meager and \(\bigcup \mathcal F'\) has the Baire property, for every \(\mathcal F' \subseteq \mathcal F\). The authors prove that no non-meager subspace of \([ \omega ]^ \omega _{\text{EL}}\) admits a Kuratowski partition. They also prove that if there exists a Baire space with a Kuratowski partition, then there exists a Baire metric space with such a partition. The main motivations for the paper stem from problems about continuous restrictions of functions to large sets. The authors thoroughly discuss the connections among classical theorems about the subject, some aspects of Descriptive Set Theory, and the results and the notions presented in the paper, providing many interesting remarks.