>>498の修正

命題
G を局所コンパクト群とし、μ を G の左 Haar 測度とする。
A を G の部分集合でμ可測かつ μ(A) ＜ +∞ とする。
任意の s ∈ G に対して、As はμ可測であり、
μ(As) = Δ(s)μ(A) である。

証明
χ_As(x) = χ_A(xs^(-1)) であるから、
>>497より、χ_As はμ可積分であり、
∫ χ_As(x) dμ(x) = ∫ χ_A(xs^(-1)) dμ(x) = Δ(s)∫ χ_A(x) dμ(x)

よって、μ(As) = Δ(s)μ(A) である。
証明終