イヤ、測度空間の設定勝手に決めてどうする?記事の設定で議論しろよ