まず、次の補題を認めることにします。 補題 1 を 上の局所可積分関数とし とおけば、 はほとんどいたるところ微分可能で (a.e.) が成り立つ。 これを認めたうえで、前回の定理を証明しましょう。 を絶対連続関数とすると、 によって定義される Lebesgue - S…