Может, даже посильней сформулировать?
Для непрерывной функции
найдется линия уровня, соединяющая две противоположные стороны.Есть пример, опровергающий это утверждение?
Если я правильно понял, то имеется в виду следующее утверждение:
Если
непрерывна, то для некоторого
множество
линейно связно и содержит пару точек, лежащих на противоположных сторонах.Нет, контрпримера у меня нету. Как это можно доказать, тоже не знаю.
Требование линейной связности

неадекватно упрощает задачу.
(Элементарный контрпример -- кусочно аффинная «гармошка».)
По-видимому,
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)
:
Здесь множество

всех черных точек является замыканием
объединения четырех кривых а-ля

.
Определим функцию
![$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)
формулой

.
Как легко видеть, функция

непрерывна, причем

при

и

при
![$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)
.
Тогда

служит контрпримером к обсуждаемому утверждению.
Тут фишка в том, что множество

(состоящее из пяти
линейно связных фрагментов) связно, но не линейно связно,
в то время как его дополнение

состоит из пяти попарно
непересекающихся связных открытых подмножеств
![$[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. Некоторые из упомянутых выше сотрудников имеют некоторые
соображения по поводу второй задачи о ландшафте.