Exercice 1, § 7

Soit X un sous-espace localement compact d’un espace localement compact T. Montrer que, pour toute mesure $\lambda$ sur T, le support de la mesure $\lambda_X$ est la trace sur X du support de la mesure $\varphi_X \cdot \lambda$.