Haar measure
ここで、対応するハール測度に対する観測可能量 formula_24 の平均は、幾何学的な場 formula_15 に対し独立であるので、位相的である。