Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике.
Шрифт:
В качестве добавления к этой главе еще чуть разовьем наш анализ, применив к выражению (9.2) два результата из тех, что были сформулированы в главе 7. Выпишем это выражение снова:
1/(1 - x) = 1 + x+ x 2+ x 3+ x 4+ x 5+ x 6+ …Все, что я собираюсь сделать, —
Будет чуть удобнее, если обе части умножить на -1:
ln(1 - x) = - x– x 2/2 - x 3/3 - x 4/4 - x 5/5 - x 6/6 - … (9.3)Несколько странно, хотя для наших целей и несущественно, что выражение (9.3) верно при x = -1, тогда как выражение (9.2) , с которого мы начали, при этом неверно. Действительно, при x= -1 выражение (9.3) дает следующий результат:
ln 2 = 1 - 1/ 2+ 1/ 3– 1/ 4+ 1/ 5– 1/ 6+ 1/ 7– … (9.4)Отметим сходство с гармоническим рядом. Гармонический ряд… простые числа… дзета-функция…. Во всей этой области господствует логарифмическая функция.
Правая часть выражения (9.4) несколько своеобразна, хотя этого и не заметить невооруженным взглядом. Она в действительности является стандартной (из учебников) иллюстрацией того, насколько хитрой вещью являются бесконечные ряды. Этот ряд сходится к ln 2, что составляет 0,6931471805599453…, но только если складывать члены именно в этом порядке.Если складывать в другом порядке, ряд может сойтись к чему-нибудь другому — или может даже вообще не сойтись! [76]
76
К слову, этот факт был впервые доказан Бернхардом Риманом.
Рассмотрим, например, такую перестановку членов ряда: 1 - 1/ 2– 1/ 4+ 1/ 3– 1/ 6– 1/ 8+ 1/ 5– 1/ 10– ….
77
Чтобы суммировать ряд к другому значению, необходимо переставить бесконечное число слагаемых; в отношении конечных сумм, разумеется, верен закон перестановочности для сложения. (Примеч. перев.)
Ряд из выражения (9.4) — не единственный, обладающий таким настораживающим свойством. Сходящиеся ряды разбиваются на две категории: те, у которых есть такое свойство, и те, у которых его нет. Ряды, подобные рассмотренному, сумма которых зависит от порядка суммирования, называются «условно сходящимися». Ряды, ведущие себя получше и сходящиеся к одному и тому же пределу независимо от того, как переставлены слагаемые, называются «абсолютно сходящимися». Большая часть важных в анализе рядов сходятся абсолютно. Тем не менее для нас первоочередной интерес будет представлять еще один ряд, сходящийся лишь условно, подобно ряду из выражения (9.4) . Мы встретимся с ним в главе 21.
Глава 10. Доказательство и поворотная точка
Работа 1859 года «О числе простых чисел, не превышающих данной величины» была единственной публикацией Бернхарда Римана по теории чисел, а также единственной из всех написанных им работ, которая вовсе не содержала никаких геометрических идей.
Эта блестящая и основополагающая статья была, однако, неудовлетворительна в некоторых отношениях. Прежде всего, имелась сама великая Гипотеза, которую Риман оставил висеть в воздухе (где она пребывает и поныне). Его собственные слова после формулировки утверждения, эквивалентного Гипотезе, были такими:
Хотелось бы, конечно, иметь строгое доказательство этого факта, но после нескольких недолгих бесплодных попыток (einigen fl"uchtigen vergeblichen Versuchen) я отложил поиск такого доказательства, поскольку этого не требуется для непосредственных целей моего исследования.
Вполне разумно. Поскольку Гипотеза не имела решающего значения для развиваемых им идей, Риман оставил ее без доказательства. Но это был наименьший из недостатков той статьи. Некоторые другие вещи в ней утверждаются, но их тщательного доказательства не приводится — причем это относится и к основному результату работы! (Сам этот результат мы рассмотрим в одной из последующих глав.)
Бернхард Риман являл собой весьма чистый случай интуитивногоматематика. Это требует пояснений. Личность математика состоит из двух главных компонент: логической и интуитивной. Обе присутствуют в каждом хорошем математике, но при этом или одна, или другая значительно преобладает. Типичным примером исключительно логического математика является немецкий аналитик Карл Вейерштрасс (1815-1897), создавший свои великие работы в третьей четверти XIX века. Чтение работ Вейерштрасса подобно наблюдению за скалолазом. Каждый шаг, прежде чем будет предпринят последующий, твердо закрепляется доказательством. Пуанкаре говорил, что ни одна из вейерштрассовых книг не содержит ни одного рисунка. На этот счет на самом деле имеется одно исключение, но так или иначе логически выверенное построение работ Вейерштрасса весьма характерно именно для логического математика: каждый тщательно обоснован перед тем, как осуществляется переход к следующему, и при этом не делается никаких воззваний к геометрической интуиции.