命題
H を局所コンパクト空間 X に右から固有に作用(>>473)する
局所コンパクト群とする。
β を H 上の左Haar測度とする。
x ∈ X に対して、u = xH とおき、β_u を>>677で定義した
X 上の正値Radon測度とする。
f を X から [0, +∞] への任意の関数とする。

f がβ_u可測であるためには H 上の関数 ξ → f(xξ) がβ可測であることが
必要十分である。

証明
過去スレ011の813と過去スレ011の814より明らか。