Даже если задача, над которой вы бьетесь, относится только к двух- или трехмерному случаю, возможно, ключом к решению окажется рассмотрение задачи в других размерностях. Вернемся к нашему примеру с мухой, летающей в трехмерном пространстве и имеющей три возможных направления движения, или три степени свободы. Теперь представим себе еще одну муху, которая свободно перемещается в том же пространстве; для нее, как и для первой мухи, тоже существуют ровно три степени свободы, но система в целом имеет уже не три, а шесть измерений — шесть независимых направлений для перемещения. Если количество мух, беспорядочно кружащихся в пространстве и движущихся независимо друг от друга, станет еще больше, то соответственно возрастут и сложность системы, и ее размерность.
Одним из преимуществ перехода к системам с более высокой размерностью является возможность предугадывать закономерности, которые невозможно было бы увидеть в более простой модели. В следующей главе, например, мы обсудим тот факт, что на сферической планете, полностью покрытой огромным океаном, вся вода не может одновременно течь в одном направлении, например с запада на восток, в каждой точке. В таком океане будут существовать особые точки, в которых вода вообще не будет двигаться. И хотя это правило применимо к двухмерной поверхности, оно может быть получено только путем исследования системы с большим числом измерений, в которой рассматриваются все возможные конфигурации, а именно все возможные перемещения малых порций воды по поверхности планеты. По этой причине мы постоянно переходим к более высоким размерностям, чтобы увидеть, к чему это может привести и что мы можем узнать. Несомненно, введение дополнительных измерений приводит к усложнению системы. В топологии, где объекты классифицируются в терминах формы в наиболее общем смысле этого слова, имеется два вида одномерных пространств: линия (кривая с двумя концами) и окружность (замкнутая кривая). Других просто не существует. Вы справедливо заметите, что линия может быть волнистой, а замкнутая кривая может иметь вытянутую форму, но эти вопросы относятся к области геометрии, а не топологии. Разница между геометрией и топологией столь же велика, как разница между рассматриванием земной поверхности через увеличительное стекло и рассматриванием Земли с борта космического корабля. В этом случае следует задать себе вопрос: хотите ли вы разглядеть каждую мельчайшую деталь — каждый горный хребет, каждую неровность и трещину на поверхности или вас удовлетворит более общая картина («огромный шар»)? Тогда как геометры чаще занимаются определением точной формы и кривизны рассматриваемого объекта, топологов интересует только его наиболее общая форма. Иными словами, топология является дисциплиной, рассматривающей объект как некую целостность, а этот подход демонстрирует разительный контраст с другими областями математики, в которых сложные объекты исследуются путем разбиения их на меньшие и более простые.
Вернемся к нашим размерностям. Как уже было сказано, в топологии существуют только две фундаментальные одномерные формы: прямая линия, которая идентична любой волнистой линии, и окружность, которая идентична любой петле — вытянутой, волнистой или даже имеющей форму квадрата — любой, какую только можно себе представить. Двухмерные пространства также можно разделить на два фундаментальных типа: это либо сферы, либо бублики. Тополог рассматривает любую двухмерную поверхность как сферу в том случае, если в ней нет дырок, при этом включая в эту категорию такие привычные нам геометрические тела, как кубы, призмы, пирамиды и даже похожие на дыни объекты, которые носят название эллипсоидов.
Вся разница между бубликом и сферой состоит исключительно в наличии дырки в первом и отсутствии ее во второй: неважно, насколько сильно вы деформировали сферу, — пока вы не проделаете в ней дырку, вы ни за что не получите из нее бублик, и наоборот. Другими словами, нельзя проделать ни одной новой дырки в объекте или разорвать его каким-то другим образом, не изменив при этом его топологию. И наоборот, тополог считает две формы функционально эквивалентными, если, вылепив их из пластичной глины или пластилина, можно трансформировать одну в другую, только сжимая и растягивая, но не разрывая ее.
Рис. 1.1. В топологии существуют два вида одномерных пространств, принципиально отличных друг от друга: линия и окружность. Можно преобразовать окружность в петлю любой формы, но превратить окружность в линию, не разрезая ее, невозможно. Двухмерные поверхности, являющиеся ориентируемыми, — что означает, что они, подобно мячу, имеют две поверхности, а не одну, как лента Мёбиуса, — могут быть классифицированы по их роду, грубо говоря, по количеству дырок в данной поверхности. Так, сфера, имеющая род 0, в которой нет дырок, принципиально отлична от бублика, имеющего род 1 и, соответственно, одну дырку. Как и в случае с окружностью и прямой, невозможно превратить сферу в бублик, не проделав в ней дырку
Бублик с одной дыркой называется тором, но бубликоподобные поверхности могут иметь любое число дырок. Двухмерные поверхности, которые являются одновременно компактными (замкнутыми и ограниченными в пространстве) и ориентируемыми (имеющими две стороны), можно классифицировать по числу дырок в них, или по роду. Объекты, имеющие различный вид в двух измерениях, считаются топологически идентичными, если они относятся к одному и тому же роду.
Сделанное выше утверждение о существовании только двух возможных двухмерных форм — бублика и сферы, справедливо лишь в случае, когда мы ограничиваемся ориентируемыми поверхностями, а именно о таких поверхностях мы в основном и будем говорить в этой книге. Мяч, например, имеет две стороны — внутреннюю и внешнюю, и то же самое справедливо в отношении велосипедной камеры. Но существуют и более сложные поверхности — односторонние, или «неориентируемые», такие как бутылка Клейна или лента Мёбиуса, для которых указанное утверждение не верно.
Рис. 1.2. В топологии сфера, куб и тетраэдр (как и многие другие геометрические тела) рассматриваются как эквивалентные, поскольку они могут быть получены друг из друга путем деформации, растяжения или сжатия без разрывов и разрезов
Рис. 1.3. Поверхности нулевого, первого, второго и третьего рода; термин «род» означает число дырок
Когда количество измерений превышает два, число возможных форм резко возрастает. Рассматривая пространства с большим числом измерений, мы должны допускать движения в тех направлениях, которые мы не в состоянии наглядно себе представить. Замечу, что речь идет не о тех направлениях, которые лежат, скажем, между направлением на север и направлением на запад (например, на северо-запад) и даже не о направлениях типа «к северу через северо-запад». Речь о таких направлениях, которые можно указать, только выйдя за пределы привычной нам системы координат, держа путь вдоль оси, которую только предстоит нарисовать.
Один из первых крупных прорывов на пути к изображению многомерных пространств был совершен в XVII веке великим Рене Декартом, французским математиком, философом, ученым и писателем. Впрочем, для меня он в первую очередь — геометр. В числе прочих вкладов в науку Декарт показал, что мышление на языке координат гораздо продуктивнее геометрических построений.
Система координат, которую он создал и которая сейчас носит название декартовой, объединила алгебру и геометрию. В узком смысле Декарт показал, что, построив три оси (x, y и z), перпендикулярные друг другу и пересекающиеся в одной точке, можно точно указать положение любой точки в трехмерном пространстве, используя три числа: x, y и z, называемые координатами. Но на самом деле вклад Декарта гораздо шире — одним блестящим жестом он значительно расширил область исследований геометрии. Применение системы координат сделало возможным использование алгебраических уравнений для описания сложных многомерных геометрических фигур, которые нелегко себе представить.
Используя этот подход, можно работать с пространством любой размерности — не обязательно (x, y, z), но и (а, b, с, d, e, f) или (j, k, l, m, n, о, p, q, r, s) — размерность каждого конкретного пространства определяется числом координат, необходимых для того, чтобы указать положение точки в этом пространстве. Вооружившись такой системой, можно рассматривать пространства любой размерности и проводить в них различные вычисления, не заботясь о том, как эти пространства изобразить.
