Когда прямые искривляются

Если взять точку на прямой линии, то у Евклида и Лобачевского линия будет разделена на две части, но у Римана это не так. У Евклида два треугольника с одинаковыми углами подобны, а у Лобачевского и Римана такие треугольники конгруэнтны.

В следующей таблице приведены основные различия этих геометрий:

Евклидова геометрия может быть построена на плоскости, гиперболическая геометрия — на поверхности псевдосферы, а эллиптическая — на поверхности сферы.

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

В евклидовом прямоугольнике все углы по 90°, в геометрии Лобачевского углы «прямоугольника» меньше 90°, а в эллиптической геометрии — больше 90°.

На евклидовой плоскости только одна прямая параллельна l. На псевдосфере бесконечное число прямых, проходящих через Р и лежащих между прямыми l₁ и l₂, не пересекаются с прямой l. На сферической поверхности через точку Р не проходит ни одной линии, параллельной l. Прямая l пересекает любую другую, проходящую через точку Р.

* * *

ЕВКЛИДОВА ГЕОМЕТРИЯ В РЕАЛЬНОСТИ

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

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

* * *

Муравьиные бега

Воображаемые муравьиные бега являются очень удобным способом ясно и наглядно смоделировать три типа геометрии и проиллюстрировать их сходства и различия.

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

Если два муравья бегут по идеально ровной поверхности — евклидовой плоскости, — их пути не будут ни сходиться, ни расходиться, а будут оставаться на равном расстоянии друг от друга.

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