19/03/08 14:21:48.27 65S4eSv1.net
>>198
μ*( [0, t] ) = ∫ _[0, t] f(x)dμ(x) として μ*( [a, b] ) = μ*( [0, a] ) - μ*( [0, b] ) を定義すれば
μ* は測度に拡張できる
f(x) = 0 μ-a.e.x でなかったら
A[+] = {x∈ I | f(x) > 0} か A[-] = {x∈ I | f(x) < 0} のどちらかは
μ*(A[+]) > 0 or μ*(A[-]) > 0 となって μ*( [0, t] ) = 0 と矛盾