Большое, малое и человеческий разум

Рис. 1.19. Гравюра М. К. Эшера «Предельная окружность 1».

Рис. 1.20. Некоторые особенности гиперболической геометрии (пространства Лобачевского), поясняющие построения гравюры «Предельная окружность 1».

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

t² - x² - y² = 0.

Рис. 1.21. Пространство Лобачевского, «вложенное» (в виде гиперболоидов) в пространство-время Минковского.

Стереографическая проекция переводит его в так называемый диск Пуанкаре, ограниченный окружностью на плоскости t = 0.

В такой геометрии (ее называют геометрией Минковского) уравнению t² - x² - y² = 0 соответствуют две чашеобразные поверхности, расположенные на «единичном расстоянии» от начала координат («расстоянию» в геометрии Минковского соответствует реальное время, т. е. время, измеряемое в физическом эксперименте при помощи движущихся часов). В пространстве Минковского эти поверхности служат «сферами», и можно показать, что внутренняя геометрия таких сфер является гиперболической (пространство Лобачевского). В евклидовой геометрии вы можете вращать обычную сферу и найти группу симметрии, соответствующую таким вращениям. В случае поверхностей, изображенных на рис. 1.21, группа симметрий представляет собой группу вращений Лоренца, которая описывает преобразование пространства и времени при вращении, т. е. при вращении единого пространства-времени вокруг некоторой фиксированной точки. В таком представлении группа симметрий пространства Лобачевского точно совпадает с группой Лоренца.

На рис. 1.21 для пространства Минковского показана также стереографическая проекция, подобная рассмотренной выше (рис. 1.10, в). Вместо южного полюса на рис. 1.21 используется точка (-1, 0, 0), а точки верхней «чаши» проецируются на плоскость t = 0, которая выступает аналогом экваториальной плоскости на рис. 1.10, в. Все точки после проецирования лежат внутри окружности в плоскости t = 0, которую называют иногда диском Пуанкаре. В результате операции в целом (которая, кстати, в точности совпадает с художественным приемом, использовавшимся М.Эшером в его гравюрах «Предельная окружность») гиперболическая поверхность (пространство Лобачевского) преобразуется в диск Пуанкаре. Более того, такое преобразование соответствует главной особенности проекции рис. 1.10, в — оно сохраняет все углы и окружности, придавая операции геометрическое изящество. Я просто восхищаюсь всеми этими совпадениями, с которыми математики постоянно встречаются в своих исследованиях!

Надеюсь, что мой восторг не показался вам чрезмерным. Существует интересная и несколько загадочная психологическая закономерность: если результаты исследования какой-то заинтересовавшей вас проблемы (например, геометрической) выражаются красивой математической формулой, то это поддерживает интерес исследователя и стимулирует дальнейшую работу (совершенно аналогично результаты, не обладающие математическим изяществом, обычно разочаровывают и обескураживают исследователя). Гиперболической геометрии присуща особая математическая красота, и было бы очень приятно (мне лично, по крайней мере), если бы Вселенная была построена столь математически красиво. Разумеется, у меня есть очень много других причин для веры в такое устройство Вселенной. Многим не нравится идея о гиперболической, открытой Вселенной, и они предпочитают модели замкнутых вселенных (типа показанных на рис. 1.16, б), которые, вполне возможно, кажутся им более приятными и уютными (разумеется, стоит отметить, что такие замкнутые вселенные все еще остаются весьма крупными). Другие ученые предпочитают модели плоского мира (рис. 1.16, а), поскольку среди теорий зарождения Вселенной существует и так называемая теория раздувающейся Вселенной, предполагающая плоскую геометрию мира. Должен сказать, что я не очень доверяю этим теориям.