Abstract
We show that strong measure zero sets (in a \(\sigma \)-totally bounded metric space) can be characterized by the nonexistence of a winning strategy in a certain infinite game. We use this characterization to give a proof of the well known fact, originally conjectured by K. Prikry, that every dense \(G_\delta \) subset of the real line contains a translate of every strong measure zero set. We also derive a related result which answers a question of J. Fickett.
Similar content being viewed by others
References
Bagemihl, F.: A note on Scheeffer’s theorem. Michigan Math. J. 2, 149–150 (1953–1954)
Borel, E.: Sur la classification des ensembles de mesure nulle. Bull. Soc. Math. Fr. 47, 97–125 (1919)
Carlson, T.J.: Strong measure zero and strongly meager sets. Proc. Am. Math. Soc. 118, 577–586 (1993)
Duda, R., Telgársky, R.: On some covering properties of metric spaces. Czechoslov. Math. J. 18(1), 66–82 (1968)
Galvin, F., Mycielski, J., Solovay, R.M.: Strong measure zero sets, Abstract 79T–E25. Not. Am. Math. Soc. 26, A-280 (1979)
Laver, R.: On the consistency of Borel’s conjecture. Acta Math. 137, 151–169 (1976)
Lelek, A.: Some cover properties of spaces. Fund. Math. 64, 209–218 (1969)
Miller, A.W.: Special subsets of the real line. In: Kunen, K., Vaughan, J.E. (eds.) Handbook of Set-Theoretic Topology, pp. 201–233. North-Holland, Amsterdam (1984)
Scheeffer, L.: Zur Theorie der stetigen Funktionen einer reellen Veränderlichen (II). Acta Math. 5, 279–296 (1884)
Sierpiński, W.: Sur un ensemble non dénombrable, donc toute image continue est de mesure nulle. Fund. Math. 11, 301–304 (1928)
Sierpiński, W.: Un théorème de la théorie générale des ensembles et ses applications. C. R. Varsovie 28, 131–135 (1935)
Acknowledgements
We thank Karel Prikry and James Fickett for communicating their conjectures and questions to us. We are grateful to John C. Morgan II for informing us of the relevant work of Bagemihl, Scheeffer, and Sierpiński and providing references. The first author, taking full responsibility for all errors and infelicities contained herein, would like to thank Marion Scheepers for his assistance in preparing this paper for publication.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Galvin, F., Mycielski, J. & Solovay, R.M. Strong measure zero and infinite games. Arch. Math. Logic 56, 725–732 (2017). https://doi.org/10.1007/s00153-017-0541-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-017-0541-z