Bài tập 6, § 7

Cho T là một không gian compact địa phương, X là một không gian con compact địa phương của T, và $j$ là đơn ánh chính tắc từ X vào T. Cho $\lambda$ là một độ đo dương trên X sao cho, với mọi tập compact $K \subset T$, $K \cap X$ là khả tích $\lambda$ một cách bản chất. Chứng minh rằng độ đo $\nu = j(\lambda)$ là độ đo dương nhỏ nhất $\rho$ trên T sao cho $\rho_X = \lambda$, và rằng giá của nó là bao đóng trong T của giá của $\lambda$.