Let $(G,\cdot)$ be a locally compact Abelian topological group with Haar measure. It is known that if $B$ is a measurable subset of $G$ of finite and positive Haar measure then $int(B \cdot B)\neq \emptyset$ (Hewitt, Ross, Abstract harmonic analysis I, Cor.20.17 p.296). My question is whether the interior of $B \cdot B$ has to contain square of some element of $G$? Thanks.
Tell me more
×
Mathematics Stack Exchange is a question and answer site for
people studying math at any level and professionals in related fields. It's 100% free, no registration required.