Haar measure
と定める。このエルミート内積は 上の質量 のハール測度に対応し、エルミート空間 の定義で導入されたエルミート内積は 上の質量 のハール測度に対応していることに注意する。ここで は線型空間 に上のエルミート内積を備えたものとする。