В 1912 году Брауэр доказал еще одну любопытную теорему, сформулированную ранее выдающимся французским математиком Анри Пуанкаре, – так называемую теорему о причесывании ежа. Речь в ней идет о том, что, как бы вы ни старались пригладить иголки у свернувшегося в клубок ежа, невозможно добиться того, чтобы они лежали гладко в каждой точке, – где-то все равно будут стоять торчком. Брауэр (и Пуанкаре), правда, рассуждал не о ежах, а о более скучных вещах: непрерывном касательном векторном поле на сфере, которое должно иметь как минимум одну точку, где вектор обращается в ноль. Но суть та же самая. На практике это означает, например, следующее: поскольку скорость ветра у земной поверхности является векторным полем, теорема гарантирует, что на планете обязательно должно быть место, где ветер не дует. Еще одна общеизвестная метеорологическая истина, тесно связанная с теоремой о неподвижной точке, называется теоремой Борсука – Улама. Она гласит: в любой момент времени на Земле существуют две точки, расположенные на ее противоположных сторонах, где температура и давление абсолютно одинаковы. Вы вправе сказать, что подобное вполне может произойти и по чистой случайности, но теорема Борсука – Улама дает математическую гарантию, что это всегда так.
Еще один странный, но истинный факт, который выводится из теоремы Борсука – Улама, – это так называемая теорема о бутерброде. Согласно ей, любой бутерброд с ветчиной и сыром можно одним разрезом рассечь таким образом, чтобы в обоих получившихся кусочках было поровну и хлеба, и ветчины, и сыра. На самом деле для этого даже не обязательно, чтобы ингредиенты касались друг друга: хлеб может быть в хлебнице, сыр в холодильнике, а ветчина на столе. Или они вообще могут находиться в разных частях галактики. Так или иначе, всегда существует такой плоский разрез (другими словами, такая плоскость), который рассек бы все три объекта ровно напополам.
Все эти странные теоремы – о неподвижной точке, о причесывании ежа, о бутерброде, Борсука – Улама – уходят корнями в благодатную почву топологии (от греческого слова tópos – “место”). В быту нам нечасто приходится с ней сталкиваться. Любой из нас знаком с геометрией – древней наукой о форме, размере и относительном расположении фигур вроде треугольников, эллипсов, пирамид, сфер и прочих. Топология связана и с геометрией, и с теорией множеств и изучает, как мы уже упоминали, свойства тел, которые не изменяются даже тогда, когда тело сгибают или растягивают, – эти свойства называют топологическими инвариантами. Примером такого инварианта может служить, скажем, число измерений, связность или количество элементов, составляющих тот или иной объект.
Начало топологии как дисциплине было положено в XVII веке, когда немецкий ученый-энциклопедист Готфрид Лейбниц поднял вопрос о разделении геометрии на две части: geometria situs, или геометрию положения, и analysis situs, то есть анализ, или разбор, положения. Первая, куда входит фактически та геометрия, что мы изучаем в школе, имеет дело со знакомыми нам понятиями: углами, длинами, фигурами, тогда как analysis situs занимается абстрактными структурами, независимыми от этих понятий. Швейцарский математик Леонард Эйлер впоследствии опубликовал одну из первых работ по топологии, в которой доказал, что невозможно прогуляться по всем семи мостам старого портового города Кёнигсберга в Пруссии (ныне – Калининград в России), не пройдя ни по одному из них дважды. Результат не зависел ни от размеров мостов, ни от расстояний между ними, а только от того, как они соединяли между собой участки суши – острова в русле реки и ее берега. Эйлеру удалось найти общее правило для решения такого рода задач и тем самым дать дорогу в жизнь новой области исследований – разделу топологии под названием “теория графов”[52].
Семь мостов Кёнигсберга через реку Преголя.
Эйлер также открыл ставшую знаменитой формулу многогранников (трехмерных тел с плоскими многоугольными гранями): В – Р + Г = 2, где В, Р и Г – число вершин, ребер и граней соответственно. И опять-таки она имеет прямое отношение к топологии – ведь она оперирует свойствами геометрических тел, не зависящими от количественных измерений.
Еще одним пионером в области топологии стал Август Мёбиус, изучивший свойства перекрученной на пол-оборота и свернутой в кольцо ленты, которая сегодня носит его имя – несмотря на то, что его соотечественник Иоганн Листинг опубликовал результаты собственных исследований ее свойств на несколько лет раньше, в 1861 году. Если полоску бумаги перекрутить на 180 градусов, а затем склеить концы вместе, получится кольцо с односторонней поверхностью – это легко проверить, ведя карандашом посередине полосы линию, пока та не вернется в исходную точку. Пол-оборота, соединение краев – и бумажная полоска превращается в ленту Мёбиуса, объект, который в глазах тополога коренным образом отличается от простого кольца или открытого с двух сторон цилиндра[53]. Любой разрыв в геометрическом теле или соединение вместе его концов превращает его в топологически новое тело. Отсюда следует еще одна особенность топологии: она хорошо подходит для описания внезапных скачкообразных изменений состояния системы – как обнаружили лауреаты Нобелевской премии по физике 2016 года.
Лента Мёбиуса: объект, который, будучи вложенным в трехмерное пространство, имеет только одну “сторону”.
В обычной геометрии все фигуры считаются жесткими и невзаимозаменяемыми. Квадрат – всегда квадрат, треугольник – всегда треугольник, и первый никогда не может превратиться во второй. Прямые линии обязаны оставаться идеально прямыми, а кривые – кривыми. В топологии же объекты вправе терять свою структурную жесткость и становиться эластичными, оставаясь при этом самими собой по сути, – при условии, что в них не делается разрезов и склеек. Квадрат, например, можно растяжением и сжатием превратить в треугольник, но с точки зрения топологии он останется самим собой: про такие фигуры говорят, что они гомеоморфны. Точно так же обе эти фигуры идентичны кругу (то есть “заполненной” окружности). Если говорить о трех измерениях, то куб гомеоморфен шару (“заполненной” сфере). Иными словами, поверхность куба топологически идентична поверхности сферы. А вот тор, или бублик, от сферы принципиально отличается: как бы вы их ни сжимали и ни растягивали, одинаковых фигур из них не получить.
Количество отверстий в объекте называется родом его поверхности. Сфера и куб имеют род 0, обычный тор – род 1, крендель (то есть двойной тор, с двумя отверстиями) – род 2 и так далее. Трехмерная топология может учитывать и более сложные факторы, скажем, структуру окружающего пространства, благодаря чему формируются узлы. Чтобы избежать путаницы, стоит сразу оговориться, что в теории узлов большинство известных нам узлов таковыми не считаются. Математический узел отличается от привычного нам узла на веревке или на шнурках ботинок тем, что его концы соединены вместе, так что развязать его невозможно.
Истинный узел удобно представить себе в виде окружности или любой другой замкнутой петли, обитающей в трехмерном евклидовом пространстве. Распутать его не поможет никакое растягивание и перекручивание. Единственный способ создать истинный (математический) узел из куска бечевки – это соединить его концы вместе, например склеить. Простейший узел, который можно получить с помощью этого метода, – тривиальный (или незаузленный) узел, то есть обычная петля. А вот дальше все становится сложнее.
Самый простой нетривиальный узел – это трилистник. Если вы попросите кого-то завязать кусок веревки узлом, а потом соедините свободные концы, чаще всего получится именно такой. Более сложные узлы – восьмерка и те, что состоят из нескольких простых: например, прямой (известный также как рифовый) или бабий узел. И прямой, и бабий узлы состоят из двух трилистников.
Узлами с точки зрения математики первым заинтересовался Карл Гаусс в 1830-х годах. Он придумал способ вычислить коэффициент зацепления – число, показывающее, сколько раз две замкнутые кривые в трехмерном пространстве обвивают друг друга. Зацепления, как и узлы, занимают в топологии центральное место. Математические узлы и зацепления встречаются и в природе, например, в электромагнетизме и квантовой механике, а также в биохимии.
Точно так же как есть тривиальный узел, существует и тривиальное зацепление: две отдельных, никак не соединенных друг с другом окружности. Узлы – это тоже зацепления, но простые, состоящие из одной окружности; а можно создать и более сложные, если взять не одну окружность, а больше. Зацепление Хопфа, состоящее из двух однократно зацепленных окружностей, названо в честь немецкого тополога Хайнца Хопфа, хотя Гаусс изучал его на целое столетие раньше, а в изобразительном искусстве и символике оно встречалось и задолго до того. Основанная в XVI веке японская буддийская секта Бузан-ха использовала его в своем гербе. Любопытнее кольца Борромео, состоящие из трех окружностей. Необычно (и на первый взгляд кажется невозможным) в них то, что, хотя ни одно из колец не сцеплено ни с одним другим, все вместе они сцеплены: если удалить любое из трех, оставшиеся два легко разъединяются. Название колец происходит от фамилии знатной итальянской семьи Борромео, использовавшей их в своем гербе, однако сам символ уходит корнями в глубокую древность. На артефактах викингов он имеет вид трех сцепленных треугольников, известных как валькнут (что означает “узел павших”) или треугольник Одина. Тот же узор встречается и в различных религиозных контекстах, в том числе в убранстве старинных христианских храмов, где он символизирует Святую Троицу.
Узлы и зацепления нашли даже в само́й химии жизни. Белки хорошо известны своей способностью сворачиваться в определенные формы, которые определяют то, как они функционируют в биологических системах. Совершенно неожиданно для себя в середине 1990-х годов биологи открыли, что белки могут образовывать узлы и даже сцепленные кольца. Нам, чтобы завязать любой, пусть даже самый простой, узел, нужно целенаправленно продевать свободный конец веревки в петлю. Непонятно было, каким образом белки способны не только спонтанно осуществлять самосборку, но еще и умудряться завязываться при этом в узлы. Собственно, при пост