ハール測度
局所コンパクト群 G 上のコンパクト台を持つ複素数値連続関数のなすベクトル空間を Cc(G) とし、その連続的双対空間を M(G) とする。不変ハール測度は不変正値汎関数(ハール汎関数とも呼ばれる)と一対一に対応するので、しばしば不変ハール測度と不変ハール汎関数とを同一視して扱われる。
実際に、局所コンパクト群 G とその上の左ハール測度 μ に対して Cc(G) の元 f の μ に関する積分を対応させる汎関数
Φ : f ↦ ∫ G f ( x ) d μ ( x ) {\displaystyle \Phi \colon f\mapsto \int _{G}f(x)d\mu (x)}
は左不変ハール汎関数であり、逆に左不変ハール汎関数 Φ が与えられたとき、左ハール測度 μ で Φ の各 f ∈ Cc(G) ので値 Φ(f) を f の μ に関する積分として実現するものが取れる。ただし、複素数値汎関数が正値あるいは非負値であるとは、G 上の関数 f(x) が正値(恒等的に非負)ならば