Bourbaki

Exercise 25, § 3

Integration, VIII

Let GG be a locally compact group, β\beta a left Haar measure on GG, μ\mu a positive measure on GG. If AA is a μ\mu-integrable set and BB a Borel set in GG, the function

u:s→μ(A∩sB) u : s \to \mu(A \cap sB)

is β\beta-measurable in GG; if in addition BB is β\beta-integrable, the same is true of uu, and one has ∫μ(A∩sB)dβ(s)=μ(A)β(B−1)\int \mu(A \cap sB) d\beta(s) = \mu(A)\beta(B^{-1}). Give an example of a measure μ\mu such that s→μ(A∩sB)s \to \mu(A \cap sB) is not continuous; if μ\mu is a basis measure β\beta and if AA is μ\mu-integrable and BB is Borel, the function s→μ(A∩sB)s \to \mu(A \cap sB) is continuous in GG.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.