ハール測度
Note that, since any two Haar measures on formula_2 are equal up to a scaling factor, this formula_38–space is independent of the choice of Haar measure and thus perhaps could be written as formula_39. However, the formula_38–norm on this space depends on the choice of Haar measure, so if one wants to talk about isometries it is important to keep track of the Haar measure being used.