Как не ошибаться. Сила математического мышления - Элленберг Джордан - Страница 13

Но на самом деле решение загадки с числом 0,999… (а также парадокса Зенона и ряда Гранди) кроется несколько глубже. Вы совсем не должны поддаваться давлению моих алгебраических доводов. Например, вы можете настаивать на том, что 0,999… равно не 1, а скорее 1 минус некое крохотное бесконечно малое число. Если уж на то пошло, вы можете настаивать и на том, что число 0,333… не равно в точности 1/3, а также отличается от этого числа на некую бесконечно малую величину. Для того чтобы довести данную мысль до конца, потребуется определенное упорство, но это можно сделать. Когда-то у меня был студент по имени Брайан, который изучал математический анализ. Не удовлетворившись теми определениями, которые давались на занятиях, Брайан сам разработал довольно большой фрагмент этой теории, назвав бесконечно малые величины числами Брайана.

На самом деле Брайан не был первым, кто решил заняться этим. Существует целая область математики под названием «нестандартный анализ», которая специализируется на изучении чисел такого рода. Теория, сформулированая Абрахамом Робинсоном в середине ХХ столетия, наконец позволила понять смысл «бесконечно малых приращений», которые Беркли считал такими нелепыми. Цена, которую придется за это заплатить (или, если посмотреть на это с другой стороны, награда, которую вы за это получите), – обилие новых типов чисел, причем не только бесконечно малых, но и бесконечно больших – огромное множество чисел всех форм и размеров[46].

Так случилось, что Брайану повезло – у меня в Принстонском университете был коллега Эдвард Нельсон, крупный специалист в области нестандартного анализа. Я устроил им встречу, с тем чтобы Брайан мог больше узнать об этой области. Впоследствии Эд рассказывал мне, что та встреча прошла не очень хорошо. Как только Эд дал понять, что на самом деле бесконечно малые величины никто не будет называть числами Брайана, Брайан полностью потерял интерес к этой области математики.

(Мораль: люди, начинающие заниматься математикой ради славы и признания, задерживаются в науке ненадолго.)

Но мы так и не приблизились к разрешению нашего спора. Что представляет собой число 0,999… на самом деле? Это 1? Или это некое число, на бесконечно малую величину меньшее 1, – число, принадлежащее к совершенно необычному классу чисел, который даже не был открыт сотню лет назад?

Правильный ответ состоит в том, чтобы вообще не задавать такого вопроса. Что представляет собой число 0,999… на самом деле? По всей вероятности, некую сумму такого рода:

0,9 + 0,09 + 0,009 + 0,0009 + …

Но что она значит? Настоящая проблема заключается в злополучном троеточии. Не может быть никаких споров по поводу того, что значит сумма двух, трех или сотни чисел. Перед нами всего лишь математическое обозначение физического процесса, который мы прекрасно понимаем: возьмите сотню куч чего угодно, смешайте их вместе и определите, сколько и чего у вас получилось. Но бесконечно большое количество? – это совсем другая история. В реальном мире вы не можете получить бесконечно большое количество множеств. Чему равно числовое значение бесконечной суммы? Его не существует – пока мы не зададим это значение. В чем и состояла новаторская идея Огюстена Луи Коши, который в 1820-х годах ввел в математический анализ понятие предела[47].

Лучше всего это объясняет Годфри Гарольд Харди в книге Divergent Series («Расходящиеся ряды»), опубликованной в 1949 году:

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

Чем больше членов ряда вы суммируете, тем ближе сумма 0,9 + 0,09 + 0,009 + … приближается к 1. И эта сумма никогда не превысит данное значение. Какое бы плотное оцепление мы ни устроили вокруг числа 1, в конце концов эта сумма после определенного конечного количества шагов пройдет сквозь него, но так и не выйдет наружу с другой стороны. По утверждению Коши, при таких обстоятельствах нам следует просто установить значение бесконечной суммы равным 1. Затем он приложил немало усилий, чтобы доказать, что установление такого значения не приводит к появлению глубоких противоречий где бы то ни было. К моменту окончания своей работы Коши создал понятийный аппарат, сделавшим исчисление Ньютона абсолютно строгим. Когда мы говорим, что в локальном масштабе под определенным углом кривая напоминает прямую линию, то под этим подразумевается примерно следующее: по мере увеличения масштаба эта кривая все больше напоминает прямую линию. В формулировке Коши нет необходимости ссылаться на бесконечно малые числа или любое другое понятие, которое заставило бы скептика побледнеть.

Разумеется, этому есть своя цена. Трудность задачи с числом 0,999… объясняется тем, что она вступает в конфликт с нашим внутренним чутьем. С одной стороны, нам хотелось бы, чтобы сумму бесконечного ряда можно было получить посредством арифметических манипуляций, подобных тем, которые представлены на предыдущих страницах, а в этом случае такая сумма должна быть равной 1. С другой стороны, мы желали бы, чтобы каждое число было представлено в виде уникальной цепочки десятичных цифр, что противоречит утверждению: одно и то же число можно назвать либо 1, либо 0,999… – как нам больше нравится. Мы не можем удовлетворить оба этих желания одновременно – от какого-то из двух придется отказаться. Согласно подходу Коши, который в полной мере доказал свою состоятельность за два столетия, прошедшие с тех пор, как он сформулировал этот подход, отбросить следует именно уникальность разложения на десятичные дроби. Нас не смущает тот факт, что в английском языке две разные цепочки букв (то есть два слова) порой используются для синонимичного обозначения одной и той же вещи; точно так же нет ничего плохого и в том, что разные последовательности цифр могут обозначать одно и то же число.

Что касается ряда Гранди 1 − 1 + 1 − 1 + …, он принадлежит к числу рядов, находящихся за пределами теории Коши; другими словами, это один из расходящихся рядов, о которых идет речь в книге Харди. Норвежский математик Нильс Хенрик Абель, один из первых сторонников подхода Коши, написал в 1828 году следующее: «Расходящиеся ряды – это изобретение дьявола, и постыдно основывать на них какое бы то ни было доказательство»[49]. В наше время мы придерживаемся именно точки зрения Харди. Она более терпима: существуют расходящиеся ряды, которым мы должны приписать какое-то значение, а также ряды, в случае которых нам не следует этого делать, – все зависит от контекста, в котором возникает тот или иной ряд. Современные математики сказали бы, что если нам необходимо присвоить какое-то значение ряду Гранди, то это должно быть 1/2, поскольку, как оказалось, все интересные теории, описывающие бесконечные суммы, либо присваивают этому ряду значение 1/2, либо (подобно теории Коши) вообще отказываются приписывать какое бы то ни было значение сумме этого ряда[50].