久々に本筋に戻ります。 区間 上の二つの連続な単調増加関数 が与えられたとき、その Lebesgue - Stieltjes 測度が一致する、すなわち となるのはどんなときでしょう。もし ならば、任意の に対して が成り立ちます。これを整理すると となるので、 は定数、…