Джон Дербишир - Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике.
Это одна из десяти лучших математических работ, представленных вообще когда бы то ни было, поистине сенсационное достижение. Ее прочтение, как утверждает Ханс Фрейденталь в «Словаре научных биографий», было «одним из озарений в истории математики». Идеи, содержащиеся там, были настолько передовыми что прошло несколько десятилетий до их полного принятия и 60 лет до того момента, как они нашли свое приложение в физике, в качестве математического аппарата общей теории относительности Эйнштейна. Джеймс Р. Ньюмэн в книге «Мир математики» отзывается об этой работе как об «эпохальной» и «непреходящей» (забыв, правда, включить ее в свою обширную антологию классических математических текстов). При этом потрясает еще и то, что работа практически не содержит математических обозначений. Пролистывая ее, я обнаружил пять знаков равенства, три знака квадратного корня и четыре знака ∑, что в среднем составляет менее одного символа на страницу! Имеется всего одна настоящая формула. Все это было написано с целью быть понятым — или, возможно (см. ниже), непонятым обыкновенным профессором в провинциальном университете средней руки.
Отправной точкой для Римана стал ряд идей, высказанных Гауссом в статье 1827 года, озаглавленной «Общее исследование искривленных поверхностей». В предшествовавшие тому несколько лет Гаусса привлекали к работе по подробной топографической съемке Баварского королевства (в ходе этой работы, между прочим, он изобрел гелиотроп — устройство для наблюдений на больших расстояниях за счет отражения вспышек солнечного света от системы зеркал). Колоссальный ум Гаусса вычленил из материала, с которым он работал, некоторые соображения о свойствах двумерных поверхностей и о том, как эти свойства можно было бы описать математически. Статья Гаусса широко рассматривается в качестве работы, положившей начало новой дисциплине — дифференциальной геометрии.
Риман в своей лекции развил эти идеи и обобщил их на пространства любого числа измерений. Что еще более важно, он привнес совершенно новый взгляд на весь предмет. Гаусс воспринимал его в терминах искривленных двумерных листов, вложенных в обычное трехмерное пространство, из которого их можно разглядывать, — что было естественным обобщением его опыта работы в качестве топографа. Риман переместил точку зрения таким образом, что она стала внутренней по отношению к рассматриваемому пространству.
Я полагаю, вы знакомы с идеей, содержащейся в общей теории относительности Эйнштейна, о том, что с тремя пространственными измерениями и одним временным можно математически обращаться как с четырехмерным пространством-временем и что этот четырехмерный континуум изогнут и искорежен за счет присутствия массы и энергии. С точки зрения Гаусса геометрию этого пространства-времени надо было бы развивать, представляя себе, что оно вложено в пятимерный континуум, подобно тому как Гаусс рассматривал двумерные поверхности вложенными в обычное трехмерное пространство. Тем, что современные физики так не думают, мы обязаны Риману. На самом деле, если вы отправитесь в ближайший университет и запишетесь там на курс по общей теории относительности, то названия тем, которые вы будете проходить (по порядку), могут оказаться такими:
• метрический тензор;
• тензор Римана;
• тензор Риччи;
• тензор Эйнштейна;
• тензор энергии-импульса;
• уравнение Эйнштейна G = 8πT.
Охватив это, вы овладеете основами общей теории относительности.
Хотя цель данной книги состоит в описании открытий Римана в арифметике и великой Гипотезы, которая берет в них свое начало, нельзя сказать, что эти геометрические исследования не имеют никакого отношения к делу. Общий склад ума Римана, а также все его лучшие математические работы родились из напряжений, возникавших между соображениями двух противоположных свойств. С одной стороны, он был великим глобалистом, всегда склонным воспринимать вещи в полном объеме. Для Римана функция не представляет собой просто множество точек; еще менее она передается каким бы то ни было изобразительным способом типа графика или таблицы и еще менее — набором выражений, содержащих алгебраические формулы. (В одном из немногих засвидетельствованных отрицательных отзывов о ком бы то ни было Риман отмечает, что берлинский математик Готхольд Эйзенштейн «остановился на уровне формального вычисления».) Но что же тогда такое функция? Это объект, который без нарушения правил нельзя лишить ни одного из его атрибутов. Риман воспринимал функцию способом, каким, говорят, шахматные гроссмейстеры воспринимают шахматную партию — всю целиком, как единое целое, Gestalt.
Однако в напряженных отношениях с этой тенденцией была противоположная ей, причем также ясно прослеживающаяся в работах Римана тенденция сводить всякий математический предмет к анализу. «Риман <…> всегда мыслил в аналитических терминах», — говорит Лаугвитц. Писатель имеет в виду анализ в его бесконечно-малом аспекте: пределы, непрерывность, гладкость; локальные свойства чисел, функций и пространств. Если задуматься об этом, то должно показаться довольно странным, что исследование бесконечно малых окрестностей точек и чисел может снабдить нас знанием о глобальных свойствах функций и пространств. Это становится особенно явным в общей теории относительности, где начинают с изучения микроскопических областей пространства-времени, а приходят к осознанию формы Вселенной и рассмотрению предсмертной агонии галактик. Тем, что нам удается рассуждать столь необычным способом и в чистой, и в прикладной математике, мы обязаны главным образом математикам начала XIX века, и более всего — Бернхарду Риману.
Великая лекция Римана была в действительности документом философским в той же мере, что и математическим. В этом смысле много раз отмечавшаяся туманность многих ее мест могла быть сознательным выбором Римана. (Впрочем, см. замечание Фрейденталя ниже.) То, о чем он говорил, касалось природы пространства на самом фундаментальном уровне. А для среднего, довольного собой стареющего профессора того времени — вроде тех людей, что заседали в числе геттингенских слушателей лекции Римана в тот июньский день, — природа пространства была делом решенным. Она была открыта за 70 лет до этого Иммануилом Кантом в его «Критике чистого разума». Пространство представляет собой предсуществующую часть нашего рассудка, посредством которого мы организуем чувственные восприятия, и оно с необходимостью эвклидово, другими словами, плоское — такое, в котором прямая есть кратчайшее расстояние между двумя точками, а сумма углов треугольника равна 180 градусам.
Неэвклидова геометрия, описанная Лобачевским в 1830-х годах, с этой точки зрения воспринималась как философская ересь. Работа Римана была куда большей ересью; в этом могла состоять причина, по которой он представил свои мысли на уровне столь большой общности, что их связь с неэвклидовой геометрией должна была ускользнуть от всех, кроме наиболее математически подкованных людей в сидевшей перед ним аудитории. (Но, конечно, не от Гаусса. Гаусс на самом деле еще ранее сам изобрел неэвклидову геометрию, но не опубликовал своих результатов из опасений, как он писал, «что болваны поднимут шум и гам». В XIX столетии немцы относились к своей философии весьма серьезно.)
В статье из уже упоминавшегося «Словаря научных биографий» Ханс Фрейденталь говорит о философских способностях Римана следующее.
Один из глубочайших и наиболее одаренных воображением умов среди математиков всех времен, он испытывал сильную тягу к философии и на самом деле был великим философом. Если бы он жил и творил дольше, философы признали бы за ним членство в своем цехе.
Я недостаточно подготовлен для того, чтобы судить об истинности этого высказывания. Однако с чем я могу согласиться от всего сердца, так это с другим замечанием Фрейденталя: «Стиль Римана, на который повлияла философская литература, демонстрирует худшие черты немецкого синтаксиса; этот стиль должен представляться шифром всякому, кто не постиг немецкий язык во всей его глубине». Сознаюсь, что хотя у меня есть экземпляр собрания трудов Римана в немецком оригинале — а это один том в 690 страниц — и хотя я приложил все старания, чтобы разобраться в его словах там, где он отклоняется от непосредственно математического изложения, как, например, в своей знаменитой лекции, мое знакомство с его великими мыслями главным образом основано на переводах и вторичных источниках.[72]
VI.
Дедекинд получил вторую степень вскоре после Римана, и оба математика начали преподавание в осенне-зимнем семестре 1854 года; Риману исполнилось 28, а Дедекинду 23. Впервые в жизни Риман получал жалованье. Однако вряд ли это было серьезное жалованье. Преподавателям обычно платили посещавшие их лекции студенты (формально университет переводил плату за обучение от студентов к преподавателям). В то время в Геттингене было немного студентов, изучавших математику, — первая лекция Римана собрала их в количестве восьми — и лекции нередко отменялись из-за того, что не было записавшихся. По-видимому, Риман и Дедекинд ходили на лекции друг друга, хотя мне и не удалось установить, платили ли они друг другу за обучение.
