Жуан Гомес - Мир математики. т.4. Когда прямые искривляются. Неевклидовы геометрии
* * *
ТЕОРЕМА О БОЛЬШОЙ ТОЧКЕ
Эта теорема представляет собой довольно необычный результат, который можно сформулировать следующим образом:
«Число прямых, параллельных данной прямой, которые можно провести через точку вне этой прямой, зависит от того, насколько большой является эта точка».
Через большую точку вне прямой можно провести более одной прямой, параллельной данной.
Из этого также следует, что «через большую точку вне прямой можно провести сколь угодно много параллельных (и перпендикулярных) прямых к данной прямой».
Конечно, это всего лишь математическая шутка, но тем не менее эта формулировка наводит на интересные мысли. Откуда мы знаем, сколько линий (в евклидовом смысле) содержится в кончике грифеля карандаша? Чтобы проверить параллельность этих линий, нам придется продолжить их в бесконечность, а на это не хватит никакой бумаги в мире. Поэтому пятый постулат Евклида не может быть доказан экспериментально.
* * *
Геометрия в картинах эпохи Ренессанса
Эта одержимость объединяла Леонардо да Винчи (1452–1519) и Альбрехта Дюрера (1471–1528), превратив их в выдающихся художников эпохи Возрождения и в величайших теоретиков за всю историю искусства. В своем трактате Institutiones Geometricae (латинский перевод с немецкого Underweysung der Messung, «Об измерениях»), опубликованном в Германии в 1525 г., Дюрер писал:
«Немецкие художники не имеют себе равных в использовании цвета, но их работы имеют некоторые недостатки в отношении пропорции, перспективы и так далее. Без правильных пропорций картина не может быть совершенной, как бы тщательно она ни была написана. Таким образом, те, кто желает овладеть искусством живописи, должны прежде всего изучать пропорции и понимать, как рисовать объекты в проекции и в перспективе».
И Леонардо да Винчи, и Дюрер искали способы изображения трехмерных объектов в двух измерениях. Как картине придать ощущение глубины? Этот вопрос привел их к понятиям перспективы, проекции и сечения, которые изучает специальный раздел геометрии, называемый проективной геометрией.
* * *
РАЗМЕРНОСТИ
На самом деле идеи Евклида представляют собой абстракцию, а не реальность: точка, не имеющая размеров; линия, не имеющая ширины, а только длину… Это дает понятие размерности, где длина и ширина определяют каждое измерение.
Так как точка не имеет размеров, она не имеет размерности. Так как прямая линия имеет только длину, ее размерность равна единице. Поверхность не имеет толщины и является двумерной. И, наконец, пространственные тела (например, куб) имеют три измерения. Фактически в евклидовой геометрии возможны только размерности, имеющие целые значения: 0, 1, 2 и 3.
* * *
Проективная геометрия является математической теорией, разработанной в произведениях искусства эпохи Возрождения. Поверхность картины считалась стеклом окна, через которое художник видит объект. Точки объекта соединяются с глазом наблюдателя прямыми линиями. Эти линии, проходя через стекло, образуют на нем изображение, которое является проекцией объекта на поверхность стекла. Этот процесс показан на гравюре Дюрера «Рисующий лютню», где художник демонстрирует, как на картине изобразить проекцию в соответствии с методом из трактата «Об измерениях». Помощник художника (слева) держит лист стекла, на котором объект на столе изображен в перспективе.
Чтобы получить такое изображение, стекло помещается в рамку, которую держит художник справа. Лучи света (прямые линии) от изображаемого объекта, попадая в глаз художника, проходят через стекло и образуют на нем так называемую проекцию. Таким образом, для художника ключевыми понятиями являются перспектива и проекция.
Эта гравюра включена в трактат «Об измерениях» (1525) и известна под названием «Рисующий лютню». На ней Дюрер показывает, как получить изображение в перспективе с помощью проекции.
Обратите внимание, что в проективной геометрии параллельные линии сходятся в точке, называемой точкой схода, или точкой бесконечности. Понятие параллельных линий превращается в понятие прямых, которые пересекаются в точке, расположенной на бесконечном расстоянии. Однако эта бесконечно удаленная точка все еще находится в поле зрения наблюдателя.
Хорошим примером точки схода на плоскости является точка, где сходятся железнодорожные рельсы. Другим примером являются чертежи архитектора с плоскостными проекциями для изображения более реалистичного варианта дизайна.
Точка схода в реальности при взгляде на рельсы (сверху). Точка схода на художественной проекции. Иллюстрация из опубликованного в 1565 г. «Трактата о перспективе» фламандского художника Вредемана де Вриса (снизу).
Методы проективной геометрии приводят к искажению изображений: длины отрезков, величины углов и размеры фигур евклидовой геометрии не обязательно сохраняются. В сущности, проективная геометрия является геометрией художников. Поэтому параллельные линии изображались художниками эпохи Возрождения совсем не так, как у Евклида. Изменилось само понятие параллельности.
Теория Евклида под сомнением
Вплоть до конца XVIII в. роль математики заключалась в обосновании физической реальности мира, в котором мы живем. В следующем же веке эта роль изменилась с появлением неевклидовых геометрий. Время «Начал» Евклида, являвшихся непререкаемой истиной на протяжении 23 веков, подошло к концу, и вместе с этим пошатнулось само понятие реальности в том абстрактном смысле, который в него вкладывали до сих пор.
Иммануил Кант утверждал, что пространство является системой отсчета, существующей в человеческом сознании, и, следовательно, аксиомы и постулаты геометрии Евклида являются предопределенным знанием, понятиями, априори запечатленными в уме человека. Без этих аксиом и постулатов невозможно даже рассуждать о пространстве. Тем не менее он был первым, кто допускал возможность существования другого типа геометрии. В своей первой работе, опубликованной в 1746 г., Кант рассматривает пространство с более чем тремя измерениями и говорит:
«Если возможно существование пространств с другими измерениями, то, скорее всего, Бог создал бы их, ибо его творения заключают в себе все величие и разнообразие, на которое они способны».
Геометриями, которые предсказал Кант, являются известные в наше время многомерные неевклидовы геометрии.
В формальном смысле евклидова геометрия определена в первых шести книгах «Начал», а неевклидовы геометрии получаются путем отказа от пятого постулата.
В формулировке Плейфера этот отказ означает две возможности: либо отрицать уникальность параллельной прямой, либо отрицать ее существование. Это может быть выражено следующими альтернативными утверждениями.
1. В плоскости через точку Р, не лежащую на данной прямой l, проходит более одной прямой, параллельной данной.
2. В плоскости через точку Р, не лежащую на данной прямой l, не проходит ни одна прямая, параллельная данной.
* * *
ИММАНУИЛ КАНТ (1724–1804)
Знаменитый немецкий философ Иммануил Кант получил строгое образование, при котором латинскому языку и религии уделялось больше внимания, чем математике и естественным наукам. И только в университете он по-настоящему занялся физикой и математикой. Но когда умер его отец, Кант был вынужден оставить учебу и работать репетитором, чтобы прокормить себя. В 1755 г. благодаря помощи друга он продолжил образование и получил докторскую степень. Кант в конечном счете стал преподавателем, работая в университетах в течение 15 лет, читая лекции по истории, естественным наукам и математике, а также по философии. Кант считается одним из самых ярких мыслителей современной Европы. С самого начала его теории оказывали огромное влияние на интеллигенцию и до сих пор являются основой современной философии, которая постоянно ссылается на него. Идеи Канта нашли отражение во многих дисциплинах: в философии, праве, этике, логике… Вместе с Платоном, Аристотелем и Декартом Кант является одним из основоположников западной философской мысли, отцом современной философии.
* * *
Чтобы в полной мере понять эти формулировки, нам в первую очередь необходимо выйти за рамки нашего восприятия того, чем являются параллельные линии. Новая геометрия может быть построена таким способом: мы сохраним все постулаты Евклида, но только заменим пятый постулат его альтернативой. Такая геометрия позволяет получать логичные результаты и не имеет внутренних противоречий. Первая такая геометрия, так называемая гиперболическая геометрия, была предложена Николаем Лобачевским (1792–1856) и Яношем Бойяи (1802–1860). Другую геометрию, так называемую эллиптическую геометрию, сформулировал Бернхард Риман (1826–1866).
