Haar measure
ハール測度によって群上で定義される（複素数値）ボレル函数に対して不変積分の概念を定義することができる。特に、ハール測度に付随した "L""p"-空間が