Bài tập 1, § 7

Cho X là một không gian con địa phương compact của một không gian địa phương compact T. Chứng minh rằng đối với mọi độ đo $\lambda$ trên T, giá của độ đo $\lambda_X$ là vết trên X của giá của độ đo $\varphi_X \cdot \lambda$.