English

On partitions of Ellentuck-large sets

Logic 2014-03-28 v4 General Topology

Abstract

It is proved that no non-meager subspace of the space [ω]ω[\omega]^\omega equipped with the Ellentuck topology does admit a Kuratowski partition, that is such a subset cannot be covered by a family F\mathfrak{F} of disjoint relatively meager sets such that F\bigcup\mathfrak{F}' has the Baire property (relatively) for every subfamily FF\mathfrak{F}'\subseteq\mathfrak{F}. It is also shown that the existence of Kuratowski partitions is not a metric problem. Some remarks concerning continuous restrictions of functions with domain in the Ellentuck space are made.

Keywords

Cite

@article{arxiv.1206.5581,
  title  = {On partitions of Ellentuck-large sets},
  author = {Ryszard Frankiewicz and Sławomir Szczepaniak},
  journal= {arXiv preprint arXiv:1206.5581},
  year   = {2014}
}