Есть одномерная мера Лебега
и мера Лебега-Стилтьеса
, порожденная функцией
.
Есть лебеговское подмножество
отрезка
, причем
.
Найти
по всем таким
.
Для начала заметим, что
и брать эту точку "невыгодно". Также можно выкинуть концы отрезка
и точку 0. Поэтому, можно считать, что
. На лебеговских подмножествах
верно следующее утверждение:
.
Также, для всех лебеговских множеств верен следующий факт об их представлении:
, где
и
- замкнутые.
, где
и
- открытые.
Используя утверждение
вместе с утверждением
или
можно уменьшить перебор множеств
с лебеговских, до меньшего класса, выражающихся как
или
.
Дальше у меня возникают затруднения.
Хотелось бы свести перебор только к множествам, представимым в виде счетного объединения открытых - тогда можно показать, что для достижения максимума меры Лебега на таком множестве будет выгодно наличие в нем интервалов с наименьшим значением производной функции
.