Может, даже посильней сформулировать?
Для непрерывной функции
найдется линия уровня, соединяющая две противоположные стороны.Есть пример, опровергающий это утверждение?
Если я правильно понял, то имеется в виду следующее утверждение:
Если
непрерывна, то для некоторого
множество
линейно связно и содержит пару точек, лежащих на противоположных сторонах.Нет, контрпримера у меня нету. Как это можно доказать, тоже не знаю.
Требование линейной связности
![$f^{-1}(x)$ $f^{-1}(x)$](https://dxdy-02.korotkov.co.uk/f/5/5/3/55313a1fc6d54cd313097941bfee0b2e82.png)
неадекватно упрощает задачу.
(Элементарный контрпример -- кусочно аффинная «гармошка».)
По-видимому,
TOTAL имел в виду следующую задачу.
Задача о линейно связном пересечении ландшафта
Верно ли, что для любой непрерывной функции ![$f:[0,1]^2\to\mathbb R$ $f:[0,1]^2\to\mathbb R$](https://dxdy-04.korotkov.co.uk/f/b/2/0/b208c5d2dff4400e8837691de4eadbf982.png)
найдется такое линейно связное подмножество
, что
пересекается с противоположными сторонами квадрата ![$[0,1]^2$ $[0,1]^2$](https://dxdy-03.korotkov.co.uk/f/e/6/d/e6d8e6aa80e37911f6bf1dcf9895436082.png)
и
на
?
Рассмотрим следующую черно-белую раскраску квадрата
![$[0,1]^2$ $[0,1]^2$](https://dxdy-03.korotkov.co.uk/f/e/6/d/e6d8e6aa80e37911f6bf1dcf9895436082.png)
:
Здесь множество
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
всех черных точек является замыканием
объединения четырех кривых а-ля
![$\sin\bigl(\tfrac1x\bigr)$ $\sin\bigl(\tfrac1x\bigr)$](https://dxdy-04.korotkov.co.uk/f/f/7/1/f714ccdb44d0a4fe1673ed4584f7c86a82.png)
.
Определим функцию
![$f:[0,1]^2\to\mathbb R$ $f:[0,1]^2\to\mathbb R$](https://dxdy-04.korotkov.co.uk/f/b/2/0/b208c5d2dff4400e8837691de4eadbf982.png)
формулой
![$f(x)={\rm dist}(x,B)$ $f(x)={\rm dist}(x,B)$](https://dxdy-04.korotkov.co.uk/f/7/9/3/793e7f135cadaf7f252126689fff08ae82.png)
.
Как легко видеть, функция
![$f$ $f$](https://dxdy-02.korotkov.co.uk/f/1/9/0/190083ef7a1625fbc75f243cffb9c96d82.png)
непрерывна, причем
![$f(x)=0$ $f(x)=0$](https://dxdy-03.korotkov.co.uk/f/a/6/f/a6fc63aa1efb41cce557cf8cb517441f82.png)
при
![$x\in B$ $x\in B$](https://dxdy-01.korotkov.co.uk/f/c/d/3/cd344cd7177f1ded800f0a82f387eac882.png)
и
![$f(x)>0$ $f(x)>0$](https://dxdy-03.korotkov.co.uk/f/2/2/3/2234b9e13b3ff6dbd8ab8217d4f1fee682.png)
при
![$x\in W:=[0,1]^2\backslash B$ $x\in W:=[0,1]^2\backslash B$](https://dxdy-02.korotkov.co.uk/f/9/5/9/959d087f10f8a53404b79bca670c293c82.png)
.
Тогда
![$f$ $f$](https://dxdy-02.korotkov.co.uk/f/1/9/0/190083ef7a1625fbc75f243cffb9c96d82.png)
служит контрпримером к обсуждаемому утверждению.
Тут фишка в том, что множество
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
(состоящее из пяти
линейно связных фрагментов) связно, но не линейно связно,
в то время как его дополнение
![$W$ $W$](https://dxdy-01.korotkov.co.uk/f/8/4/c/84c95f91a742c9ceb460a83f9b5090bf82.png)
состоит из пяти попарно
непересекающихся связных открытых подмножеств
![$[0,1]^2$ $[0,1]^2$](https://dxdy-03.korotkov.co.uk/f/e/6/d/e6d8e6aa80e37911f6bf1dcf9895436082.png)
.
В связи с возникшей фишкой имеет смысл поразмыслить
над следующей модификацией задачи о пересечении ландшафта:
Задача о связном пересечении ландшафта
Верно ли, что для любой непрерывной функции ![$f:[0,1]^2\to\mathbb R$ $f:[0,1]^2\to\mathbb R$](https://dxdy-04.korotkov.co.uk/f/b/2/0/b208c5d2dff4400e8837691de4eadbf982.png)
найдется такое связное подмножество
, что
пересекается с противоположными сторонами квадрата ![$[0,1]^2$ $[0,1]^2$](https://dxdy-03.korotkov.co.uk/f/e/6/d/e6d8e6aa80e37911f6bf1dcf9895436082.png)
и
на
?
P.S. В размышления над первой задачей о ландшафте были вовлечены
сотрудники некоторого научного учреждения, работающие в кабинетах
311, 334, 349, 350, 363 и 419.
P.P.S. Некоторые из упомянутых выше сотрудников имеют некоторые
соображения по поводу второй задачи о ландшафте.