Утверждение верно. Пусть E⊂[0,1]E\subset[0,1]E⊂[0,1] — измеримое множество и m(E)=0m(E)=0m(E)=0. Предположим противное, что внутренняя часть int(E) \operatorname{int}(E)int(E) (в стандартной топологии на R\mathbb RR или относительно [0,1][0,1][0,1]) непустая. Тогда существует открытый интервал III такой, что I∩[0,1]⊂EI\cap[0,1]\subset EI∩[0,1]⊂E. В частности найдётся непустой отрезок (a,b)⊂I∩[0,1](a,b)\subset I\cap[0,1](a,b)⊂I∩[0,1] с b−a>0b-a>0b−a>0. По монотонности меры m(E)≥m((a,b))=b−a>0,
m(E)\ge m((a,b))=b-a>0, m(E)≥m((a,b))=b−a>0,
что противоречит m(E)=0m(E)=0m(E)=0. Следовательно int(E)=∅\operatorname{int}(E)=\varnothingint(E)=∅.
Пусть E⊂[0,1]E\subset[0,1]E⊂[0,1] — измеримое множество и m(E)=0m(E)=0m(E)=0. Предположим противное, что внутренняя часть int(E) \operatorname{int}(E)int(E) (в стандартной топологии на R\mathbb RR или относительно [0,1][0,1][0,1]) непустая. Тогда существует открытый интервал III такой, что I∩[0,1]⊂EI\cap[0,1]\subset EI∩[0,1]⊂E. В частности найдётся непустой отрезок (a,b)⊂I∩[0,1](a,b)\subset I\cap[0,1](a,b)⊂I∩[0,1] с b−a>0b-a>0b−a>0. По монотонности меры
m(E)≥m((a,b))=b−a>0, m(E)\ge m((a,b))=b-a>0,
m(E)≥m((a,b))=b−a>0, что противоречит m(E)=0m(E)=0m(E)=0. Следовательно int(E)=∅\operatorname{int}(E)=\varnothingint(E)=∅.