ло бровей: Гаусс-то своих революционных работ 1815–1824 годов не публиковал — в отличие от двух других его современников.
23 ноября 1823 года Йоханн (Янош) Бойяи, сын старинного друга Карла Гаусса, Вольфганга Бойяи, написал отцу, что «создал новый, иной мир из ничего»[167], имея в виду свое открытие неевклидова пространства. В тот же год в российском городе Казань Николай Иванович Лобачевский в своем неизданном учебнике геометрии осмыслил последствия нарушения пятого постулата. Лобачевский учился у Йоханна Бартельса, в те времена служившего профессором в Казани. И Вольфганг Бойяи, и Бартельс давно интересовались неевклидовым пространством и много обсуждали с Гауссом его соображения на этот счет.
Совпадение? Гений Гаусс открывает великую теорию и рад обсудить ее с друзьями, но отказывается ее публиковать. Вскоре после этого друзья и родственники этих друзей вдруг, откуда ни возьмись, выходят и заявляют, что они сделали точно такое же великое открытие. Это стечение обстоятельств породило как минимум одну песенку о Лобачевском[168] — с обвинительным текстом: «Ворец идей, ты не своди очей с чужих затей…» Однако большинство историков в наши дни считает, что передался скорее дух, нежели конкретика трудов Гаусса, а Бойяи и Лобачевский не ведали о работе друг друга — во всяком случае, в свое время.
К сожалению, не ведал никто. Ключевых для науки высоколобых математиков никто не слушал. Лобачевский свою работу опубликовал, а толку? Она вышла в никому не известном русском журнале «Казанский вестник». А Бойяи похоронил свой труд в приложении к одной из отцовых книг под названием «Tentamen» («Опыт»). Четырнадцать с чем-то лет спустя Гаусс наткнулся на статью Лобачевского, а Вольфганг написал ему о работе сына, но Гаусс по-прежнему не собирался издавать свои труды — он не желал оказаться в эпицентре скандала. Написал Бойяи вежливое поздравительное письмо (отметив, что сам уже достиг сходных результатов) и великодушно выдвинул Лобачевского в члены-корреспонденты Королевского научного общества Гёттингена (и в 1842 году того немедленно избрали).
Янош Бойяи не обнародовал более ни единой математической работы[169]. Лобачевский же стал успешным функционером, а впоследствии — и ректором Казанского университета. Бойяи и Лобачевский, быть может, так бы и растаяли вдали, если бы не связь с Гауссом. Как ни парадоксально, однако именно смерть Гаусса в итоге привела к неевклидовой революции.
Гаусс крайне педантично относился к хронике событий, связанных с его персоной. Он увлеченно собирал некоторые странные данные[170] — например, продолжительности жизни умерших друзей в днях, или число шагов от обсерватории, в которой он трудился, до различных мест, которые ему нравилось навещать. Он и работу свою датировал пофазно. После его смерти ученики набросились на его записи и корреспонденцию. Там они обнаружили его труды, посвященные неевклидову пространству, а также статьи Бойяи и Лобачевского. В 1867 году их включили во второе издание влиятельного сборника Рихарда Бальцера «Elemente der Mathematik». Совсем скоро они стали стандартными опорными ссылками для тех, кто работал над новой геометрией.
В 1868 году итальянский математик Эудженио Бельтрами упокоил раз и навсегда тему доказательства постулата параллельности: он доказал, что евклидова геометрия образует непротиворечивую математическую структуру, и так же ведут себя новооткрытые неевклидовы пространства. Непротиворечива ли евклидова геометрия? Мы еще увидим, что это пока ни доказано, ни опровергнуто.
Глава 17. Блуждания в гиперболическом пространстве
Что же за птица это неевклидово пространство? Гиперболическое пространство, открытое Гауссом, Бойяи и Лобачевским получается, если заменить постулат параллельности допущением, что для любой данной прямой есть не одна, а несколько параллельных прямых, проведенных через ту или иную точку, не лежащую на данной прямой. Одним из следствий этого, писал Гаусс Тауринусу, является то, что сумма всех углов в треугольнике всегда меньше 180° на величину, которую Гаусс назвал угловым дефектом. На другое следствие наткнулся Валлис: подобных треугольников в таком пространстве не существует. Эти два следствия связаны между собой, поскольку угловой дефект зависит от размеров треугольника. Чем больше треугольник, тем больше угловой дефект, а маленькие треугольники — более евклидовы. В гиперболическом пространстве к евклидовым формам можно приблизиться, но достигнуть их нельзя — в точности как вы не достигнете скорости света или своего идеального веса.
Вроде бы малое изменение простой аксиомы — постулата параллельности, однако его хватило, чтобы породить волну, прокатившуюся по всему корпусу евклидовых теорем и поменявшую каждую, что описывала форму пространства. Словно Гаусс вынул стекло из евклидова окна и заменил его на искажающую линзу.
Ни Гауссу, ни Лобачевскому, ни Бойяи не удалось выработать простой способ наглядно иллюстрировать этот новый вид пространства. Это получилось у Эудженио Бельтрами и — попроще — у Анри Пуанкаре, математика, физика, философа и двоюродного брата будущего президента Франции Раймона. И тогда, и ныне Анри — менее известный Пуанкаре, но, как и его кузен, умел ввернуть словцо. «Математиками рождаются, а не становятся», — писал Пуанкаре. Так родилось это клише, и Анри прочно закрепил за собой место в народном сознании. А вот труд Анри 1880 года куда менее известен вне академических кругов — в этой работе он определил четкую модель гиперболического пространства[171].
Создавая свою модель, Пуанкаре заменил базовые элементы типа прямой и плоскости вещественными объектами, после чего перевел аксиомы гиперболической геометрии в эти новые термины. Допустимо переводить неопределенные термины пространства как кривые или поверхности — или даже как разновидности еды, если при этом смысл, который им сообщается применимыми к ним постулатами, хорошенько определен и непротиворечив. Можно смоделировать неевклидову плоскость как поверхность зебры, считать волосяные луковицы на ее шкуре точками, а полосы — линиями, если нам так хочется, покуда такой перевод не противоречит аксиомам. Например, вспомним первый постулат Евклида применительно к пространству зебры:
1. От всякой волосяной луковицы до всякой волосяной луковицы можно провести кусок полосы.
Этот постулат в пространстве зебры недействителен: у полос зебры есть ширина, и полосы эти размещаются на животном в строго определенном направлении. Между двумя волосяными луковицами, расположенными вдоль какой-нибудь полосы, но смещенными от нее в стороны, не получится провести кусок полосы. Зебр в модели Пуанкаре не было. Зато она была похожа на блин.
Вот как устроена Вселенная Пуанкаре: вместо бесконечной плоскости — конечный диск, вроде блина, но бесконечно тонкий и с идеальной круговой кромкой. «Точки» — такие штуки, которые считались точками со времен Декарта: местоположения, вроде кристалликов мелкого белого сахара. Линии Пуанкаре — вроде изогнутых бурых следов от сковородки. Если же говорить технически, эти линии — «любые дуги окружностей[172], пересекающие границу диска под прямыми углами». Чтобы не путать их с линиями, которые нам подсказывает интуиция, станем называть их линиями Пуанкаре.
Собрав эту физическую картинку, Пуанкаре должен был придать смысл применимым к ней геометрическим понятиям. Одним из важнейших оказалась конгруэнтность — то самое докучливое свойство фигур, которое Евклид предписал нам проверять путем наложения. В своем четвертом «общем замечании» Евклид писал:
4. И совмещающиеся друг с другом равны между собой.
Как мы уже говорили, возможность перемещать фигуры в пространстве, не искажая их, нам гарантирована лишь при условии принятия евклидовой формы постулата параллельности. Поэтому применение общего замечания № 4 в рецепте конгруэнтности — ни-ни в неевклидовом пространстве. Решение Пуанкаре — интерпретировать конгруэнтность путем определения системы измерения длин и углов. Две фигуры в таком случае окажутся конгруэнтными, если длины их сторон и углы между ними совпадут. Вроде очевидно, да? Но все не так-то просто.
Определение способа измерения углов оказалось вполне лобовым. Пуанкаре определил угол между двумя линиями Пуанкаре как угол между их касательными в точке пересечения этих линий. А вот чтобы ввести определение длин — или расстояний, — Пуанкаре пришлось попотеть. С постижением этого понятия могут возникнуть трудности, поскольку Пуанкаре запихнул бесконечную плоскость в конечную область. Например, вспомним второй постулат:
2. Ограниченную прямую можно непрерывно продолжать по прямой.
Очевидно, применение обычного определения расстояний к блину делает постулат недействительным. Но Пуанкаре переопределил расстояние: новое пространство сжимается по мере приближения к его краям, и именно так конечная область превращается в бесконечную. На первый взгляд все просто, но Пуанкаре не мог просто взять и определить расстояние по своему произволу — чтобы стать приемлемым, его определение должно было удовлетворять многим требованиям. Например, расстояние между двумя точками должно быть всегда больше нуля. Кроме того, в точном математическом выражении, выбранном Пуанкаре, линия Пуанкаре должна была соединять любые две точки по кратчайшей траектории, возможной между ними (такие линии называются геодезическими ): в точности как обычные линии есть кратчайший путь между двумя точками в евклидовом пространстве.
Если вдуматься во все фундаментальные геометрические понятия, необходимые для определения гиперболического пространства, выяснится, что модель Пуанкаре приводит к непротиворечивому определению каждого. Мы можем проверить остальные, но интереснее всего рассмотреть именно постулат параллельности. Гиперболическая версия его, данная в модели Пуанкаре в форме аксиомы Плейфэра, выглядит так: