ルベーグ積分とか多様体で使うから