Жуан Гомес - Мир математики. т.4. Когда прямые искривляются. Неевклидовы геометрии

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

Эдвард Каснер и Джеймс Ньюмен («Математика и воображение», 1941)

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

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

Возможно, самым простым способом открытия новых миров является попытка увидеть их проявления в более понятных и очевидных сферах нашей повседневной жизни. Таким образом, наше изложение начнется с короткого путешествия в «геометрию такси», которая основана на так называемом «расстоянии Минковского», отличающемся от расстояния в обычном понимании. Как бы мы ни хотели улететь в дальние экзотические страны, для начала мы должны не терять землю под ногами. Нам придется обратиться к Евклиду, чтобы понять, как основные элементы геометрии используются в повседневной жизни. Лишь тогда мы сможем перейти к обсуждению таких понятий, как «пятый постулат» и «проблема параллелей», из которых рождаются интересующие нас новые геометрии.

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

Неудачные попытки доказать пятый постулат поставили под сомнение, казалось бы, неоспоримые основы традиционной геометрии. В это время и проявили себя одни из самых замечательных ученых в области математики. История альтернативных интерпретаций пятого постулата является в равной мере историей неудач и гениальных открытий. С ней связаны самые известные в истории математики имена: Лобачевский, Бойяи, Гаусс, Риман… Мы более подробно рассмотрим удивительные результаты первой из новых геометрий — гиперболической геометрии Лобачевского и Бойяи. Мы увидим, как она кардинально изменила наше понимание физической реальности и как она повлияла на исследования Альберта Эйнштейна и открытие им теории относительности.

Эллиптическая геометрия Римана перенесет нас в удивительный мир сфер, где у треугольников сумма внутренних углов больше 180°. Мы воспользуемся сферической геометрией, чтобы ответить на многие вопросы. Что является кратчайшим расстоянием между двумя городами на поверхности Земли? Можно ли измерить внутренние углы треугольника, вершинами которого являются Париж, Лондон и Мадрид? Решения этих геометрических задач оказываются весьма полезными в нашем глобализованном мире, где GPS позволяет определить координаты любой точки нашей планеты.

Словно река, прорвавшая древнюю плотину, новые идеи смели традиционные научные понятия и породили сотни новых. Мы коснемся также геометрии XXI в. — интегральной и вычислительной геометрии, являющейся основой новых технологий.

Читатели, желающие поглубже изучить эти вопросы, найдут в конце книги список литературы. Алфавитный указатель позволит легко ориентироваться в тексте книги.

Нам часто приходится в повседневной жизни измерять предметы. Математическую дисциплину, изучающую такие задачи, древние греки называли геометрией. Это слово происходит от греческого geometrein, где geo означает «земля», a metrein — «измерять». Когда мы говорим о геометрии, мы всегда используем единственное число.

Казалось бы, множественное число — геометрии — подразумевает существование целого ряда возможных дисциплин на выбор. Такой подход звучит слишком заумно, эта идея находится за пределами понимания обычных людей. Тем не менее, так оно и есть: другие геометрии существуют.

Разве ученые абсолютно точно знают, что такое на самом деле точка в пространстве или прямая линия, проходящая через нее? Может ли круг иметь форму прямоугольника? Знаем ли мы, что означает «параллельность»?

Ответы на эти вопросы не являются вечными истинами, а меняются на протяжении времени. Евклид с полной убежденностью утверждал, что «через точку вне прямой можно провести только одну прямую, параллельную данной», но Лобачевский показал, что можно провести много параллельных прямых, практически бесконечное число. Риман был не согласен с обоими и считал, что параллельные прямые не существуют. Кто же из этих великих математиков прав? Может, все они правы?

Или они все ошибаются?

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

Отправляясь из дома на работу или в другое место, мы вычисляем время, которое потребуется на дорогу, исходя из расстояния. Но часто оказывается, что расчеты не соответствуют реальному времени. Пробки, светофоры, дорожные работы — список таких задержек можно продолжать бесконечно. Все это, казалось бы, идет наперекор нашим тщательным планам.

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

* * *

ИЛЬДЕФОНСО СЕРДА (1815–1876)

Известный главным образом как инженер и архитектор, Ильдефонсо Серда обладал многими талантами, занимаясь также экономикой, правом и политикой. Его реформа городского планирования в Барселоне в XIX в., получившая название «План Серда», изменила лицо города, в результате чего появился один из самых впечатляющих районов — Эшампле. По-каталонски (I’Eixample) или по-испански (el Ensanche) это означает «расширение». Улицы Эшампле образуют прямоугольные кварталы, пересекаясь на равных расстояниях друг от друга.

Вид с воздуха на район Эшампле в Барселоне.

* * *

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

Представьте, что вы находитесь в районе Эшампле и хотите попасть из точки А в точку В. Если каждый городской квартал считать за единицу пути, то каким будет в этих единицах расстояние между точками А и В?

Глядя на этот рисунок, можно представить треугольник с гипотенузой (прямая линия между точками А и В) и двумя другими сторонами (вдоль улиц от одной точки к другой). Тогда длина одной стороны составит 4 единицы, а другой — 2.

Применяя теорему Пифагора (а2  = Ь2 + с2), мы можем найти длину гипотенузы: √(42 + 22) = √20 = 4,47 единиц. Если нам нужно рассчитать время в пути, то очевидно, что это расстояние обманчиво, потому что мы не можем передвигаться из одной точки в другую по прямой линии. Реальное расстояние будет суммой двух других сторон треугольника, то есть 6 единиц.