Every Sierpiński set is strongly meager (Q1354338): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s001530050045 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2076686908 / rank | |||
Normal rank |
Latest revision as of 02:26, 20 March 2024
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