Посвящается памяти моих родителей, Висенса и Монсеррат
Во всей истории науки нет ничего более революционного, чем развитие неевклидовых геометрий, которое до основания потрясло веру в то, что теория Евклида является вечной истиной.
Эдвард Каснер иДжеймс Ньюмен («Математика и воображение», 1941)
Все мы знаем множество геометрических понятий, потому что постоянно используем этот раздел математики в нашей повседневной жизни. Но эти понятия относятся к так называемой «классической», или «евклидовой», геометрии. Однако существуют другие геометрии, которые устроены совсем не так, как нас учили в школе. Эта книга не сделает вас специалистом в нетрадиционных геометриях, зато покажет, что реальность гораздо богаче, чем кажется на первый взгляд.
В этой книге описаны другие способы мышления и отношения к геометрии, способы, отличающиеся от тех, которые прочно укоренились в нашей повседневной жизни, и которые определяют наши действия в соответствии с евклидовой геометрией. Можно подумать, что новые геометрии понятны лишь великим ученым, но мы постараемся в последующих главах в наиболее ясной и понятной форме изложить их основы.
Возможно, самым простым способом открытия новых миров является попытка увидеть их проявления в более понятных и очевидных сферах нашей повседневной жизни. Таким образом, наше изложение начнется с короткого путешествия в «геометрию такси», которая основана на так называемом «расстоянии Минковского», отличающемся от расстояния в обычном понимании. Как бы мы ни хотели улететь в дальние экзотические страны, для начала мы должны не терять землю под ногами. Нам придется обратиться к Евклиду, чтобы понять, как основные элементы геометрии используются в повседневной жизни. Лишь тогда мы сможем перейти к обсуждению таких понятий, как «пятый постулат» и «проблема параллелей», из которых рождаются интересующие нас новые геометрии.
Лишь владея лучшими инструментами математической теории, мы можем вступить в мир новых геометрий. Сначала проведем разведку, чтобы узнать, как обстоят дела. Мы рассмотрим различные попытки доказательства пятого постулата. Ведь только в XVIII в. непоколебимое на протяжении столетий учение Евклида было наконец поставлено под сомнение самыми выдающимися математиками того времени.
Неудачные попытки доказать пятый постулат поставили под сомнение, казалось бы, неоспоримые основы традиционной геометрии. В это время и проявили себя одни из самых замечательных ученых в области математики. История альтернативных интерпретаций пятого постулата является в равной мере историей неудач и гениальных открытий. С ней связаны самые известные в истории математики имена: Лобачевский, Бойяи, Гаусс, Риман… Мы более подробно рассмотрим удивительные результаты первой из новых геометрий — гиперболической геометрии Лобачевского и Бойяи. Мы увидим, как она кардинально изменила наше понимание физической реальности и как она повлияла на исследования Альберта Эйнштейна и открытие им теории относительности.
Эллиптическая геометрия Римана перенесет нас в удивительный мир сфер, где у треугольников сумма внутренних углов больше 180°. Мы воспользуемся сферической геометрией, чтобы ответить на многие вопросы. Что является кратчайшим расстоянием между двумя городами на поверхности Земли? Можно ли измерить внутренние углы треугольника, вершинами которого являются Париж, Лондон и Мадрид? Решения этих геометрических задач оказываются весьма полезными в нашем глобализованном мире, где GPS позволяет определить координаты любой точки нашей планеты.
Словно река, прорвавшая древнюю плотину, новые идеи смели традиционные научные понятия и породили сотни новых. Мы коснемся также геометрии XXI в. — интегральной и вычислительной геометрии, являющейся основой новых технологий.
Читатели, желающие поглубже изучить эти вопросы, найдут в конце книги список литературы. Алфавитный указатель позволит легко ориентироваться в тексте книги.
Нам часто приходится в повседневной жизни измерять предметы. Математическую дисциплину, изучающую такие задачи, древние греки называли геометрией. Это слово происходит от греческого geometrein, где geo означает «земля», a metrein — «измерять». Когда мы говорим о геометрии, мы всегда используем единственное число.
Казалось бы, множественное число — геометрии — подразумевает существование целого ряда возможных дисциплин на выбор. Такой подход звучит слишком заумно, эта идея находится за пределами понимания обычных людей. Тем не менее, так оно и есть: другие геометрии существуют.
Разве ученые абсолютно точно знают, что такое на самом деле точка в пространстве или прямая линия, проходящая через нее? Может ли круг иметь форму прямоугольника? Знаем ли мы, что означает «параллельность»?
Ответы на эти вопросы не являются вечными истинами, а меняются на протяжении времени. Евклид с полной убежденностью утверждал, что «через точку вне прямой можно провести только одну прямую, параллельную данной», но Лобачевский показал, что можно провести много параллельных прямых, практически бесконечное число. Риман был не согласен с обоими и считал, что параллельные прямые не существуют. Кто же из этих великих математиков прав? Может, все они правы?