本題に進む前に、もう少しだけ寄り道していきます。 を任意の測度空間として、 を 上非負の可積分関数とします。このとき とおいて、これを の分布関数と言います。分布関数は単調増加*1になるので、その Lebesgue - Stieltjes 測度が定義できますが、このと…