ハール測度
局所コンパクト群 "G" 上のコンパクト台を持つ複素数値連続関数のなすベクトル空間を "C""c"("G") とし、その連続的双対空間を "M"("G") とする。不変ハール測度は不変正値汎関数（ハール汎関数とも呼ばれる）と一対一に対応するので、しばしば不変ハール測度と不変ハール汎関数とを同一視して扱われる。