Every Sierpiński set is strongly meager (Q1354338)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Every Sierpiński set is strongly meager |
scientific article |
Statements
Every Sierpiński set is strongly meager (English)
0 references
11 September 1997
0 references
A set of reals, \(X\), is a Sierpiński set iff it is uncountable but meets every measure zero set in a countable set. A set of reals \(X\) is strongly meager (or equivalently has strong first category) iff for every measure zero set \(Z\) there is a translate of \(Z\) disjoint from \(X\). The reason for this curious nomenclature is a result of Galvin that a set of reals has strong measure zero iff every meager set can be translated away from it. It is very easy to see that a Luzin set has strong measure zero. Galvin aksed (in 1979) if (analogously) a Sierpiński set has strong first category. Some partial results were obtained by Jasinski and Weiss and Bartoszyński and Judah. In this paper Galvin's question is answered.
0 references
Sierpiński set
0 references
strongly meager
0 references
strong first category
0 references
Luzin set
0 references
strong measure zero
0 references