>>567
ゴメン、勘違いした。L^p空間の完備性には「零集合の部分集合は零集合」は使わないわ。

確か確率解析で解析集合(点集合論で出てくるやつ)を扱うとき、ボレル可測では足りないはず。