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

Но разве это не окружность? Разумеется, нет! Это правильный многоугольник с 65 536 сторонами! Неужели вы не видите?

Великое озарение Евдокса и Архимеда состоит в том, что на самом деле не имеет значения, что это за фигура – окружность или многоугольник с очень большим количеством очень коротких сторон. Площади этих двух фигур достаточно близки для любых возможных целей. Площадь небольшой области между окружностью и многоугольником была «исчерпана» в процессе нашего неутомимого последовательного приближения. Да, окружность – это кривая, это действительно так. Но каждый крохотный фрагмент этой кривой можно приблизить к идеально прямой линии, подобно тому как крохотный кусочек поверхности Земли, на котором мы стоим, приближен к идеально ровной плоскости[39].

Следует запомнить девиз: локально прямая, глобально кривая.

Или лучше представьте: вы мчитесь по направлению к окружности с большой высоты; сначала вы видите всю окружность;

затем только один сегмент дуги окружности;

а затем еще более мелкий сегмент.

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

Суть математического анализа, изложенного на одной странице

Теперь я хочу объяснить вам суть математического анализа. Готовы? Вот идея, за которую мы должны благодарить Исаака Ньютона: в идеальном круге нет ничего особенного. Каждая гладкая кривая при достаточном увеличении масштаба напоминает прямую линию[40]. Не имеет значения, насколько изогнута или закручена эта кривая, – главное, что у нее нет острых углов.

Когда вы запускаете ракету, траектория ее перемещения выглядит так.

Ракета сначала движется вверх, а затем вниз, образуя параболическую дугу. Сила тяжести изгибает любую траекторию движения по направлению к поверхности Земли; это один из самых фундаментальных законов нашей физической жизни. Но, если мы увеличим масштаб и рассмотрим очень короткий отрезок этой кривой, она будет выглядеть так.

Затем так.

Как и в случае окружности, траектория движения ракеты кажется прямой линией, направленной вверх под определенным углом. Безусловно, эта линия отклоняется под действием силы тяжести, но подобное отклонение слишком незначительно, чтобы увидеть его невооруженным глазом. Приближение к еще более мелкому участку кривой делает линию еще больше похожей на прямую. Чем больше приближение, тем ровнее участок кривой.

А теперь сделаем концептуальный скачок. Ньютон сказал: послушайте, давайте пойдем до конца. Уменьшайте поле зрения до тех пор, пока оно не станет бесконечно малой величиной – настолько малой, что она будет меньше любого размера, который вы можете назвать, но все же не равной нулю. Вы изучаете траекторию движения ракеты не на протяжении очень короткого периода, а в один момент времени. В таком случае то, что было почти прямой линией, становится в точности прямой. Наклон этой кривой Ньютон называл флюксией, а мы называем производной.

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

Некоторые современники Ньютона также не разделяли его точку зрения. Наиболее активно возражал Ньютону Джордж Беркли, который критиковал концепцию бесконечно малых величин Ньютона в крайне издевательском тоне{23}, как, к сожалению, сейчас уже не пишут в математической литературе:

А что такое эти флюксии? Скорости исчезающих приращений. А что такое эти самые исчезающие приращения? Они не есть ни конечные величины, ни величины бесконечно малые, но они и не нули. Разве мы не имеем права назвать их призраками (ghosts) исчезнувших величин?[41]

Тем не менее исчисление бесконечно малых все-таки работает. Если вы раскрутите привязанный к веревке камень над головой, а затем резко отпустите его, он улетит по прямолинейной траектории с постоянной скоростью[42] в направлении, в котором, согласно расчетам, он движется в тот момент, когда вы его отпускаете. Это еще одна идея Ньютона: движущиеся объекты склонны перемещаться по прямолинейной траектории, если какая-то другая сила не заставляет объект отклоняться в ту или иную сторону. Это и есть одна из причин, почему линейное мышление настолько естественно для нас: интуитивное восприятие времени и движения формируется у нас под воздействием явлений, которые мы наблюдаем в окружающем мире. Еще до того, как Ньютон сформулировал свои законы, мы, люди, в глубине души знали, что все вокруг нас стремится двигаться по прямой, если только нет причин двигаться иначе.

Бесконечно малые приращения и ненужные затруднения

Критики Ньютона в чем-то были правы: его толкование производной далеко от того, что в наши дни принято называть строгой математикой. Проблема заключается в концепции бесконечно малой величины, которая на протяжении тысяч лет была для математиков камнем преткновения. Трудности начались с древнегреческого философа V столетия до нашей эры Зенона, представителя Элейской школы, который часто задавал по поводу физического мира на первый взгляд невинные вопросы, неизменно перераставшие в серьезные философские дискуссии.

Представляю вам самый знаменитый парадокс Зенона в вольном переложении. Я решаю сходить в магазин за мороженым. Конечно, я не смогу преодолеть весь путь до магазина, пока не пройду половину этого пути. А как только я пройду половину пути, я все равно не смогу добраться до магазина, пока не преодолею половину оставшегося пути. Когда я сделаю это, мне все равно предстоит преодолеть половину оставшегося расстояния – и так далее. Я могу подходить к магазину все ближе и ближе, но, сколько бы этапов этого процесса я ни прошел, на самом деле мне так и не удастся добраться до магазина. У меня всегда будет оставаться пусть крохотное, но все же ненулевое расстояние до моих двух шариков мороженого. Эта аргументация применима к любому другому пункту назначения: в равной мере невозможно перейти улицу, или сделать один-единственный шаг, или взмахнуть рукой. Любое движение исключено.

Говорят, что киник Диоген опроверг доводы Зенона довольно простым методом: он встал и прошел из одного конца комнаты в другой. Это весьма хороший довод в пользу того, что движение все же возможно, а значит, что-то не так с доводами Зенона[43]. Но где же была ошибка?

Разбейте путь в магазин на фрагменты, представленные в числовой форме. Сначала вы проходите половину пути. Затем преодолеваете половину оставшегося пути, то есть 1/4 общего расстояния, и у вас остается еще 1/4 пути. Далее половина оставшегося расстояния составляет 1/8, затем 1/16, затем 1/32. Таким образом, ваше перемещение к магазину можно представить в следующем виде:

1/2 + 1/4 + 1/8 + 1/16 + 1/32 + …

Сложив десять первых членов этой последовательности, вы получите 0,999. Сумма первых двадцати членов последовательности составит 0,999999. Другими словами, вы действительно приближаетесь – очень-очень приближаетесь – к магазину. Тем не менее, сколько бы членов этой последовательности вы ни сложили, вы никогда не получите 1.

Парадокс Зенона во многом напоминает другую головоломку: равна ли периодическая десятичная дробь 0,99999… единице?

Я видел, как люди едва не вступали в драку из-за этого вопроса[44]. По этому поводу ведутся жаркие споры на самых разных веб-сайтах, от страниц фанатов игры World of Warcraft («Вселенная Варкрафта») до форумов, посвященных творчеству Айн Рэнд. Наша естественная реакция на аргументы Зенона такова: «В конечном счете вы непременно получите свое мороженое». Но в данном случае интуиция подсказывает совсем иной ответ. Большинство людей{24} (если потребовать от них однозначного ответа) скажут, что 0,9999… не равно 1. Это число даже не похоже на единицу, это уж точно. Оно меньше единицы. Однако ненамного меньше! Подобно любителю мороженого в парадоксе Зенона, оно все ближе и ближе подходит к своей цели, но похоже на то, что так и не доберется до нее.