Dirichlet sets, Erdős-Kunen-Mauldin theorem, and analytic subgroups of the reals

Eliaš, Peter

doi:10.1090/S0002-9939-2010-10639-1

Dirichlet sets, Erdős-Kunen-Mauldin theorem, and analytic subgroups of the reals
HTML articles powered by AMS MathViewer

by Peter Eliaš PDF

Proc. Amer. Math. Soc. 139 (2011), 2093-2104 Request permission

Abstract:

We prove strengthenings of two well-known theorems related to the Lebesgue measure and additive structure of the real line. The first one is a theorem of Erdős, Kunen, and Mauldin stating that for every perfect set there exists a perfect set of measure zero such that their algebraic sum is the whole real line. The other is Laczkovich’s theorem saying that every proper analytic subgroup of the real line is included in an $F_\sigma$ set of measure zero. Using the strengthened theorems we generalize the fact that permitted sets for families of trigonometric thin sets are perfectly meager.

References

Jean Arbault, Sur l’ensemble de convergence absolue d’une série trigonométrique, Bull. Soc. Math. France 80 (1952), 253–317 (French). MR 55476
N. K. Bari, Trigonometricheskie ryady, Gosudarstv. Izdat. Fiz.-Mat. Lit., Moscow, 1961 (Russian). With the editorial collaboration of P. L. Ul′janov. MR 0126115
Zuzana Bukovská, Thin sets in trigonometrical series and quasinormal convergence, Math. Slovaca 40 (1990), no. 1, 53–62 (English, with Russian summary). MR 1094972
Lev Bukovský, Natasha N. Kholshchevnikova, and Miroslav Repický, Thin sets of harmonic analysis and infinite combinatorics, Real Anal. Exchange 20 (1994/95), no. 2, 454–509. MR 1348075
Peter Eliaš, Covering for category and trigonometric thin sets, Proc. Amer. Math. Soc. 131 (2003), no. 10, 3241–3249. MR 1992865, DOI 10.1090/S0002-9939-03-06869-2
Peter Eliaš, Arbault permitted sets are perfectly meager, Tatra Mt. Math. Publ. 30 (2005), 135–148. MR 2190254
P. Erdős, K. Kunen, and R. Daniel Mauldin, Some additive properties of sets of real numbers, Fund. Math. 113 (1981), no. 3, 187–199. MR 641304, DOI 10.4064/fm-113-3-187-199
Miklós Laczkovich, Analytic subgroups of the reals, Proc. Amer. Math. Soc. 126 (1998), no. 6, 1783–1790. MR 1443837, DOI 10.1090/S0002-9939-98-04241-5
Lafontaine J., Réunions d’ensembles de convergence absolue, Mém. Soc. Math. France 19 (1969), 21–25.
Andrej Nowik, Marion Scheepers, and Tomasz Weiss, The algebraic sum of sets of real numbers with strong measure zero sets, J. Symbolic Logic 63 (1998), no. 1, 301–324. MR 1610427, DOI 10.2307/2586602
Andrzej Nowik and Tomasz Weiss, Not every $Q$-set is perfectly meager in the transitive sense, Proc. Amer. Math. Soc. 128 (2000), no. 10, 3017–3024. MR 1664434, DOI 10.1090/S0002-9939-00-05355-7
Raphaël Salem, The absolute convergence of trigonometrical series, Duke Math. J. 8 (1941), 317–334. MR 4325
Sławomir Solecki, Covering analytic sets by families of closed sets, J. Symbolic Logic 59 (1994), no. 3, 1022–1031. MR 1295987, DOI 10.2307/2275926
Piotr Zakrzewski, Universally meager sets, Proc. Amer. Math. Soc. 129 (2001), no. 6, 1793–1798. MR 1814112, DOI 10.1090/S0002-9939-00-05726-9