>>149

主張を「{f_n}がΣ可測な関数列でfにa.e.収束する⇒あるΣ可測関数gがあってf=g a.e.」
とするなら一般の測度空間でいいんだよ。>>142はそういう意味。

要するに、完備測度空間では
「gがΣ可測でg=f a.e.⇒ fもΣ可測」が成り立つ、ってだけ。
（証明は>>146と同様）