一様をどうとらえるかだけど、一番は(R^2)^3のHaar measureだけどコンパクトでないから全測度が有限値にならない。相似、回転、平行移動を作用させてコンパクト化してHaar測度から誘導される測度いれればいける気はするけど、コンパクト部分集合じゃなくてコンパクト商集合でもいけるのかな？