ハール測度
The Haar measure on formula_2 allows us to define the notion of integral for (complex-valued) Borel functions defined on the group. In particular, one may consider various "Lp" spaces associated to the Haar measure μ. Specifically,