Есть одномерная мера Лебега

и мера Лебега-Стилтьеса

, порожденная функцией

.
Есть лебеговское подмножество

отрезка
![$[-3;2]$ $[-3;2]$](https://dxdy-02.korotkov.co.uk/f/d/3/6/d3670f6705c2b3e8daf07b6ae749cba782.png)
, причем

.
Найти

по всем таким

.
Для начала заметим, что

и брать эту точку "невыгодно". Также можно выкинуть концы отрезка
![$[-3;2]$ $[-3;2]$](https://dxdy-02.korotkov.co.uk/f/d/3/6/d3670f6705c2b3e8daf07b6ae749cba782.png)
и точку 0. Поэтому, можно считать, что

. На лебеговских подмножествах

верно следующее утверждение:

.
Также, для всех лебеговских множеств верен следующий факт об их представлении:

, где

и

- замкнутые.

, где

и

- открытые.
Используя утверждение

вместе с утверждением

или

можно уменьшить перебор множеств

с лебеговских, до меньшего класса, выражающихся как

или

.
Дальше у меня возникают затруднения.
Хотелось бы свести перебор только к множествам, представимым в виде счетного объединения открытых - тогда можно показать, что для достижения максимума меры Лебега на таком множестве будет выгодно наличие в нем интервалов с наименьшим значением производной функции

.