English

Haar null sets and the consistent reflection of non-meagreness

Classical Analysis and ODEs 2013-02-05 v2 Logic

Abstract

A subset XX of a Polish group GG is called \emph{Haar null} if there exists a Borel set BXB \supset X and Borel probability measure μ\mu on GG such that μ(gBh)=0\mu(gBh)=0 for every g,hGg,h \in G. We prove that there exists a set XRX \subset \mathbb{R} that is not Lebesgue null and a Borel probability measure μ\mu such that μ(X+t)=0\mu(X + t) = 0 for every tRt \in \mathbb{R}. 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 BB. (The answer was already known assuming the Continuum Hypothesis.) This result motivates the following Baire category analogue. It is consistent with ZFCZFC that there exist an abelian Polish group GG and a Cantor set CGC \subset G such that for every non-meagre set XGX \subset G there exists a tGt \in G such that C(X+t)C \cap (X + t) is relatively non-meagre in CC. 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}
}
R2 v1 2026-06-21T19:11:38.968Z