>>130
開部分多様体を取るとコンパクトでなくなるから、各R^nの測度を取り替えたときまでは分からないな(分からないというか、議論の範囲外)