Dirichlet sets and Erdos-Kunen-Mauldin theorem

MaRDI QIDQ6207816zbMATH OpenFDO

Authors Peter Eliaš

Publication date 13 December 2007

Mathematics Subject Classification ID

Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Topological groups (topological aspects) (54H11) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Abstract: By a theorem proved by Erdos, Kunen and Mauldin, for any nonempty perfect set $P$ on the real line there exists a perfect set $M$ of Lebesgue measure zero such that $P+M=mathbbR$. We prove a stronger version of this theorem in which the obtained perfect set $M$ is a Dirichlet set. Using this result we show that for a wide range of familes of subsets of the reals, all additive sets are perfectly meager in transitive sense. We also prove that every proper analytic subgroup $G$ of the reals is contained in an F-sigma set $F$ such that $F+G$ is a meager null set.

This page was built for publication: Dirichlet sets and Erdos-Kunen-Mauldin theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6207816)