Йэн Стюарт - Укрощение бесконечности. История математики от первых чисел до теории хаоса [litres]

История неевклидовой геометрии слишком сложна, чтобы описывать ее во всех подробностях, но мы можем резюмировать результаты, полученные благодаря усилиям ее первопроходцев. Была установлена глубокая связь между тремя случаями, отмеченными Саккери, Ламбертом, Гауссом, Бойяи и Лобачевским. Их всех объединяет идея кривизны. Неевклидова геометрия – на самом деле естественная геометрия криволинейной поверхности. Если поверхность имеет положительную кривизну, как сфера, мы имеем дело с тупым углом. Это долгое время отвергалось из-за слишком очевидных отличий сферической геометрии от евклидовой – например, потому что здесь любые две линии, т. е. большие круги, чьи центры совпадают с центром Земли, встречаются в двух точках, а не в одной, как мы ожидаем от евклидовых прямых.

Теперь нам ясно, что эти возражения необоснованны. Если мы отождествим в одну точку диаметрально противоположные точки на сфере – т. е. примем, что они идентичны, – то линии (большие круги) всё равно будут иметь смысл: если точка лежит на большом круге, на нем же будет лежать и диаметрально противоположная ей. С таким определением практически все геометрические свойства остаются неизменными, но теперь линии встречаются в одной точке. Топологически в результате мы получаем проективную плоскость, хотя задействованный здесь подход – далеко не общепринятая проективная геометрия. Сейчас мы называем ее эллиптической геометрией, и она так же востребована, как геометрия Евклида.

Если поверхность имеет отрицательную кривизну, как седло, мы переходим к случаю с острым углом. Полученная в результате геометрия называется гиперболической . Она имеет множество занимательных особенностей, отличающих ее от евклидовой.

Модель Пуанкаре гиперболической геометрии делает ее более ясной: через точку, не лежащую на данной прямой, проходит бесконечно много параллельных (не пересекающих ее) линий

Если кривизна поверхности нулевая, как у евклидовой плоскости, то мы попадаем в область евклидовой геометрии. Все три геометрии удовлетворяют всем аксиомам Евклида, за исключением пятого постулата. Решение Евклида включить его было оправданным.

Эти различные геометрии могут быть выражены самыми разными способами. И здесь особенно многогранна гиперболическая геометрия. В одной модели соответствующее пространство может оказаться верхней комплексной полуплоскостью, без вещественной оси и всего, что ниже ее. Линия является полуокружностью, встречающейся с вещественной осью под прямыми углами. Топологически данное пространство есть не что иное, как плоскость, а его линии тождествены обычным. Изгиб линий отражает отрицательную кривизну гиперболического пространства.

Во второй модели гиперболической геометрии, исследованной Пуанкаре, пространство заключено внутри круга, не включает его границы, а линии являются дугами окружностей и пересекают границу под прямыми углами. И снова данный вид геометрии отражает кривизну пространства. Художник Мауриц Эшер создал много картин, основанных на этой модели гиперболической геометрии, с которой его познакомил канадский ученый Коксетер.

Обе модели затрагивают глубинные связи между гиперболической геометрией и комплексным анализом. Эти связи относятся к основным группам преобразований комплексной плоскости. Согласно «Эрлангенской программе» Феликса Клейна, гиперболическая геометрия является геометрией инвариантов таких преобразований. Другой класс трансформаций, так называемые преобразования Мёбиуса, в свою очередь, вводят в игру эллиптическую геометрию.

Что значит геометрия пространства? Теперь мы все согласны с Клюгелем и не согласны с Кантом. Это был вопрос опыта, а не отвлеченных материй, решаемых исключительно силой мысли. Теория относительности Эйнштейна утверждает, что пространство (и время) может искривляться: кривизна – это гравитационный эффект материи. Более того: кривизна может меняться от одной зоны к другой в зависимости от распределения материи. Иными словами, дело тут не в геометрии пространства как таковой. Пространство может иметь разные геометрии на разных участках. Евклидова геометрия безупречно работает в человеческих масштабах, в мире человека: ведь гравитационное искривление столь незначительно, что мы не замечаем его в обыденной жизни. Но в масштабах Вселенной ведущая роль принадлежит неевклидовой геометрии.

Начиная с ученых древности и вплоть до XIX в. математики и реальный мир пребывали в безнадежном самообмане. Господствовало твердое убеждение в том, что математика – отражение основных и неизменных свойств реального мира и что математика – истина в последней инстанции. И нигде это убеждение не удерживало столь прочные позиции, как в классической геометрии. Пространство существует по законам Евклида, для всех и каждого, кто вообще об этом задумался. А разве могло быть иначе?

Какова форма Вселенной? Вопрос может показаться простым, но ответить на него нелегко – отчасти из-за огромности Вселенной, но главным образом из-за того, что мы внутри и не имеем возможности кинуть взгляд со стороны. По аналогии, снова восходящей к Гауссу, муравей, живущий на некой поверхности и созерцающий мир только с нее, не сумеет уверенно сказать, является ли она плоскостью, сферой, тором или еще более сложной фигурой.

Теория относительности говорит нам, что вблизи от материального тела, такого как звезда, пространство-время искривляется. Уравнения Эйнштейна, демонстрирующие зависимость кривизны от плотности материи, имеют много разных решений. В самом простом из них Вселенная в целом имеет положительную кривизну и топологию сферы. Но, насколько мы можем судить, общая кривизна реально существующей Вселенной бывает и отрицательной.

Пространства с положительной, отрицательной и нулевой кривизной

Мы даже не уверены, простирается ли Вселенная бесконечно, как евклидово пространство, или имеет конечный размер, как сфера. Некоторые физики настаивают, что Вселенная бесконечна, однако экспериментальная основа этой идеи вызывает много вопросов. И большинство все-таки считает ее размеры конечными.

Удивительно, что конечная Вселенная может существовать, не имея границы. Это справедливо для двумерной поверхности сферы и для тора. Тор может быть описан плоскостной геометрией (планиметрией), ведь он наследник прямоугольника, у которого склеены противоположные стороны. Топологи также открыли, что пространство может быть конечным и в то же время иметь отрицательную кривизну. Один из способов построения такого пространства: берем конечный многогранник в гиперболическом пространстве и отождествляем различные его грани, так что линия, выходящая из одной грани многогранника, тут же входит в другую грань. Эта конструкция напоминает то, как меняются местами верхний и нижний края экрана во многих компьютерных играх.