О лохматых топологических ежах

1/2

Теплый летний вечер. Вы не спеша прогуливаетесь на свежем воздухе и слышите в траве негромкое фырчание и шорох. Конечно же, это ёжик - ни головы, ни ножек. При виде вас он сворачивается в колючий шар. Иголки торчат во все стороны, и вы никак не можете его погладить.

Вот бы можно было гладко причесать ежа! Так, чтобы все иголочки лежали ровно, по касательным.

Чтобы сберечь руки, потренируемся на помпоне. Возьмите любой волосатый шар и попробуйте пригладить мех так, чтобы он везде лежал гладко. Вы обнаружите, что это невозможно: как минимум одна волосинка будет торчать строго перпендикулярно поверхности (а в реальной жизни это будет целая меховая борода).

Можно сформулировать это научным образом: на сфере не существует непрерывного касательного векторного поля, которое нигде не обращается в ноль.

И вы не поверите, но эта настоящая теорема, которая так и называется: теорема о причесывании ежа!

Для начала, что такое векторное поле. По определению это "отображение, которое каждой точке рассматриваемого пространства ставит в соответствие вектор с началом в этой точке". В школе мы встречались с ним на уроках физики, изучая электричество и рисуя силовые линии электрического поля.

Если мы будем приглаживать волосатый шар, или раскрашивать елочный шарик гладкими последовательными мазками кисти, или чистить апельсин овощечисткой, резко не меняя направление среза, или оборачивать шар тканью - рано или поздно мы получим точку, в которой невозможно будет продолжить движение так, чтобы оно не оказалось встречным по отношению к предыдущему движению. Это и есть точка, в которой векторное поле обращается в ноль, торчит шерсть, встречаются мазки кисти, срезается последний кусочек кожуры, оборачивающая шарик ткань собирается в пучок.

Теорема о причесывании ежа является следствием теоремы о неподвижной точке, называемой также теоремой Брауэра, и формулируемой следующим образом:
любое непрерывное отображение замкнутого шара в себя в конечномерном евклидовом пространстве имеет неподвижную точку.

Таким образом наш ёжик - это не более чем фырчащий, колючий, поедающий червей пример шара в трехмерном пространстве.

А знаете, что еще является таким шаром? Наша планета. И, согласно этой же теореме, существует хотя бы одно место на земле, в котором не дует ветер. Если сомневаетесь - можете попробовать нарисовать на глобусе такие направления ветров, которые не образуют ни одной неповижной точки. Кстати, при должном старании как при причесывании помпона, так и при рисовании на глобусе, у вас могут получиться "макушки", в которых векторы идут по спирали, как торнадо. В таком случае неподвижная точка находится строго в центре этой спирали, что-то вроде глаза бури, центр циклона, место, где ветер стихает.

Кроме того, следствием теоремы Бауэра является следующее наблюдение:
если мы возьмем карту произвольной местности размерами, например, 1х1 м, и положим в случайном месте поверх нее такую же карту этой же местности, но размером 10х10 см, обязательно будет существовать такое место на маленькой карте, которое находится точно над этим же самым местом на большой карте.

Чтобы наглядно представить это и отбросить все сомнения, мы можем вообразить такой эксперимент: взять большую и маленькую карту, взять иголку с ниткой и нанизать на нитку карты, проколов на обеих иглой одну и ту же точку - например, улицу Ленина, дом 1. После этого, когда мы сдвинем карты вплотную и положим на стол, как бы мы ни вращали их относительно друг друга, места проколов всегда будут находиться одно над другим.

Чуть менее очевидным, но точно так же доказываемым, является и то, что если произвольно скомкать маленькую карту и бросить ее на большую, по-прежнему будет хотя бы одна точка на маленькой карте, находящаяся строго над такой же точкой на карте большой.