Bài tập 4, Phụ lục 2

Cho $G$ là một nhóm địa phương compact. Nếu $(x_i)$ là một họ các phần tử của $G$ có thể nhân được, chứng minh rằng tập hợp các tích từng phần hữu hạn $p_J$ của họ này là tương đối compact.