У Евклида через точку вне прямой проходит только одна прямая, параллельная данной. Лобачевский утверждал, что таких прямых по крайней мере две. По словам Римана, таких прямых вообще не бывает.
У Евклида параллельные прямые находятся на одинаковом расстоянии друг от друга, у Лобачевского это не так. Что касается суммы углов треугольника, у Евклида она всегда 180°, у Лобачевского — меньше 180°, а у Римана — больше 180°.
Если взять точку на прямой линии, то у Евклида и Лобачевского линия будет разделена на две части, но у Римана это не так. У Евклида два треугольника с одинаковыми углами подобны, а у Лобачевского и Римана такие треугольники конгруэнтны.
В следующей таблице приведены основные различия этих геометрий:
Евклидова геометрия может быть построена на плоскости, гиперболическая геометрия — на поверхности псевдосферы, а эллиптическая — на поверхности сферы.
Эти модели наглядно показывают интерпретацию пятого постулата в каждой геометрии, что изображено на следующих рисунках вместе с соответствующими проекциями. Обратите также внимание на то, как выглядят прямоугольники в каждой геометрии.
В евклидовом прямоугольнике все углы по 90°, в геометрии Лобачевского углы «прямоугольника» меньше 90°, а в эллиптической геометрии — больше 90°.
На евклидовой плоскости только одна прямая параллельна l. На псевдосфере бесконечное число прямых, проходящих через Р и лежащих между прямыми l1 и l2, не пересекаются с прямой l. На сферической поверхности через точку Р не проходит ни одной линии, параллельной l. Прямая l пересекает любую другую, проходящую через точку Р.
* * *
ЕВКЛИДОВА ГЕОМЕТРИЯ В РЕАЛЬНОСТИ
На всех глобусах Земли изображены меридианы. Все эти линии, перпендикулярные экватору, пересекаются в двух точках, в полюсах сферы. Кроме того, меридианы являются конечными линиями. Тот же эффект можно наблюдать вдоль длинной прямой дороги: кажется, что параллельные линии встречаются на горизонте. Даже евклидова реальность предполагает существование других геометрий.
С другой стороны, если мы представим себя на поверхности шара и нарисуем там треугольник, чему будет равна сумма его внутренних углов? А если мы представим себя на внутренней поверхности шара, чему тогда будет равна сумма внутренних углов треугольника? А теперь представьте себе огромный воздушный шар, бесконечно большой, на поверхности которого живут крошечные, бесконечно малые существа. В их мире, кривая поверхность будет казаться плоской, то есть, евклидовой.
* * *
Воображаемые муравьиные бега являются очень удобным способом ясно и наглядно смоделировать три типа геометрии и проиллюстрировать их сходства и различия.
Представьте себе двух муравьев, участвующих в бегах. Они начинают бежать примерно одновременно, и в принципе они бегут параллельно друг другу. Муравьи всегда бегут вперед, не поворачивая налево или направо, но их прямолинейная траектория будет выглядеть по-разному в зависимости от типа геометрии, используемой для описания поверхности.
Если два муравья бегут по идеально ровной поверхности — евклидовой плоскости, — их пути не будут ни сходиться, ни расходиться, а будут оставаться на равном расстоянии друг от друга.
Если муравьи бегут по искривленной поверхности, их пути либо сходятся, либо расходятся, поскольку являются прямыми линиями на данной поверхности. Как показано на следующем рисунке, если поверхность имеет сферическую форму, муравьи в конечном итоге встретятся, потому что пространство, в котором они движутся, не просто кривое, но и вогнутое. Если поверхность гиперболическая, муравьи постепенно разойдутся, потому что это пространство выпуклое.
Чтобы оставаться на одинаковом расстоянии друг от друга в сферическом или гиперболическом мире, его жителям придется постоянно корректировать свои пути, двигаться не по параллельным линиям и вообще отказаться от постулата о параллелях. Действительно, если такой мир существует, понятие параллельных линий там будет сильно отличаться от евклидова. Таким образом, важно понимать, что жители сферического или гиперболического мира даже не замечают, что их пути сходятся или расходятся, потому что приборы для измерения расстояния в их мире также другие. Они бы могли что-то заметить, если бы имели измерительное оборудование из евклидова мира.
Неевклидовы геометрии, в частности, работы Римана, легли в основу теорий великого Альберта Эйнштейна (1879–1955). Теория относительности использует математические понятия искривленного пространства и времени. Объединив обе концепции и опираясь на последние научные достижения того времени, Эйнштейн смог объяснить движение Солнца, планет и звезд. Понятия неевклидовой геометрии помогли ему найти математические уравнения, связывающие кривизну пространства-времени с массой и энергией.
Теория относительности
Теория относительности описывает Вселенную в терминах пространства-времени. В этой теории масса (m) и энергия (Е) связаны знаменитым уравнением Е = mс2, где с обозначает скорость света (299792,458 километров в секунду). Теория относительности использует неевклидову геометрию в качестве математической модели, чтобы скорректировать ошибки классических теорий, описывающих природные явления. Такие модели, особенно теория Римана, помогают создать более полную, хотя и менее интуитивную картину мира. В теории относительности пространство и время являются физическими величинами, которые определяют расстояния между объектами и их движение относительно друг друга. Вселенная искривлена из-за наличия в ней огромных объектов (препятствий), которые заставляют прямые лучи света искривляться в пространстве в соответствии с геодезическими линиями.
* * *
ОТЕЦ ТЕОРИИ ОТНОСИТЕЛЬНОСТИ
Альберт Эйнштейн родился в южно-германском городе Ульме. Он увлекался математикой с самого раннего возраста, но был также независимым вольнодумцем, не принимавшим укоренившуюся систему механического заучивания и зубрежки. Он переехал в Швейцарию, где получил диплом по физике, но, будучи молодым специалистом, работал клерком в бюро патентов в Берне: как еврей, он был лишен возможности получить место учителя. Несмотря на недостаток свободного времени, Эйнштейн продолжал учиться и заниматься исследованиями. В 1905 г. он опубликовал статьи по специальной теории относительности (обобщенной в 1916 г. до общей теории относительности), которая описывала понятия пространства, времени и скорости. Его работа обобщила классическую теорию Ньютона, введя новые представления о Вселенной на основе геометрии, которая не обязательно является евклидовой.
