Докажите или опровергните: любое измеримое множество меры ноль на отрезке [0,1] имеет пустой внутренний; приведите контрпример или аргумент

18 Ноя в 17:19
3 +1
0
Ответы
1
Утверждение верно.
Пусть 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>0ba>0. По монотонности меры
m(E)≥m((a,b))=b−a>0, m(E)\ge m((a,b))=b-a>0,
m(E)m((a,b))=ba>0,
что противоречит m(E)=0m(E)=0m(E)=0. Следовательно int⁡(E)=∅\operatorname{int}(E)=\varnothingint(E)=.
18 Ноя в 17:29
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Поможем написать учебную работу
Прямой эфир