License
On countably perfectly meager and countably perfectly null sets
Abstract (EN)
We study a strengthening of the notion of a universally meager set and its dual counterpart that strengthens the notion of a universally null set. We say that a subset A of a perfect Polish space X is countably perfectly meager (respectively, countably perfectly null) in X, if for every perfect Polish topology τ on X, giving the original Borel structure of X, A is overed by an Fσ -set F in X with the original Polish topology such that F is meager with respect to τ (respectively, for every finite, non-atomic, Borel measure μ on X, A is covered by an Fσ -set F in X with μ(F ) = 0). We prove that if 2ℵ0 ≤ ℵ2, then there exists a universally meager set in 2N which is not countably perfectly meager in 2N (respectively, a universally null set in 2N which is not countably perfectly null in 2N).