Bài tập 7, § 1

Cho G là một nhóm compact địa phương, $\beta$ là một độ đo Haar trái trên G, A là một tập con của G, và B là một tập con tương đối compact $\beta$-khả tích của G sao cho $\beta(B) > 0$. Chứng minh rằng nếu các tập con compact của $A \cdot B$ có các độ đo bị chặn đối với $\beta$, thì A là tương đối compact. (Bắt chước lập luận của Mệnh đề 2.)