Авторское вступление к книге
В августе 1859 года Бернхард Риман стал членом-корреспондентом Берлинской академии наук; это была большая честь для тридцатидвухлетнего математика. В согласии с традицией Риман по такому случаю представил академии работу по теме исследований, которыми он был в то время занят. Она называлась «О числе простых чисел, не превышающих данной величины». В ней Риман исследовал простой вопрос из области обычной арифметики. Чтобы понять этот вопрос, сначала выясним, сколько имеется простых чисел, не превышающих 20. Их восемь: 2, 3, 5, 7, 11, 13, 17 и 19. А сколько простых чисел, не превышающих тысячи? Миллиона? Миллиарда? Существует ли общий закон или общая формула, которые избавили бы нас от прямого пересчета?
Риман взялся за эту проблему, используя самый развитый математический аппарат своего времени — средства, которые даже сегодня изучаются только в продвинутых институтских курсах; кроме того, он для своих нужд изобрел математический объект, сочетающий в себе мощь и изящество одновременно. В конце первой трети своей статьи он высказывает некоторую догадку относительно этого объекта, а далее замечает:
«Хотелось бы, конечно, иметь строгое доказательство этого факта, но после нескольких недолгих бесплодных попыток я отложил поиск такого доказательства, поскольку этого не требуется для непосредственных целей моего исследования».
Эта высказанная по случаю догадка оставалась почти незамеченной в течение десятилетий. Но затем, по причинам, которые я поставил себе целью описать в данной книге, она постепенно завладела воображением математиков, пока не достигла статуса одержимости, непреодолимой навязчивой идеи.
Гипотеза Римана, как стали называть эту догадку, оставалась навязчивой идеей в течение всего XX столетия и остается таковой по сей день, отразив к настоящему моменту все без исключения попытки доказать ее или опровергнуть. Эта одержимость Гипотезой Римана стала сильна как никогда после того, как в последние годы были успешно решены другие великие проблемы, долгое время остававшиеся открытыми: Теорема о четырех красках (сформулирована в 1852 году, решена в 1976), Последняя теорема Ферма (сформулирована, по-видимому, в 1637 году, доказана в 1994), а также многие другие, менее известные за пределами мира профессиональных математиков. Гипотеза Римана сегодня — это гигантский Белый Кит математических исследований.
Гипотеза Римана поглощала внимание математиков в течение всего XX века. Вот что говорил Давид Гильберт, один из виднейших математических умов своего времени, обращаясь ко второму международному конгрессу математиков:
«В теории распределения простых чисел в последнее время Адамаром, де ля Валле Пуссеном, фон Мангольдтом и другими сделаны существенные сдвиги. Но для полного решения проблемы, поставленной в исследовании Римана „О числе простых чисел, не превышающих данной величины“, необходимо прежде всего доказать справедливость исключительно важного утверждения Римана <: : :>».
Далее Гильберт приводит формулировку Гипотезы Римана. А вот как сто лет спустя высказался Филип А. Гриффитс, директор Института высших исследований в Принстоне, а ранее — профессор математики в Гарвардском университете. В своей статье, озаглавленной «Вызовы исследователям XXI века», в январском номере Journal of the American Mathematical Society за 2000 год он пишет:
«Несмотря на колоссальные достижения XX века, десятки выдающихся проблем все еще ожидают своего решения. Наверное, большинство из нас согласится, что следующие три проблемы относятся к числу наиболее вызывающих и интересных.
Первой из них является Гипотеза Римана, которая дразнит математиков уже 150 лет <: : :>».
Интересным явлением в Соединенных Штатах в последние годы XX века стало появление частных математических исследовательских институтов, финансируемых богатыми любителями математики. И Математический институт Клея (основанный в 1998 году бостонским финансистом Лэндоном Т. Клеем), и Американский математический институт (основан в 1994 году калифорнийским предпринимателем Джоном Фраем) ориентировали свои исследования на Гипотезу Римана. Институт Клея установил премию в миллион долларов за ее доказательство или опровержение. Американский математический институт обращался к Гипотезе на трех полномасштабных конференциях (в 1996, 1998 и 2000 годах), собравших исследователей со всего мира. Помогут ли эти новые подходы и инициативы в конце концов победить Гипотезу Римана, пока не ясно.
В отличие от Теоремы о четырех красках или Последней теоремы Ферма Гипотезу Римана нелегко сформулировать так, чтобы сделать ее понятной для нематематика, потому что она составляет самую суть одной трудной для понимания математической теории. Вот как она звучит:
Гипотеза Римана
Все нетривиальные нули дзета-функции имеют вещественную часть, равную одной второй.
Для обычного читателя, даже хорошо образованного, но без продвинутой математической подготовки, это, вероятно, полная бессмыслица. С равным успехом можно было бы сформулировать Гипотезу на церковнославянском. В данной книге параллельно с описанием истории Гипотезы и ряда людей, имевших к ней отношение, я попытался довести этот глубокий и таинственный вывод до уровня, доступного широкому читателю, сообщая при этом ровно столько математических сведений, сколько необходимо для понимания Гипотезы.
*
План книги очень простой. Главы с нечетными номерами (сначала они планировались как главы с простыми номерами, но я подумал, что не стоит казаться слишком умным) содержат математические объяснения, подводя читателя — надеюсь, плавно — к пониманию Гипотезы Римана и к осознанию ее важности. В главах с четными номерами раскрываются исторические и биографические подробности.
Изначально я собирался сделать эти две нити повествования независимыми, так чтобы читатели, недолюбливающие формулы, могли наслаждаться только четными главами, а читатели, которых не слишком интересуют история и байки про математиков, могли спокойно читать нечетные. Реализовать этот план мне удалось не в полной мере, и я теперь сомневаюсь, что со столь запутанным предметом это вообще возможно. Тем не менее в своей основе планировавшееся разбиение сохранилось. Математики намного больше в нечетных главах и намного меньше в четных, и читатель волен, разумеется, попытаться следовать при чтении той или иной линии. Правда, я все же надеюсь, что вы прочтете книгу целиком.
Книга предназначена для понятливого и любознательного читателя-нематематика. Такое утверждение, конечно, вызывает целый ряд вопросов. Что имеется в виду под «нематематиком»? Какой уровень математических знаний предполагается у читателя? Ну, начнем с того, что каждый хоть что-то знает из математики. Наиболее образованные люди могут, вероятно, иметь смутное представление о том, что такое математический анализ. Я думаю, что мне удалось написать книгу, отвечающую уровню тех читателей, кто был в терпимых отношениях со школьной математикой и, возможно, прослушал пару институтских курсов по математике. Первоначально я собирался объяснить Гипотезу Римана вообще без использования математического анализа. Такая постановка задачи оказалась немного слишком оптимистичной; в результате набрались три главы, содержащие (в очень ограниченном объеме) самый элементарный анализ, причем все необходимое объясняется по ходу дела.
Практически все остальное — это просто арифметика и элементарная алгебра: раскрытие скобок в выражениях типа (a + b)_(c+d) или преобразования уравнений, позволяющие превратить S = 1 + x S в S = 1=(1 — x). Еще потребуется готовность читателя принять кое-какие сокращенные обозначения, позволяющие пощадить мускулы кисти руки при переписывании математических выражений. Я могу утверждать по крайней мере следующее: я не думаю, что Гипотезу Римана можно объяснить, используя математику более элементарную, чем та, что излагается в этой книге; поэтому если, закончив чтение, вы так и не будете понимать, в чем состоит Гипотеза, то можете быть уверены, что вы этого никогда не поймете.
*
Многие профессиональные математики и историки математики великодушно откликнулись на мои просьбы о помощи. Я глубоко благодарен целому ряду людей, добровольно уделивших мне время, за данные мне советы (которым я не всегда следовал), за их терпение, когда им приходилось отвечать на одни и те же тупые вопросы, а одному из них я особенно благодарен за оказанное мне гостеприимство. Вот эти люди: Джерри Александерсон, Том Апостол, Мэтт Брин, Брайан Конри, Хэролд Эдвардс, Деннис Хеджхал, Артур Джаффе, Патрисио Лебеф, Стивен Миллер, Хью Монтгомери, Эрвин Нейеншвандер, Эндрю Одлыжко, Сэмюэль Паттерсон, Питер Сарнак, Манфред Шредер, Ульрике Форхауер, Матти Вуоринен и Майк Вестморланд. За все серьезные ошибки в книге несу ответственность я, а не они. Бригитт Брюггеман и Херберт Айтенайер помогли мне восполнить пробелы в немецком. Заказы на статьи от моих друзей из National Review, The New Criterion и The Washington Times позволяли кормить моих детей, пока я работал над книгой. Многочисленные читатели моих онлайновых колонок помогли мне осознать, какие именно математические идеи представляют наибольшую трудность для понимания нематематиками.
Вместе с благодарностями приходится принести и примерно такое же количество извинений. Книга посвящена предмету, который целый ряд лучших умов человечества интенсивно исследует на протяжении сотни лет. В рамках отведенного объема и в соответствии с выбранным методом изложения пришлось выкинуть целые области исследований, связанных с Гипотезой Римана. В книге вы не найдете ни слова ни о гипотезе плотности, ни о приближенном функциональном уравнении, ни даже о целом захватывающем направлении, лишь недавно пробудившемся к активной жизни после долгой спячки, — исследовании моментов дзета-функции. Не будут также упомянуты обобщенная гипотеза Римана, модифицированная обобщенная гипотеза Римана, расширенная гипотеза Римана, большая гипотеза Римана, модифицированная большая гипотеза Римана и квазириманова гипотеза.
Еще огорчительнее, что в моей книге не встретится имен многих ученых, которые десятилетиями трудятся на этом поприще, не покладая рук. Это Энрико Бомбьери, Амит Гош, Стив Гонек, Хенрик Иванек (в половине приходящей к нему электронной корреспонденции указан адресат «Хенри К. Иванек»), Нина Снейт и многие другие. Я приношу им свои искренние извинения. Когда работа начиналась, я и не подозревал, какой груз взваливаю на свои плечи. Эта книга с легкостью могла оказаться в три или в тридцать раз длиннее, но мой редактор уже шарил под столом в поисках бензопилы.
И еще одна благодарность. Я придерживаюсь того суеверия, что всякая книга, выходящая за рамки ремесла, — другими словами, всякая книга, написанная с тщанием и любовью, — имеет своего духа-хранителя. Этим я просто хочу сказать, что за всякой книгой стоит определенный конкретный человек, образ которого не покидает мысли автора во время работы и личность которого добавляет красок его страницам. (В художественной литературе, боюсь, таким человеком слишком часто оказывается сам автор.)
Дух-хранитель этой книги, чей взгляд через плечо я, казалось, временами ловил, пока писал, чье легкое покашливание в соседней комнате я иногда слышал в своем воображении и кто неслышно действует за сценой и в математических, и в исторических главах, — это Бернхард Риман. Чтение того, что написано им, и того, что написано о нем, вызвало во мне смешанные чувства по отношению к этому человеку: глубокое сочувствие к его неприспособленности к жизни в обществе, подорванному здоровью, выпавшим на его долю тяжелым утратам и хронической бедности смешано с благоговением перед невероятной мощью его ума и силой его сердца.
Книгу следует посвятить кому-то из живущих, чтобы посвящение могло доставить удовольствие. Я посвятил эту книгу своей жене, которая совершенно точно знает, насколько это посвящение искренне. Но в определенном смысле, и это нельзя обойти молчанием в предисловии, эта книга принадлежит Бернхарду Риману, который за свою короткую жизнь, омраченную многими горестями, оставил людям столь много имеющего непреходящую ценность — включая и задачу, которая продолжает манить их через полторы сотни лет после того, как он с типичной для себя застенчивостью упомянул о своих «недолгих бесплодных попытках» ее решить.