Bài tập 10, § 7

Giả sử rằng $K$ là compact địa phương. Cho $G$ là một nhóm chuẩn có chiều $n$ trên $K$. Cho $\mu$ là một độ đo Haar trên nhóm cộng $K^n$. Chứng minh rằng $\mu|G$ là một độ đo Haar trái và phải trên $G$. (Sử dụng sự kiện rằng $G$ là giới hạn ngược của các $G(a_\lambda)$ và Tích phân, Chương VII, § 1, Mệnh đề 7.)