Рис. 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) — размерность каждого конкретного пространства определяется числом координат, необходимых для того, чтобы указать положение точки в этом пространстве. Вооружившись такой системой, можно рассматривать пространства любой размерности и проводить в них различные вычисления, не заботясь о том, как эти пространства изобразить.
Через два столетия после Декарта эту идею подхватил и развил великий немецкий математик Георг Фридрих Бернхард Риман. В 1850-х годах, работая над геометрией искривленных (неевклидовых) пространств — этой темы мы еще коснемся в следующей главе, — Риман установил, что такие пространства не ограничены в смысле количества измерений. Он также показал, как можно в этих пространствах точно рассчитывать расстояние, кривизну и другие характеристики. В 1854 году при соискании должности экстраординарного профессора Риман сделал доклад «О гипотезах, лежащих в основах геометрии». Изложенные в нем принципы известны с тех пор как