Джон Дербишир - Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике.
157
Например, С. Дж. Паттерсон в своей книге «Введение в теорию дзета-функции Римана» в параграфе 5.11 пишет: «Наиболее убедительные аргументы, которые имеются к настоящему моменту в пользу справедливости Гипотезы Римана, — это справедливость аналогичного утверждения для дзета-функций, связанных с кривыми над конечными полями. Формальное сходство настолько впечатляюще, что трудно представить себе, как оно могло бы не приводить к еще более далеко идущим совпадениям» (курсив мой. — Дж. Д.).
158
Clock (англ). — часы. (Примеч. перев.)
159
Попытаюсь выразить это в афористичной форме: алгебраистов заботит не столько то, чем являются вещи, сколько то, что с ними можно делать. Они — «отглагольные», а не «отсуществительные» люди. Другой интересный концептуальный взгляд на алгебру предложил сэр Майкл Атья в своей лекции в Филдсовском институте в Торонто в июне 2000 г. Тогда как геометрия с очевидностью имеет дело с пространством (говорил сэр Майкл, лауреат Филдсовской премии), алгебраисты имеют дело с временем. «Геометрия по существу статична. Я могу просто сидеть здесь и наблюдать, при этом может ничего не меняться, но это не мешает мне наблюдать. Алгебра, однако, имеет дело с временем, потому что там имеются операции, которые надлежит выполнять последовательно.» (Шенитцер А., Атья М.Ф. Математика в двадцатом столетии. American Mathematical Monthly. Vol. 108. № 7.)
160
Здесь (как и в ряде других случаев в этой книге и повсеместно в математике в целом) название — скажем, «Гипотеза Римана» или «формула Эйлера», — стандартно используемое в некотором устоявшемся контексте, смело применяется расширительно, причем иногда в контекстах, очень далеких от исходного и таких, о существовании которых ученый, давший свое имя названию, и не подозревал. Когда при этом хотят вернуться к исходной теореме, формуле, гипотезе и так далее, иногда используют эпитет «классическая». (Примеч. перев.)
161
Андре Вейль (Andre Weil), один из наиболее прославленных математиков XX века, был братом героини французского Сопротивления и мистического философа Симоны Вейль. Он учился у Адамара в Коллеж де Франс. Следует отличать его от Германа Вейля (Hermann Weyl). (Исчезновение всякой разницы в написании по-русски, очевидно, лишь усложняет задачу «отличать» — и эта проблема в самом деле присутствует в русских математических текстах. — Примеч. перев.)
162
Для получения более ясной картины читателю все же может быть полезна формула, по которой получается характеристический многочлен матрицы 2x2. Общий вид такой матрицы (ab cd). Ее характеристический многочлен равен (a − x)×(d − x) − bc. Таким образом и получается x2 − 11x + 28. Далее автор рассматривает характеристические многочлены с точностью до общего ненулевого множителя. (Примеч. перев.)
163
Возможно, лучше было бы говорить «от 1 до N нулей», поскольку нули иногда повторяются. Нули многочлена x2 − 6x + 9 — это числа 3 и 3. Данный многочлен разлагается на множители как (x − 3)(x − 3). Поэтому вам может прийтись больше по душе говорить, что он имеет только один нуль, а именно 3. В строгом математическом смысле это «нуль кратности 2». Имеется, между прочим, способ приписывать подобную кратность любому нулю любой функции. Насколько известно, все нетривиальные нули дзета-функции имеют кратность 1, однако это пока не доказано. Если окажется, что какой-то нетривиальный нуль дзета-функции имеет кратность 2 или выше, то это само по себе не опровергнет Гипотезу, но произведет опустошение в некоторой части вычислительной теории.
164
На самом деле, конечно, речь идет об операторах. Математическая модель для описания динамических систем строится в терминах операторов. «Ансамбль» (в данном употреблении, кстати, это слово было введено Альбертом Эйнштейном) означает набор операторов, у которых общими являются некоторые статистические свойства.
165
Точнее говоря, сферой интересов Монтгомери была так называемая «задача числовых классов», доступное изложение которой можно найти в книге Кита Делвина «Математика: Новый золотой век», Columbia University Press, 1999.
166
Хэролд Даймонд — специалист по теории чисел. В настоящее время — профессор математики в Университете Иллинойса в Урбана-Шампейн.
167
Сарвадаман Чоула (1907-1995) — превосходный специалист по теории чисел, в основном работавший в Колорадском университете.
168
Стандартное введение в теорию случайных матриц: Мадан Лал Мехта. Случайные матрицы и статистическая теория энергетических уровней. New York: Academic Press. 1991.
169
Дайсон — еще один человек из Тринити, учившийся в этом колледже в начале 1940-х гг. По его воспоминаниям, состояние Харди, который в то время окончательно впал в депрессию, «было не слишком веселым».
170
Это поднимает интересный вопрос о том, в какой степени они могут являться «настоящими» теоремами. Некий результат, в котором предполагается справедливость ГР, с моей точки зрения, сам, строго говоря, является гипотезой — или, если угодно, подгипотезой, но уж никак не настоящей теоремой. С учетом того, что математика считается наиболее точной из всех наук, математики не слишком последовательны по поводу использования таких терминов, как «предположение», «гипотеза» и «теорема». Почему, например, Гипотеза Римана — «гипотеза», а не «предположение»? Я не знаю, и мне не удалось найти никого, кто мог бы мне это разъяснить. И на беглый взгляд кажется, что эти замечания применимы, по-видимому, и к другим языкам, а не только к английскому. По-немецки, кстати, Гипотеза Римана — Die Riemannsche Vermutung, от глагола vermuten — высказывать догадку. (Неудивительно. Древнегреческое слово «гипотеза» как раз и означает «предположение». — Примеч. перев.)
171
Майкл Берри — профессор физики в Бристольском университете в Англии. Возведен в рыцарское достоинство в июне 1996 г., став таким образом сэром Майклом Берри. Я очень старался упоминать его как Берри при описании его работ, сделанных до 1996 г., и как сэр Майкл после этого, но не гарантирую, что всегда был последователен.
172
Где-то в конце 1980-х Cray-1 был дополнен компьютером Cray X-MP.
173
Самой ранней ссылкой на закон Монтгомери-Одлыжко (именно под таким названием), которую мне удалось найти, является статья Николаса Каца и Питера Сарнака, опубликованная в 1999 г. Слово «закон» здесь, конечно, понимается в физическом, а не в математическом смысле. Это факт, установленный эмпирическим путем, как законы движения планет, сформулированные Кеплером. Это не математический принцип, подобный правилу знаков. В статье Сарнака и Каца на самом деле был доказан закон для дзета-функций над конечными полями (см. главу 17.iii), что позволило перекинуть мост между алгебраическим и физическим подходами к ГР.
174
http://www.dtc.umn.edu/~odlyzko/zeta_tables/index.html (Примеч. перев.)
175
Ответ не гласит «половина». Сказать «половина» означало бы перепутать середину и среднее. Среднее из четырех чисел 1, 2, 3, 8 510 294 равно 2 127 575, но половина из них меньше, чем 3.
176
Известного в математике как «распределение Пуассона». Здесь, кстати, повсюду присутствует число e: например, указанное число 6 321 есть 10 000(1 − 1/e).
177
Уравнение, которым задается изображенная на рисунке 18.5 кривая, имеет вид y = (320 000/π2)x2e−4х∙x/π. Это скошенное распределение, а не симметричное, как гауссовское нормальное. Его пик находится при аргументе 1/2√π, т.е. 0,8862269…. Эту кривую для распределения последовательных интервалов ГУА предложил в качестве догадки Юджин Вигнер. Его догадка основывалась на небольшом количестве данных, собранных из экспериментов на атомном ядре. Позднее оказалось, что это не в точности правильная кривая, хотя она и находится в пределах ошибки около 1%. Истинная кривая, которую нашел Мишель Годен, описывается более сложным уравнением. Эндрю Одлыжко пришлось написать целую программу, чтобы ее нарисовать.
