n次元ユークリッド空間の単位立方体E(測度1)を考えます。これの可測な
部分集合Aで、
Eのあらゆる空でない開集合Uに対して(AかつU)が有限の測度を持つようなものが
あった場合、測度0の集合を別としてAとEは一致する。
これは正しいでしょうか?誤りなら反例をお願い出来れば、と思います。正しい場合、
その命題の名前をお教えいただければ、あとは自分で調べます。勿論、証明自身を
お教えいただければ感謝深甚です。