Bourbaki

Exercise 2, § 2

Integration, VII, p. 87

Let XX and X′X' be two locally compact spaces in which a locally compact group HH operates on the right, continuously and properly. Let θ\theta be a proper continuous mapping of XX into X′X', compatible with the identity mapping of HH (GT, III, §2, No. 4), and let θ′:X/H→X′/H\theta' : X/H \to X'/H be the mapping deduced from θ\theta by passage to quotients. Let f′f' be a continuous function on X′X' whose support has compact intersection with the saturation of each compact set. Then f=f′∘θf = f' \circ \theta has the same properties in XX, and

fb=f′b=θ′ f^b = {f'}^b = \theta'

(the mappings f↦fb, f′↦f′bf \mapsto f^b ,\ f' \mapsto {f'}^b being relative to the choice of a same Haar measure on HH).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.