Exercise 1, § 7

Let X be a locally compact subspace of a locally compact space T. Show that for every measure $\lambda$ on T, the support of the measure $\lambda_X$ is the trace on X of the support of the measure $\varphi_X \cdot \lambda$.