Джон Дербишир - Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике.

Работа 1859 года «О числе простых чисел, не превышающих данной величины» была единственной публикацией Бернхарда Римана по теории чисел, а также единственной из всех написанных им работ, которая вовсе не содержала никаких геометрических идей.

Эта блестящая и основополагающая статья была, однако, неудовлетворительна в некоторых отношениях. Прежде всего, имелась сама великая Гипотеза, которую Риман оставил висеть в воздухе (где она пребывает и поныне). Его собственные слова после формулировки утверждения, эквивалентного Гипотезе, были такими:

Хотелось бы, конечно, иметь строгое доказательство этого факта, но после нескольких недолгих бесплодных попыток (einigen flüchtigen vergeblichen Versuchen) я отложил поиск такого доказательства, поскольку этого не требуется для непосредственных целей моего исследования.

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

Бернхард Риман являл собой весьма чистый случай интуитивного математика. Это требует пояснений. Личность математика состоит из двух главных компонент: логической и интуитивной. Обе присутствуют в каждом хорошем математике, но при этом или одна, или другая значительно преобладает. Типичным примером исключительно логического математика является немецкий аналитик Карл Вейерштрасс (1815-1897), создавший свои великие работы в третьей четверти XIX века. Чтение работ Вейерштрасса подобно наблюдению за скалолазом. Каждый шаг, прежде чем будет предпринят последующий, твердо закрепляется доказательством. Пуанкаре говорил, что ни одна из вейерштрассовых книг не содержит ни одного рисунка. На этот счет на самом деле имеется одно исключение, но так или иначе логически выверенное построение работ Вейерштрасса весьма характерно именно для логического математика: каждый тщательно обоснован перед тем, как осуществляется переход к следующему, и при этом не делается никаких воззваний к геометрической интуиции.

Риман воплощал в себе полную противоположность. Если Вейерштрасс — это скалолаз, методично отвоевывающий у утеса каждый дюйм, то Риман — скорее акробат на трапеции, бесстрашно взлетающий в воздух в уверенности (которая зрителю может показаться опасным самообманом), что, когда он достигнет точки своего назначения где-то посреди неба, там будет за что ухватиться. Совершенно ясно, что Риман обладал прекрасно развитым зрительным воображением, а также и то, что его мозг совершал прыжки к результатам настолько мощным, элегантным и плодотворным, что он не мог заставить себя остановиться для доказательства. Он живо интересовался философией и физикой, и набор концепций, накопленных им в результате длительного знакомства с этими двумя дисциплинами, — поток ощущений через наши органы чувств, организация этих ощущений в формы и понятия, поток электричества через проводник, движения жидкостей и газов — просматривается за фасадом его математики.

Поэтому работу 1859 года почитают не за ее логическую чистоту и уж заведомо не за ее ясность, а за одну лишь оригинальность примененного Риманом метода и за величайший размах и мощь его результатов, которые уже обеспечили и продолжают обеспечивать его коллег-математиков материалом на десятилетия работы.

О том, что последовало за статьей 1859 года, пишет в своей книге о дзета-функции [78]Хэролд Эдвардс:

В течение первых 30 лет после опубликования статьи Римана в этой области не наблюдалось практически никакого прогресса. Это выглядело так, как будто именно столько времени потребовалось математическому миру для переваривания римановых идей. Затем в течение промежутка примерно в 10 лет Адамар, фон Мангольдт и де ля Валле Пуссен добились успехов в доказательстве как основной формулы Римана для π(x) , так и теоремы о распределении простых чисел, а также ряда других родственных теорем. Во всех этих доказательствах идеи Римана сыграли ключевую роль.

Работа Римана «О числе простых чисел, не превышающих данной величины» имела прямое отношение к попыткам доказать Теорему о распределении простых чисел (ТРПЧ). Если бы выяснилось, что Гипотеза Римана верна, то ТРПЧ была бы получена в качестве следствия. Однако Гипотеза представляет собой намного более сильный результат, чем ТРПЧ, и последнюю можно было бы доказать, исходя и из более слабых предпосылок. Основное значение работы Римана для доказательства ТРПЧ состояло в том, что она предоставила средства — результаты, позволяющие глубоко проникнуть в суть аналитической теории чисел, — с помощью которых и была проложена дорога к доказательству.