Mathematics – Classical Analysis and ODEs
Scientific paper
2011-09-28
Mathematics
Classical Analysis and ODEs
Scientific paper
A subset $X$ of a Polish group $G$ is called \emph{Haar null} if there exists a Borel set $B \supset X$ and Borel probability measure $\mu$ on $G$ such that $\mu(gBh)=0$ for every $g,h \in G$. We prove that there exists a Lebesgue null set $X \su \RR$ such that for every Borel probability measure $\mu$ there exists $t \in \RR$ such that $\mu(X + t) = 0$. 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 $B$. (The answer was already known assuming the Continuum Hypothesis.) This result motivates the following Baire category analogue. It is consistent with $ZFC$ that there exist an abelian Polish group $G$ and a Cantor set $C \su G$ such that for every non-meagre set $X \su G$ there exists a $t \in G$ such that $C \cap (X + t)$ is relatively non-meagre in $C$. This essentially generalises results of Bartoszy\'nski and Burke-Miller.
Elekes Marton
Steprāns Juris
No associations
LandOfFree
Haar null sets and the consistent reflection of non-meagreness does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Haar null sets and the consistent reflection of non-meagreness, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Haar null sets and the consistent reflection of non-meagreness will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-43440