ハール測度
Ryll-Nardzewskiの定理より、コンパクト群上のハール測度の存在が従う。