Как не ошибаться. Сила математического мышления
Шрифт:
На самом деле Брайан не был первым, кто решил заняться этим. Существует целая область математики под названием «нестандартный анализ», которая специализируется на изучении чисел такого рода. Теория, сформулированая Абрахамом Робинсоном в середине ХХ столетия, наконец позволила понять смысл «бесконечно малых приращений», которые Беркли считал такими нелепыми. Цена, которую придется за это заплатить (или, если посмотреть на это с другой стороны, награда, которую вы за это получите), – обилие новых типов чисел, причем не только бесконечно малых, но и бесконечно больших – огромное множество чисел всех форм и размеров [46] .
46
Сюрреальные числа, которые описал Джон Конвей, – это особенно очаровательный и причудливый пример, о чем говорит само название. Этот класс чисел, глубинные аспекты которого еще не изучены, представляет собой удивительный гибрид чисел и стратегических игр. Полезную информацию об этих экзотических числах, а также многих математических методах ведения игр можно найти в труде Элвина Берлекэмпа, Джона
Так случилось, что Брайану повезло – у меня в Принстонском университете был коллега Эдвард Нельсон, крупный специалист в области нестандартного анализа. Я устроил им встречу, с тем чтобы Брайан мог больше узнать об этой области. Впоследствии Эд рассказывал мне, что та встреча прошла не очень хорошо. Как только Эд дал понять, что на самом деле бесконечно малые величины никто не будет называть числами Брайана, Брайан полностью потерял интерес к этой области математики.
(Мораль: люди, начинающие заниматься математикой ради славы и признания, задерживаются в науке ненадолго.)
Но мы так и не приблизились к разрешению нашего спора. Что представляет собой число 0,999… на самом деле? Это 1? Или это некое число, на бесконечно малую величину меньшее 1, – число, принадлежащее к совершенно необычному классу чисел, который даже не был открыт сотню лет назад?
Правильный ответ состоит в том, чтобы вообще не задавать такого вопроса. Что представляет собой число 0,999… на самом деле? По всей вероятности, некую сумму такого рода:
0,9 + 0,09 + 0,009 + 0,0009 + …
Но что она значит? Настоящая проблема заключается в злополучном троеточии. Не может быть никаких споров по поводу того, что значит сумма двух, трех или сотни чисел. Перед нами всего лишь математическое обозначение физического процесса, который мы прекрасно понимаем: возьмите сотню куч чего угодно, смешайте их вместе и определите, сколько и чего у вас получилось. Но бесконечно большое количество? – это совсем другая история. В реальном мире вы не можете получить бесконечно большое количество множеств. Чему равно числовое значение бесконечной суммы? Его не существует – пока мы не зададим это значение. В чем и состояла новаторская идея Огюстена Луи Коши, который в 1820-х годах ввел в математический анализ понятие предела [47] .
47
Подобно всем математическим прорывам, теория пределов Коши имела предшественников; в частности, определение Коши было во многом созвучно с концепцией границ величины погрешности биномиального ряда Д’Аламбера. Однако нет никаких сомнений, что работа Коши представляла собой переломный момент: после него анализ стал таким, каким мы его знаем сейчас.
Лучше всего это объясняет Годфри Гарольд Харди в книге Divergent Series («Расходящиеся ряды»), опубликованной в 1949 году:
Это замечание сейчас тривиально: современному математику и не придет в голову, что какое-либо соединение математических символов может иметь «смысл» до того, как ему придан смысл с помощью определения. Но это не было тривиальностью даже для наиболее выдающихся математиков восемнадцатого века. Определения не были в их обычае; для них не было естественно говорить: «под X мы понимаем Y». С некоторыми оговорками… верно будет сказать, что математики до Коши спрашивали не «как определить 1 - 1 + 1 - 1 + …?», а «что есть 1 - 1 + 1 - 1 + …?»; и этот склад мышления приводил их к ненужным затруднениям и спорам, зачастую носившим, по существу, чисто словесный характер [48] .
48
Г. Г. Харди. Расходящиеся ряды / Пер. с англ. Д. А. Райкова. М.: Изд-во иностранной литературы, 1951. С. 19. Прим. ред.
И это не просто непринужденный математический релятивизм. Тот факт, что мы можем придать какой угодно смысл той или иной последовательности математических символов, совсем не означает, что нам следует это делать. В математике, как и в жизни, есть как хороший, так и плохой выбор. В математическом контексте правильным считается выбор, позволяющий устранить ненужные затруднения, не создавая новых.
Чем больше членов ряда вы суммируете, тем ближе сумма 0,9 + 0,09 + 0,009 + … приближается к 1. И эта сумма никогда не превысит данное значение. Какое бы плотное оцепление мы ни устроили вокруг числа 1, в конце концов эта сумма после определенного конечного количества шагов пройдет сквозь него, но так и не выйдет наружу с другой стороны. По утверждению Коши, при таких обстоятельствах нам следует просто установить значение бесконечной суммы равным 1. Затем он приложил немало усилий, чтобы доказать, что установление такого значения не приводит к появлению глубоких противоречий где бы то ни было. К моменту окончания своей работы Коши создал понятийный аппарат, сделавшим исчисление Ньютона абсолютно строгим. Когда мы говорим, что в локальном масштабе под определенным углом кривая напоминает прямую линию, то под этим подразумевается примерно следующее: по мере увеличения масштаба эта кривая все больше напоминает прямую линию. В формулировке Коши нет необходимости ссылаться на бесконечно малые числа или любое другое понятие, которое заставило бы скептика побледнеть.
Разумеется, этому есть своя цена. Трудность задачи с числом 0,999… объясняется тем, что она вступает в конфликт с нашим внутренним чутьем.
Что касается ряда Гранди 1 - 1 + 1 - 1 + …, он принадлежит к числу рядов, находящихся за пределами теории Коши; другими словами, это один из расходящихся рядов, о которых идет речь в книге Харди. Норвежский математик Нильс Хенрик Абель, один из первых сторонников подхода Коши, написал в 1828 году следующее: «Расходящиеся ряды – это изобретение дьявола, и постыдно основывать на них какое бы то ни было доказательство» [49] . В наше время мы придерживаемся именно точки зрения Харди. Она более терпима: существуют расходящиеся ряды, которым мы должны приписать какое-то значение, а также ряды, в случае которых нам не следует этого делать, – все зависит от контекста, в котором возникает тот или иной ряд. Современные математики сказали бы, что если нам необходимо присвоить какое-то значение ряду Гранди, то это должно быть 1/2, поскольку, как оказалось, все интересные теории, описывающие бесконечные суммы, либо присваивают этому ряду значение 1/2, либо (подобно теории Коши) вообще отказываются приписывать какое бы то ни было значение сумме этого ряда [50] .
49
Есть какая-то ирония в том, что первоначально Гранди нашел своим расходящимся рядам теологическое применение!
50
Здесь уместно вспомнить известную фразу Кейди, героини Линдси Лохан: «Предела не существует!» [из фильма Mean Girls, 2004 («Дрянные девчонки»). Прим. М. Г.].
Чтобы записать точные определения Коши, потребуется приложить немного больше усилий. В частности, это касалось и самого Коши, который не составил достаточно четкого описания своих идей в том виде, в котором они известны в настоящее время [51] . (В математике редко бывает так, что автор идеи дает самое четкое ее описание.) [52] Коши был убежденным консерватором и монархистом, но в области математики он оказался знающим себе цену мятежником и настоящим бедствием для академических властей. Как только Коши понял, как можно обойтись без опасных бесконечно малых величин, он по собственной инициативе переписал свой учебный план в Политехнической школе ('Ecole Polytechnique) таким образом, чтобы тот отображал его новые идеи. Все окружение Коши пришло от этого в ярость: обманутые студенты, записавшиеся на курс изучения основ математического анализа, а не на семинар по новейшим достижениям в области чистой математики; коллеги, считавшие, что студентам, изучающим в Политехнической школе инженерное дело, не нужен предложенный Коши уровень математической строгости; администраторы, распоряжения которых по поводу необходимости придерживаться официальной программы курса обучения Коши полностью игнорировал. Администрация Политехнической школы ввела новый учебный план по математическому анализу и посадила на занятиях Коши стенографистов, чтобы удостовериться, что он будет придерживаться этого плана. Но Коши не стал этого делать. Его мало волновали потребности инженеров. Его интересовала истина {26} .
51
Если вы когда-либо изучали математический курс, в котором используются такие символы, как эпсилон и дельта, значит, вы знакомы с преемниками формальных определений Коши.
52
См. у Литтлвуда: «(А. С. Безикович) Репутация математика основывается на числе плохих доказательств, которые он придумал». И далее следует пояснение автора: «Работы первооткрывателей неуклюжи» (Дж. Литлвуд. Математическая смесь. М.: Наука, 1990. С. 42). Прим. М. Г.
26
История о занятиях по исчислению, которые вел Коши, взята из книги: Amir Alexander. Duel at Dawn: Heroes, Martyrs, and the Rise of Modern Mathematics. Harvard University Press, 2010. Амир Александер проводит чрезвычайно интересное историческое исследование взаимодействия между математикой и культурой в начале XIX века. Несколько иная точка зрения на современность подхода Коши представлена в другой публикации: Michael J. Barany. Stuck in the Middle: Cauchy’s Intermediate Value Theorem and the History of Analytic Rigor // Notices of the American Mathematical Society, 2013, Nov., 60, no. 10, p. 1334–1338.
С педагогической точки зрения, трудно защищать поведение Коши. Тем не менее я с пониманием отношусь к его позиции. Одна из величайших радостей математики – неоспоримое ощущение, что ты поймал правильную мысль и докопался до самого ее основания. Такого чувства я не испытывал ни на одном другом уровне своей психической деятельности. А когда вы знаете, как делать что-то правильно, трудно (а для некоторых упрямцев просто невозможно) заставить себя объяснить это неверным способом.