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

138

Если вам кажется, что выбор буквы, указывающей на свое собственное имя, было проявлением тщеславия со стороны Мебиуса, то сообщу вам, что сам Мебиус при первом описании своей функции в 1832 г. не использовал буквы μ; виновник появления μ — Франц Мертенс, который ввел ее в 1874 г., причем в честь Мебиуса, к тому времени уже скончавшегося, а не в свою.

139

Если подразумеваемая здесь логика от вас ускользает, давайте рассмотрим аналогию. Представим себе, что теорема 15.1 утверждает: «Все люди имеют рост менее 10 футов», а Гипотеза Римана утверждает, что «все граждане США имеют рост менее 10 футов». Если первое утверждение верно, то должно быть верно и второе, поскольку каждый гражданин США — человек. Более слабый результат следует из более сильного. Если человека ростом в 11 футов обнаружат в дебрях Новой Гвинеи, то его существование продемонстрирует ложность теоремы 15.1. Однако Гипотеза Римана будет по-прежнему оставаться открытой, поскольку найденный гигант не является гражданином США. (Хотя, как я подозреваю, довольно быстро им станет.)

140

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

141

«Закон об устранении бедственного положения народа и государства», дающий Гитлеру законодательную власть (формально принят как временный до 1 апреля 1937 г.). Закон ограничивал свободу личности и свободу мнений, включая свободу печати, собраний и союзов; позволял нарушать тайну переписки, телеграфной и телефонной связи, устраивать домашние обыски, конфисковывать имущество; правительству рейха предоставлялось право пользоваться полнотой власти в землях, когда это вызывалось необходимостью. (Примеч. перев.)

142

Бернштейн стал профессором только в 1921 г. Мне приходилось читать, что он формально не подпадал под действие декрета в силу гинденбурговских поправок, но я не знаю, на основании чего делается такое утверждение. В период, пока Гитлер находился у власти, Ф. Бернштейн (1874-1956) бежал в США, но в 1948 г. вернулся в Геттинген.

143

Карл Зигель рассказал Хэролду Дэвенпорту следующую историю. В 1954 г. в связи с празднованием 1000-летия основания Геттингена отцы города решили предоставить почетное гражданство трем из изгнанных в 1933 г. профессоров. Из редакции Tageblatt к Реллиху (Франц Реллих, в то время директор математического института при университете) направили корреспондента, который спросил его, сможет ли он написать статью об этих троих. Реллих ответил: «А чего бы вам просто не посмотреть, что вы сами писали про них в 33-м?»

144

Имеется ветвь геометрической теории функций, называемая, быть может не вполне правильно, «теорией Тейхмюллера». Там рассматриваются свойства Римановых поверхностей. Тейхмюллер добровольцем пошел в действующую армию во время Второй мировой войны и пропал без вести в боях на Днепре в сентябре 1943 г.

145

В мире математики другим примером является Людвиг Бибербах, автор знаменитой гипотезы в теории функций комплексной переменной (гипотезу доказал в 1984 г. Луи де Бранж). Устные экзамены у аспирантов в Берлинском университете в 1933 г. Бибербах принимал в полном нацистском облачении.

146

Я не в состоянии придумать никакого удовлетворительного перевода слова Nachlass. Равным образом — если судить по эпизодическому появлению этого слова в написанных по-английски текстах — и никому другому это не удалось. Это «литературные останки», как сообщает мне мой немецкий словарь. В данном контексте это должно означать «неопубликованные записи, найденные среди личных вещей ученого после его смерти».

147

Из нашего обсуждения Ο большого мы помним, что оно включает в себя некоторый постоянный множитель. Так, Ο(ln T) означает, что «этот член никогда не превосходит некоторого постоянного кратного величины ln T». Характеристика формулы как «очень хорошая» означает, что этот постоянный множитель мал. В данном случае он меньше чем 0,14.

148

Соответствующая теория имеет дело с нулями, расположенными в точности (в математическом смысле) на критической прямой. Это важно для понимания логики происходящего. Теория A говорит вам: «Имеется n нулей в прямоугольнике от T1 до T2» (рис. 16.1). Теория B говорит: «Имеется m нулей на критической прямой от T1 до T2». Если окажется, что m = n, то, значит, мы проверили Гипотезу Римана между T1 и T2, если же m меньше, чем n, то мы опровергли Гипотезу! (Ясно, что ситуация, когда m больше n, логически невозможна.) Теория B имеет дело с тем, что происходит на критической прямой. Рассматриваемые там нули не могут иметь вещественных частей 0,4999999999 или 0,5000000001. Это замечание полезно сравнить с другим замечанием на эту тему, сделанным в главе 12.vii.

149

Похоже, кстати, что все вычисленные до сих пор нули — иррациональные числа. Потрясающим чудом было бы появление среди них целого числа или хотя бы повторов в десятичных знаках (что указывало бы на рациональное число). Причины, по которым такого не может быть, мне неизвестны, однако же этого не происходит.

150

Инициатором присуждения Филдсовской медали, впервые врученной в 1936 г., является канадский математик Джон Чарльз Филдс (1863-1932). В настоящее время она присуждается раз в четыре года и ставит своей главной целью отметить выдающихся молодых математиков. Поэтому она присуждается только тем, кому не исполнилось 40 лет. Некоторые из математиков, упомянутых в данной книге, являются лауреатами Филдсовской медали: это Сельберг (1950), Жан-Пьер Серр (1954), Пьер Делинь (1978), Ален Конн (1982). Эта медаль высоко ценится среди математиков. Если вы филдсовский медалист, то каждый математик знает об этом и упоминает ваше имя с глубоким уважением. (Филдсовским лауреатом является и упомянутый во вступлении Энрико Бомбьери (1974). Лауреатами последних лет стали: 1990 — В. Дринфельд (СССР), В.Ф.Р. Джоунс (Новая Зеландия), Ш. Мори (Япония), Э. Виттен (США); 1994 — Ж. Бурген (Бельгия), П.-Л. Лион (Франция), Ж.-К. Йоккоз (Франция), Е. Зельманов (Россия); 1998 — Р. Борхердс (Великобритания), В.Т. Говерс (Великобритания), М. Концевич (Россия), К.Т. Макмаллен (США), Э. Уайлс (Великобритания, серебряная медаль); 2002 — Л. Лаффорг (Франция), В. Воеводский (Россия); 2006 — А. Окуньков (Россия), Г. Перельман (Россия, отказался от премии), Т. Тао Австралия), В. Вернер (Франция). — Примеч. перев.)

151

Британская школа кодов и шифров — секретный шифроаналитический центр правительства Великобритании. (Примеч. перев.)

152

Не 104, как говорит Ходжес.

153

«Теория дзета-функции Римана» (1951). Ее все еще можно купить. (Титчмарш Э.Ч. Дзета-функция Римана. Пер. с англ. Москва. 1947. — Примеч. перев.)

154

Всего одно только биографическое замечание. Джозеф Бэклунд (1888-1949) — второй финн в этой книге; он родился в рабочей семье в городе Якобстад, расположенном на Ботническом заливе. «Члены семьи были одаренными, но, по-видимому, психически неуравновешенными; три брата Джозефа покончили с собой». (Элфвинг Густав. История математики в Финляндии, 1828-1918. Хельсинки. 1981). Бэклунд был учеником Линделёфа, а после аспирантуры стал актуарием и сделал карьеру в области страхования, как и Грам. Накопленные человечеством знания немало обязаны страховому бизнесу. Грам, кстати, умер нелепой смертью — его сбил велосипед.

155

В книге профессора Эдвардса приведены несколько фотографий страниц из Nachlass, по которым можно судить о масштабе работы, предпринятой Зигелем.

156

В 2004 г. Ксавье Гурдон, используя метод Одлыжко-Шонхаге, проверил, что десять триллионов нетривиальных нулей дзета-функции лежат на критической прямой. Это вычисление показывает, что Гипотеза Римана верна по крайней мере до высоты T, равной 2,4 триллиона. Читателю этой книги может быть небезынтересно, что «техническую» основу метода Гурдона составляет некоторый прием (из теории функций, а не теории чисел), называемый интерполяцией Чебышева. (Примеч. перев.)