文摘
Let (G,⋅) be a Polish group. We say that a set X⊂G is Haar null if there exists a universally measurable set U⊃X and a Borel probability measure μ such that for every g,h∈G we have e265069786e28e046ca740aa855266d" title="Click to view the MathML source">μ(gUh)=0. We call a set X naively Haar null if there exists a Borel probability measure μ such that for every g,h∈G we have μ(gXh)=0. Generalizing a result of Elekes and Steprāns, which answers the first part of Problem FC from Fremlin's list, we prove that in every abelian Polish group there exists a naively Haar null set that is not Haar null.