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.
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.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top