Пуанкаре сумел доказать, что, какой бы сложной ни была форма, ее всегда возможно деформировать непрерывным образом в одну из следующих форм: сферу, тор с одной дыркой, тор с двумя дырками либо тор с любым конечным числом дырок. С топологической точки зрения это полный список всех возможных вселенных для нашего двумерного космонавта. Именно количество дырок – которое математики называют родом поверхности – характеризует форму. Так, чайная чашка топологически эквивалентна бублику, потому что у них по одной дырке. У чайника же две дырки, одна в носике, а другая в ручке, и его можно преобразовать так, чтобы он выглядел как брецель[6] с двумя дырками. Наверное, необходимы большие усилия, чтобы понять, почему форма на рис. 2.40, в которой также две дырки, может быть деформирована в брецель с двумя дырками. Кажется, что из-за зацепления бубликов потребуется разрезать форму, чтобы успешно деформировать ее, но это не так.
В конце главы я объясню, как расцепить кольца, не разрезая.
Откуда мы знаем, что не живем на планете в форме бублика?
В древние времена люди полагали, что Земля плоская. Но, как только они начали путешествовать на большие расстояния, вопрос крупномасштабной формы Земли стал особенно важен. В плоском мире, как считалось, при достаточно долгом странствии можно дойти до края и упасть с него – если, разумеется, мир не бесконечный и тогда нельзя достичь края.
Во многих культурах начали осознавать, что Земля, скорее всего, изогнута и конечна. Самое очевидное предположение для ее формы, несомненно, шар, и несколько древних математиков сделали невероятно точные расчеты его размера, основываясь только на анализе того, как изменяется тень на протяжении дня. Но почему ученые могли быть уверены, что поверхность Земли не сложена в какую-то более интересную форму? Откуда они знали, что мы не живем, скажем, на поверхности гигантского бублика, подобно космонавту из «Астероидов», запертому в своей бубличной двумерной вселенной?
Чтобы найти ответ, отправимся в воображаемое путешествие в этих альтернативных мирах. Давайте поместим исследователя на поверхность планеты и скажем ему, что он находится либо на идеальной сфере, либо на идеальном бублике. Как он сумеет различить эти две возможности? Мы предложим ему взять ведерко белой краски и кисть и идти по прямой линии по поверхности планеты, отмечая свой путь. В конечном счете исследователь вернется на то место, с которого начал движение, прочертив при этом гигантский белый круг вокруг планеты.
Теперь мы дадим ему ведерко с черной краской и скажем идти в другом направлении. На сферической поверхности Земли, какое бы новое направление он ни выбрал, черный путь всегда пересечет белый путь до того, как исследователь вернется к старту. Помните, что он всегда путешествует по прямой линии на поверхности. Точкой, где два пути пересекутся, будет «полюс», противоположный точке, с которой исследователь начинает движение.
На поверхности планеты, имеющей форму бублика, положение вещей совсем другое. При путешествии с белой краской исследователь мог отправиться к внутренней части бублика, пройти через дырку и выйти на другой стороне. Но если при путешествии с черной краской он отправится по пути, образующему угол 90° с белым путем, то он пройдет вокруг дырки, не заходя внутрь ее. Итак, возможно совершить два путешествия, у которых пересечение происходит лишь в месте начала движения.
Проблема в том, что поверхность планеты, вообще говоря, не является идеальной сферой либо поверхностью идеального бублика – она искажена. По планете могут ударить метеориты и оставить вмятины, так что исследователь, путешествующий по прямой линии, дойдя до вмятины или нароста, изменит направление своего движения. В действительности вполне может быть такое, что исследователь, начав движение по прямой линии, никогда не вернется в точку старта. Поскольку формы с вмятинами представляют собой лишь слегка искаженные версии сферы или поверхности бублика, возможно, существуют другие способы различить их? Именно здесь проявляется сила топологического подхода, потому что для него не столь важен кратчайший путь между точками, а то, можно ли преобразовать один путь в другой.