定義
G を局所コンパクト空間 X に左から連続作用する位相群とする。
f を X 上で定義された任意の複素数値関数とする。
s ∈ G のとき、x ∈ X に f(s^(-1)x) を対応させる関数を sf と書く。
即ち、sf(x) = f(s^(-1)x) である。