Когда прямые искривляются. Неевклидовы геометрии (Гомес) - страница 14
Обратите внимание, что в проективной геометрии параллельные линии сходятся в точке, называемой точкой схода, или точкой бесконечности. Понятие параллельных линий превращается в понятие прямых, которые пересекаются в точке, расположенной на бесконечном расстоянии. Однако эта бесконечно удаленная точка все еще находится в поле зрения наблюдателя.
Хорошим примером точки схода на плоскости является точка, где сходятся железнодорожные рельсы. Другим примером являются чертежи архитектора с плоскостными проекциями для изображения более реалистичного варианта дизайна.
Точка схода в реальности при взгляде на рельсы (сверху). Точка схода на художественной проекции. Иллюстрация из опубликованного в 1565 г. «Трактата о перспективе» фламандского художника Вредемана де Вриса (снизу).
Методы проективной геометрии приводят к искажению изображений: длины отрезков, величины углов и размеры фигур евклидовой геометрии не обязательно сохраняются. В сущности, проективная геометрия является геометрией художников. Поэтому параллельные линии изображались художниками эпохи Возрождения совсем не так, как у Евклида. Изменилось само понятие параллельности.
Вплоть до конца XVIII в. роль математики заключалась в обосновании физической реальности мира, в котором мы живем. В следующем же веке эта роль изменилась с появлением неевклидовых геометрий. Время «Начал» Евклида, являвшихся непререкаемой истиной на протяжении 23 веков, подошло к концу, и вместе с этим пошатнулось само понятие реальности в том абстрактном смысле, который в него вкладывали до сих пор.
Иммануил Кант утверждал, что пространство является системой отсчета, существующей в человеческом сознании, и, следовательно, аксиомы и постулаты геометрии Евклида являются предопределенным знанием, понятиями, априори запечатленными в уме человека. Без этих аксиом и постулатов невозможно даже рассуждать о пространстве. Тем не менее он был первым, кто допускал возможность существования другого типа геометрии. В своей первой работе, опубликованной в 1746 г., Кант рассматривает пространство с более чем тремя измерениями и говорит:
«Если возможно существование пространств с другими измерениями, то, скорее всего, Бог создал бы их, ибо его творения заключают в себе все величие и разнообразие, на которое они способны».
Геометриями, которые предсказал Кант, являются известные в наше время многомерные неевклидовы геометрии.
В формальном смысле евклидова геометрия определена в первых шести книгах «Начал», а неевклидовы геометрии получаются путем отказа от пятого постулата.