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

и Хадсона подобные нижние границы почти ничего не значат.

133

Если имена Бейса и Хадсона кажутся знакомыми, то это из-за того, что они упоминались в главе 8.iv в связи с отклонением Чебышева. На самом деле на очень глубоком уровне, определенно слишком глубоком, чтобы здесь о нем говорить, имеется родство между тенденцией функции Li(x) быть больше, чем ?(x), и чебышевскими отклонениями. В теории чисел эти два вопроса обычно рассматриваются совместно. В действительности в работе Литлвуда 1914 г. показано не только, что тенденция функции Li(x) быть больше, чем ?(x) , нарушается бесконечно много раз, но и что тоже самое верно для чебышевских отклонений. По поводу некоторых недавних. весьма впечатляющих и глубоких результатов по этому вопросу см. статью Майкла Рубинстейна и Питера Сарнака Chebyshev's bias в журнале: Experimental Mathematics. 1994. Vol. 3. P. 173-197.

134

Читателям популярной литературы по математике фон Кох более известен благодаря «кривой Коха». В этом контексте всегда опускают «фон» — ума не приложу, почему. (Кривая Коха — фрактальная кривая, которая нигде не имеет касательной, хотя всюду непрерывна. Три копии кривой Коха, расположенные вдоль сторон правильного треугольника, образуют «снежинку Коха». — Примеч. перев.)

135

Или не зная о книге Бахманна, или же (что более вероятно) просто решив не использовать новое обозначение с ? большим, фон Кох на самом деле выразил свои результат в более традиционном виде:

|f(x) ? Li(x)| < K•vx•ln x.

136

В этой области ведется немало исследований. Весьма вероятно, что на самом деле ?(x) = Li(x) + ?(vx), что, возможно, и имел в виду Риман в своем замечании насчет «порядка величины». Однако мы ни в какой мере не близки к доказательству этого факта. Некоторые исследователи, между прочим, предпочитают обозначение ?_? (x^1/2+?), чтобы подчеркнуть, что постоянная, подразумеваемая в определении О большого, зависит от ?. Если использовать это обозначение, то логика раздела 15.iii слегка изменяется. Заметим, что квадратный корень из N примерно в два раза короче (я имею в виду, что он содержит примерно в два раза меньше цифр), чем N. Отсюда следует (хотя я и не буду останавливаться ради подробного доказательства), что Li^?1(N) дает для N-го простого числа правильный результат примерно до половины длины (примерно первая половина цифр оказывается правильной). Выражение Li^?1(N) здесь надо понимать в смысле обратной функции, как в главе 13.ix, следующим образом: «число К, для которого Li(K) = N». Миллиардное простое, например, есть 22 801 763 489, a Li^?1(1 000 000 000) равно 22 801 627 415, где мы видим пять, почти шесть правильных цифр из одиннадцати.

137

Мебиуса более всего помнят за ленту (лист) Мебиуса, показанную на рисунке 15.4, которую сам он придумал в 1858 г. (Ранее она была описана другим математиком, Йоханом Листингом, также в 1858 г. Листинг опубликовал свое открытие, а Мебиус — нет, так что, согласно академическим правилам, ее следовало бы называть «лентой Листинга». Мир устроен несправедливо.) Чтобы сделать ленту Мебиуса, надо взять полоску бумаги за концы (один конец в правой руке, другой — в левой), перекрутить один из них на 180 градусов и склеить их друг с другом. Получится односторонняя поверхность — муравей может переползти из любой точки на полосе в любую другую точку, не перелезая при этом через край.

138

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

139

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