Почему нельзя причесать ёжика: теорема о волосатом шаре

Возьми теннисный мячик, мысленно обклей его шерстью со всех сторон и попробуй пригладить волоски так, чтобы нигде ничего не торчало и не закручивалось вихром. Спойлер: ничего не выйдет. И виновата тут не твоя расчёска, а строгая математическая теорема, у которой есть официальное и слегка смешное название.

Знакомься: теорема о волосатом шаре

Звучит как шутка, но это настоящий результат из раздела математики под названием топология. Её так и называют — теорема о причёсывании волосатого шара (по-английски hairy ball theorem). Доказал её ещё в начале XX века великий математик Лёйтзен Брауэр.

Сформулировать её можно очень по-человечески: если каждый волосок на шаре в каждой точке лежит, прижавшись к поверхности, то обязательно найдётся хотя бы одна точка, где волосок встаёт торчком или закручивается вихром. Гладко зачесать всю сферу целиком — невозможно. Всегда останется как минимум один проблемный завиток.

Обрати внимание на важное условие: волоски должны лежать вдоль поверхности, как шерсть на коте. Если разрешить им торчать перпендикулярно, как иголки у настоящего ёжика, то проблемы нет — но это уже не причёсывание. Речь именно про «пригладить».

А почему с бубликом этот фокус проходит?

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

Шар причесать нельзя, а бублик — можно. Разница не в размере и не в материале, а в самой форме пространства. Дырка спасает.

В этом и вся соль топологии. Эту науку часто в шутку называют «геометрией для тех, кому не важны точные расстояния». Топологу всё равно, насколько шар большой и круглый — для него важно лишь, есть в фигуре дырки или нет. С его точки зрения чашка с одной ручкой и бублик — это одно и то же: и там, и там ровно одна дырка. А вот шар принципиально другой, у него дырок ноль, и именно из-за этого его шерсть невозможно уложить.

При чём тут ураганы и ветер

Кажется, что это чистая забава для математиков. Но у теоремы есть совершенно настоящее следствие, которое касается планеты, на которой ты живёшь.

Представь ветер у поверхности Земли. В каждой точке ветер дует в каком-то направлении — вдоль поверхности, не вверх и не вниз. По сути, это и есть те самые «волоски»: стрелочки, прижатые к шару. А Земля — это шар. Значит, теорема говорит: в любой момент времени где-то на планете обязательно есть точка, где горизонтальный ветер равен нулю.

И это правда. Такая точка штиля очень часто прячется в самом центре урагана или циклона — там, где ветер закручивается вокруг. Это место называют глазом бури: вокруг всё ревёт и крутится, а в самом центре жутковатое затишье. Математика заранее гарантирует, что у любого замкнутого вихря такой «глаз» обязан существовать. Не может быть урагана совсем без центра.

• Волоски — это направления ветра у поверхности.
• Вихор — это точка, где ветра нет: глаз циклона.
• Теорема — гарантия, что хотя бы один такой глаз на шаре всегда найдётся.

Где ещё прячется этот вихор

Стоит один раз понять идею — и начинаешь замечать её повсюду. Самый близкий пример живёт прямо у тебя на голове.

Посмотри на чью-нибудь макушку (или попроси сфоткать свою). Видишь, как волосы расходятся из одной точки спиралькой? Это и есть тот самый неизбежный вихор. Можешь причёсывать макушку хоть час — гладко уложить её вокруг этой точки всё равно не получится, волосы будут расходиться или закручиваться. Голова-то почти шар, и теорема о волосатом шаре про неё в курсе.

Та же история возникает у инженеров и программистов, которые работают с трёхмерной графикой и физикой. Если им нужно в каждой точке сферы задать гладкое направление — например, «куда смотрит» поверхность виртуального мяча или планеты, — они заранее знают: идеально это не сделать, где-то останется особая точка, и её придётся обрабатывать отдельно.

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