Haar null sets and the consistent reflection of non-meagreness
Abstract
A subset of a Polish group is called \emph{Haar null} if there exists a Borel set and Borel probability measure on such that for every . We prove that there exists a set that is not Lebesgue null and a Borel probability measure such that for every . This answers a question from David Fremlin's problem list by showing that one cannot simplify the definition of a Haar null set by leaving out the Borel set . (The answer was already known assuming the Continuum Hypothesis.) This result motivates the following Baire category analogue. It is consistent with that there exist an abelian Polish group and a Cantor set such that for every non-meagre set there exists a such that is relatively non-meagre in . This essentially generalises results of Bartoszy\'nski and Burke-Miller.
Keywords
Cite
@article{arxiv.1109.6164,
title = {Haar null sets and the consistent reflection of non-meagreness},
author = {Márton Elekes and Juris Steprāns},
journal= {arXiv preprint arXiv:1109.6164},
year = {2013}
}