定義
G を局所コンパクト群とする。
λ を G の容量(過去スレ007の723)で X の任意のコンパクト集合 K
と任意の x ∈ G に対して λ(xK) = λ(K) となるものとする。
このとき、λ を左不変という。
右不変な容量も同様に定義される。