Bài tập 12, § 5

Cho T là một không gian chính quy hoàn toàn, một không gian con của một không gian địa phương compact L. Với mọi độ đo $\mu$ (dương hoặc không) trên T, tồn tại một không gian con địa phương compact $T'$ của L chứa T, và một độ đo $\mu'$ trên $T'$ tập trung trên T cảm sinh $\mu$ trên T.