定義
H を局所コンパクト空間 X に右から固有に作用(>>473)する
局所コンパクト群とする。
β を H の 左 Haar 測度(過去スレ012の3し51)とする。
f を K(X, R) (過去スレ007の708) の元とする。
>>495より、任意の x ∈ X に対して H 上の関数 ξ → f(xξ) は
K(H, R) の元である。

このとき、f^1(x) = ∫ f(xξ) dβ(ξ) により、
関数 f^1 を定義する。