Добрый вечер! Очень нуждаюсь в вашей помощи!

- стандартное канторово множество на отрезке
![$[0,1]$ $[0,1]$](https://dxdy-03.korotkov.co.uk/f/a/c/f/acf5ce819219b95070be2dbeb8a671e982.png)
1) Нужно построить канторово множество
![$K\subset [0,1]$ $K\subset [0,1]$](https://dxdy-01.korotkov.co.uk/f/4/f/9/4f9a08db9710b00a0a4504ad0b11ddef82.png)
и непрерывную функцию

такую, что множество ее нулей содержит

и при этом интеграл от

по любому отрезку
![$[x,y]$ $[x,y]$](https://dxdy-02.korotkov.co.uk/f/d/2/2/d2223de16b4743c412bde041d055e69682.png)
с концами в

равен длине отрезка
![$[\pi(x),\pi(y)]$ $[\pi(x),\pi(y)]$](https://dxdy-03.korotkov.co.uk/f/2/2/c/22c7f567a9c745e8a9d508e9ffbfab3482.png)
, где
![$\pi:[0,1] \longrightarrow [0,1]$ $\pi:[0,1] \longrightarrow [0,1]$](https://dxdy-04.korotkov.co.uk/f/3/1/c/31c2dcd0e3aafb667bf66971b5439aef82.png)
- гомеоморфизм, переводящий

в

2) Доказать, что

совпадает с отрезком
![$[0,2]$ $[0,2]$](https://dxdy-02.korotkov.co.uk/f/5/1/b/51b74976bf5bf6412f174f5ee6f4449482.png)
3) Построить такую

-функцию

, что множество ее критических значений содержит

. Доказать, что множество критических значений функции

содержит отрезок
![$[0,2]$ $[0,2]$](https://dxdy-02.korotkov.co.uk/f/5/1/b/51b74976bf5bf6412f174f5ee6f4449482.png)
. Каков класс гладкости

?
Не знаю как подступиться к задаче. Может стоит воспользоваться тем, что канторово множество состоит из чисел на
![$[0,1]$ $[0,1]$](https://dxdy-03.korotkov.co.uk/f/a/c/f/acf5ce819219b95070be2dbeb8a671e982.png)
в троичной записи которых отсутствуют единицы? Но я пока не придумал как. Буду рад любой помощи и любому совету. Спасибо!