ご愛読ありがとうございます(^^) 等式「∫gdμ^*=∫fdμ」に関するご質問と理解して回答します． 補題5.4.1 (a)より∫gdμ^*=∫fdμ^*． また，ｆは{\cal A}-可測なので∫fdμ^*=∫fdμ． 以上より所期等式を得る. でいかがでしょう．