文摘
Let (G,⋅) be a Polish group. We say that a set fc605a34e6f" title="Click to view the MathML source">X⊂G is Haar null if there exists a universally measurable set fcb51e70" title="Click to view the MathML source">U⊃X and a Borel probability measure μ such that for every bc54a1e88ef9fa6c" title="Click to view the MathML source">g,h∈G we have μ(gUh)=0. We call a set X naively Haar null if there exists a Borel probability measure μ such that for every bc54a1e88ef9fa6c" title="Click to view the MathML source">g,h∈G we have fc638439" title="Click to view the MathML source">μ(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.