Стивен Строгац
Бесконечная сила. Как математический анализ раскрывает тайны вселенной
А потом в одно прекрасное Рождество родился ребенок[24]. Этот юный мессия анализа был невероятным героем. Рожденный недоношенным, без отца и брошенный матерью в возрасте трех лет, этот одинокий мальчик с темными мыслями превратился в скрытного подозрительного юношу. И тем не менее он (а это, как вы уже, наверное, догадались, был Исаак Ньютон) оставил в мире такой заметный след, как никто ни до, ни после него.
Сначала он нашел «святой Грааль» анализа, открыв, как снова сложить кусочки кривой, причем легко, быстро и систематически. Объединив символы алгебры с мощью бесконечности, он нашел способ представить любую кривую в виде суммы бесконечного множества более простых кривых, которые описываются различными степенями x, например x2, x3, x4 и так далее. Имея такие ингредиенты, он мог приготовить любую желаемую кривую – положив щепотку x, чуточку x2 и полную столовую ложку x3. Это было похоже на рецепт и набор специй, мясную лавку и огород – и все в одном флаконе. С его помощью Ньютон мог решить любую задачу о формах и движениях.
Затем он взломал код Вселенной, обнаружив, что любое движение всегда происходит бесконечно малыми шагами и в любой момент описывается законами, изложенными на языке анализа. С помощью всего лишь горстки дифференциальных уравнений (законы движения и всемирного тяготения) Ньютон смог объяснить все, от траектории пушечного снаряда до орбит планет. Его потрясающая «система мира» объединила небеса и землю, положив начало просвещению и изменив западную культуру. Его влияние на философов и поэтов Европы было колоссальным. Как мы увидим, оно распространилось даже на Томаса Джефферсона и Декларацию независимости. В наше время идеи Ньютона положены в основу космических программ, предоставляя математику, необходимую для расчета траекторий, – работы, проделанной в NASA афроамериканским математиком Кэтрин Джонсон и ее коллегами (героини книги и фильма «Скрытые фигуры»).
После того как загадки кривых и движения были решены, анализ перешел к третьей великой одержимости: загадке изменений. Пусть это и клише, но от этого оно не менее истинно: нет ничего постоянного, все меняется. Сегодня дождливо, а завтра солнечно. Рынок акций растет и падает. Воодушевленные ньютоновскими взглядами, последующие поколения специалистов по анализу задались вопросом: есть ли законы изменений, аналогичные ньютоновским законам движения? Существуют ли законы роста населения, распространения эпидемий и кровотока в артериях? Можно ли использовать анализ для описания того, как электрические сигналы распространяются по нервам, или для предсказания транспортного потока на автостраде?
Следуя этой амбициозной программе, в постоянном сотрудничестве с другими областями науки и технологии, анализ помог создать современный мир. С помощью наблюдений и экспериментов ученые установили законы изменений, а затем использовали анализ для решений задач и составления прогнозов. Например, в 1917 году Альберт Эйнштейн применил анализ к простой модели атомных переходов и предсказал замечательный эффект под названием вынужденное излучение[25] (этот термин обозначают буквы s и e в слове laser, которое представляет собой аббревиатуру, образованную от слов light amplification by stimulated emission of radiation[26]). Эйнштейн предположил, что при определенных обстоятельствах фотоны, проходящие через вещество, могут индуцировать появление других фотонов с той же длиной волны, движущихся в том же направлении. Получается своего рода цепная реакция, которая может дать мощный когерентный луч. Спустя несколько десятилетий предсказание сбылось. Первые действующие лазеры были созданы в начале 1960-х. С тех пор они используются везде – от проигрывателей компакт-дисков и оружия с лазерным наведением до сканеров штрих-кодов в супермаркетах и медицинских лазеров.
Законы изменений в медицине не так понятны, как в физике. Тем не менее даже в случае элементарных моделей анализ может внести свой вклад в спасение жизней. Например, в главе 8 мы увидим, как модель, использующая дифференциальное уравнение, разработанная иммунологом и исследователем СПИДа, сыграла свою роль в создании комбинированной терапии из трех препаратов для лечения пациентов с ВИЧ. Идеи, подсказанные моделью, опровергли распространенную точку зрения, что вирус в организме бездействует; на самом деле он ожесточенно сражается с иммунной системой каждую минуту каждого дня. Благодаря новому пониманию, предоставленному анализом, ВИЧ-инфекция превратилась из почти неизбежного смертного приговора в управляемое хроническое заболевание – по крайней мере для тех, кто имеет доступ к комбинированной лекарственной терапии.
Общепризнанно, что некоторые аспекты нашего вечно меняющегося мира лежат за пределами приближений и моделирования, характерных для принципа бесконечности. Например, в мире субатомных частиц физики не могут представлять электрон как классическую частицу, которая движется по какой-то линии подобно планете или пушечному ядру. Согласно квантовой механике, на таком микроскопическом уровне траектории становятся размытыми и плохо определяемыми, поэтому поведение электронов приходится описывать в терминах волн вероятности, а не ньютоновских траекторий. Но как только мы это сделаем, анализ с триумфом возвращается. Он управляет эволюцией волн вероятности с помощью так называемого уравнения Шрёдингера.
Удивительно, но факт: даже на субатомном уровне, где ньютоновская физика уже не действует, созданный им анализ по-прежнему работает. И работает очень хорошо. Как мы увидим далее в книге, он объединил усилия с квантовой механикой и предсказал замечательные эффекты, лежащие в основе методов медицинской визуализации – от магнитно-резонансной (МРТ) и компьютерной (КТ) томографии до более экзотической позитронно-эмиссионной томографии (ПЭТ).
Пришло время ближе познакомиться с языком Вселенной. И начнем, разумеется, с бесконечности.
Глава 1. Бесконечность
Начало математике[27] положили обычные повседневные задачи. Пастухам нужно было следить за стадами. Фермерам – взвешивать собранное зерно. Сборщикам налогов – решать, сколько коров или кур крестьянин должен отдать правителю. Из таких практических требований и возникли числа. Сначала их определяли по пальцам рук и ног. Затем стали выцарапывать на костях животных. По мере того как представление чисел эволюционировало от черточек к символам, они облегчили все задачи – от налогообложения и торговли до бухгалтерского учета и переписи населения. Доказательства тому мы находим на глиняных табличках Месопотамии, созданных более пяти тысяч лет назад, – сделанная на них клиновидными значками запись называется клинописью.
Наряду с числами значение имели и формы. В Древнем Египте измерениям линий и углов придавали первостепенное значение. Каждый год землемерам приходилось заново проводить границы крестьянских хозяйств, поскольку разлив Нила стирал их. Эта деятельность позже дала название всей области математики, изучающей формы, – геометрия, от древнегреческого слова γεωμετρία, которое означало «землемерие»: γη – «земля» и μετρέω – «измеряю».
Поначалу геометрия работала с прямыми линиями и углами, что отражало ее утилитарное происхождение: треугольники были наклонными плоскостями, пирамиды – монументами и гробницами, а прямоугольники – столами, алтарями и земельными участками. Строители и плотники использовали прямые углы для построения вертикальных линий. Для моряков, архитекторов и священников знание геометрии прямых линий было необходимо для землемерных работ, навигации, ведения календаря, предсказания затмений и возведения храмов и святилищ.
Но всегда – даже когда геометрия была зациклена на прямых линиях – выделялась одна кривая, самая совершенная из всех: окружность. Мы видим ее в годичных кольцах деревьев, в волнах на пруду, в форме солнца и луны. В природе круги повсюду. Когда мы смотрим на них, они смотрят на нас – в буквальном смысле, ведь они в глазах наших близких, в зрачках и радужках. Круги и практичны, и эмоциональны, как колеса и обручальные кольца; в них есть нечто мистическое. Вечное возвращение предполагает цикл времен года, возрождения, вечной жизни и нескончаемой любви. Неудивительно, что круги привлекали внимание с тех пор, как люди стали изучать формы.
С математической точки зрения окружности воплощают изменения без изменений. Точка, двигающаяся по окружности, меняет направление движения, не меняя при этом своего расстояния от центра. Это минимальная форма изменений – самый простой способ двигаться по кривой. И, конечно же, окружность симметрична. Если вы повернете ее вокруг центра, она будет выглядеть точно так же. Такая поворотная симметрия может быть причиной распространенности этих фигур. Везде, где природу не беспокоит направление, обязательно появляются окружности. Посмотрите, что происходит, когда дождевая капля попадает в лужу: от точки удара расходятся мелкие волны. Они обязаны иметь круговую форму, потому что двигаются с одинаковой скоростью во всех направлениях и начинаются в одной точке. Этого требует симметрия.
Окружности могут также порождать другие искривленные формы. Если представить, что окружность проткнули по диаметру и стали вращать вокруг этой оси в трехмерном пространстве, то получится сфера – форма мяча или планеты. Если окружность двигать по прямой перпендикулярно ее плоскости, появляется цилиндр – форма банки или коробки для шляп. Если окружность одновременно с поступательным движением сжимается, образуется конус, если расширяется – то усеченный конус (форма абажура).
Окружности, сферы, цилиндры и конусы очаровывали первых геометров, но при этом они считали, что работать с ними гораздо труднее, чем с треугольниками, прямоугольниками, квадратами, кубами и прочими прямолинейными формами, составленными из кусков прямых линий и плоскостей. Ученых интересовали площади криволинейных поверхностей и объемы криволинейных тел, но они понятия не имели, как решать такие задачи. Криволинейность была сильнее.
Бесконечность как строитель моста
Анализ начинался как отрасль геометрии[28]. Примерно в 250 году до нашей эры в Древней Греции вплотную занялись разгадкой кривых. Амбициозный план состоял в использовании бесконечности для построения моста между кривыми и прямыми. Приверженцы плана надеялись, что как только такая связь будет установлена, методы и техники прямолинейной геометрии можно будет перетащить через этот мост и применить для решения загадки кривых. Бесконечность поможет решить все старые задачи. По крайней мере, таков был настрой.
Должно быть, в то время такой план выглядел довольно надуманным. У бесконечности была сомнительная репутация – будто бы это нечто пугающее, а не полезное. Что еще хуже, само понятие бесконечности было весьма туманно и сбивало с толку. Что это вообще такое? Число? Место? Идея?
Тем не менее, как мы вскоре увидим, бесконечность оказалась манной небесной. Если учесть все открытия и технологии, которые в итоге выросли из анализа, то идея использовать бесконечность для решения трудных геометрических задач была одной из лучших в истории.
Конечно, в 250 году до нашей эры предвидеть это было невозможно. Тем не менее бесконечность тут же дала несколько впечатляющих результатов. Одним из первых и лучших стало решение давней загадки: как найти площадь круга[29].
Доказательство с помощью пиццы
Перед тем как вдаваться в подробности, давайте набросаем ход рассуждений. Наша стратегия – представить круг в виде пиццы, а затем нарезать ее на бесконечное множество кусочков и волшебным образом переложить их так, чтобы получился прямоугольник. Это даст нам ответ, который мы ищем, поскольку перекладывание кусочков, очевидно, не меняет их площадь, а находить площадь прямоугольника мы умеем: нужно умножить его длину на ширину. Результатом будет формула для площади круга.
Для такого рассуждения пицца должна быть идеализированной математической пиццей – идеально плоской и круглой, с бесконечно тонкой корочкой. Обозначим буквой С ее периметр (или длину окружности) – расстояние вдоль границы. Длина окружности – вовсе не то, что обычно интересует любителей пиццы, однако при желании мы могли бы измерить величину C с помощью рулетки.
Еще одна необходимая величина – радиус пиццы r, который определяется как расстояние от ее центра до любой точки корочки. В частности, если мы нарежем пиццу на ломтики, проводя разрезы от центра к краям, то длина прямого отрезка в таких ломтиках будет равна r.
Предположим, что мы разделили пиццу на четыре части. Их можно переложить следующим способом, но он не выглядит слишком многообещающим.
Получившаяся фигура с выступами вверху и внизу смотрится несколько странно. Это явно не прямоугольник, и определить ее площадь непросто. Похоже, нам придется отступить. Но, как и в любой драме, герою перед триумфом предстоит преодолеть трудности. Драматическое напряжение нарастает.
Однако раз уж мы тут застряли, то отметим две вещи, потому что они будут справедливы в ходе всего доказательства и в итоге дадут нам размеры искомого прямоугольника. Первая – одна половина корочки стала искривленной верхней границей новой фигуры, а вторая – нижней частью. Поэтому длина верхней границы равна C/2 и нижней границы – тоже C/2, как изображено на рисунке. Как мы увидим, в итоге эти границы превратятся в длинные стороны прямоугольника. Вторая – длина всех наклонных боковых сторон получившейся фигуры равна r, потому что это просто стороны исходных ломтиков пиццы. Эти боковые отрезки в итоге превратятся в короткие стороны прямоугольника.
Причина, по которой мы пока не видим никаких признаков искомого прямоугольника, – у нас еще недостаточно ломтиков. Если разрезать пиццу на восемь частей и переложить их таким же образом, то фигура окажется более прямоугольной.
По сути, пицца начинает походить на параллелограмм. Неплохо – по крайней мере это почти прямоугольник. Выступы вверху и внизу уже не так выпирают, как на предыдущем рисунке, – из-за большего количества ломтиков. Как и ранее, длина верхней границы фигуры равна C/2, а боковой границы – r.
Чтобы картинка выглядела еще лучше, разрежем пополам один из боковых ломтиков и перенесем его на другую сторону.
Теперь фигура очень похожа на прямоугольник. Да, вверху и внизу еще есть выступы из-за кривизны исходной корочки, но все же мы добились прогресса.
Похоже, увеличение числа кусков помогает, поэтому продолжим их нарезать. При шестнадцати ломтиках и таком же косметическом переносе половинки крайнего куска, как мы сделали только что, получается следующая фигура:
Чем больше кусков мы берем, тем сильнее сглаживаем выступы в верхней и нижней частях получающейся фигуры. Наши операции создают последовательность фигур, которые волшебным образом приближаются к определенному прямоугольнику. Поскольку фигуры к нему все ближе и ближе, назовем его предельным прямоугольником.
Смысл всей процедуры в том, что найти площадь предельного прямоугольника очень просто – достаточно перемножить его ширину и высоту. Все, что нам осталось, – выразить эти ширину и высоту через параметры исходного круга. Поскольку ломтики располагались вертикально, высота – это просто радиус r исходного круга, а ширина – половина длины его окружности, ведь его граница пошла на создание верхней и нижней границы прямоугольника – как это было для всех промежуточных фигур с выступающими краями. Следовательно, ширина равна C/2. Таким образом, площадь прямоугольника A = r × C / 2 = rC / 2. Но учитывая, что перекладывание ломтиков не меняло площади исходного круга, то и его площадь должна быть точно такой же!
Этот результат для площади круга, A = rC / 2, впервые получил (используя аналогичные, но более строгие рассуждения) древнегреческий математик Архимед (287–212 до нашей эры) в трактате «Измерение круга».
Самым новаторским аспектом доказательства было привлечение на помощь бесконечности. Имея всего четыре, восемь или шестнадцать ломтиков, мы могли сложить только фигуру с выступами. После малообещающего старта мы продвинулись к успеху, начав брать больше ломтиков; при этом получающаяся фигура все сильнее приближалась к прямоугольнику. Однако только при бесконечном множестве кусков она становилась по-настоящему прямоугольной. Эта идея и легла в основу анализа. С бесконечностью все упрощается.
Пределы и загадка стены
Предел подобен недостижимой цели. Вы можете подбираться к нему все ближе и ближе, но никогда не пройдете весь путь до конца.
Например, в доказательстве, использующем пиццу, мы могли приближаться к прямоугольнику, нарезая все большее количество ломтиков и переставляя их. Но истинной «прямоугольности» нам никогда не добиться. Мы можем лишь приблизиться к этому идеалу. К счастью, в анализе недостижимость предела обычно не имеет значения. Нередко мы можем решить задачу, представив, что способны достичь предела, а затем посмотрев, что следует из такого представления. Фактически многие из пионеров в этой области сделали свои великие открытия именно таким образом. Логически – нет. С воображением – да. Успешно – весьма.
Предел – это тонкое понятие, и в анализе оно занимает центральное место. Его не просто уловить, потому что в повседневной жизни эта идея не встречается. Пожалуй, ближайшей аналогией будет загадка стены. Если вы проходите половину расстояния до стены, затем половину оставшегося расстояния, потом половину оставшегося и так далее, то достигнете ли в конце концов этапа, на котором доберетесь до стены?
Очевидно, что ответ отрицателен, потому что в загадке стены на каждом этапе вы проходите только половину пути, а не весь путь. Сделаете ли вы десять шагов, миллион или любое другое число, между вами и стеной всегда останется какой-то промежуток. Однако столь же очевидно, что вы можете подойти к стене сколь угодно близко. Это означает, что на каком-то этапе вы окажетесь от нее в сантиметре, миллиметре, нанометре или на любом ином ненулевом расстоянии, но никогда не закончите свой путь. Здесь стена играет роль предела. На то, чтобы строго определить это понятие, понадобилось две тысячи лет. До тех пор пионеры анализа прекрасно обходились интуицией. Так что не волнуйтесь, если пределы кажутся вам сейчас туманными. Мы познакомимся с ними лучше, наблюдая на практике. С современной точки зрения пределы – это фундамент, на котором построен весь анализ.
Если метафора со стеной кажется вам слишком мрачной и негуманной (кому захочется вечно приближаться к недосягаемой стене?), рассмотрите такую аналогию: все, что движется к какому-то пределу, подобно герою, занятому бесконечным поиском. Это не бесполезное занятие, как бессмысленная задача Сизифа, обреченного вечно вкатывать камень на гору только для того, чтобы увидеть, как он снова скатывается вниз. Когда в математике происходит приближение к пределу (как наши фигуры с выступами приближались к предельному прямоугольнику), это подобно тому, как главный герой стремится к чему-то, что, как он знает, невозможно, но все же надеется на успех, воодушевляясь прогрессом в своих попытках достичь недостижимой звезды.
Притча о 0,333…
Чтобы подкрепить важные идеи, что в бесконечности все упрощается и что пределы подобны недостижимым целям, возьмем пример из арифметики. Это задача преобразования обыкновенной дроби – например, 1/3 – в десятичную (в нашем случае 1/3 = 0,333…). Я хорошо помню, как моя школьная учительница математики мисс Стэнтон учила нас это делать. Запомнилось это потому, что она внезапно заговорила о бесконечности.
До этого момента я никогда не слышал, чтобы взрослые говорили о бесконечности. Мои родители определенно этого не делали. Это казалось секретом, о котором знали только дети. На детской площадке о нем постоянно упоминали в насмешках и издевках:
– Ну ты и дурак!
– А ты дурак вдвойне!
– А ты дурак бесконечность раз!
– А ты дурак бесконечность раз плюс один!
– Это то же самое, что бесконечность, идиот!
Такие поучительные разговоры убедили меня в том, что бесконечность ведет себя не так, как обычное число. Она не становится больше, если к ней прибавить 1. Даже добавление бесконечности не поможет. Несокрушимые свойства делали ее окончательным аргументом в дворовых разборках. Побеждает тот, кто применит бесконечность первым.
Однако никто из учителей до мисс Стэнтон не упоминал о бесконечности. Все в нашем классе уже знали о конечных десятичных дробях, используемых для представления денежных сумм, например 10,28 доллара, где есть две цифры после запятой. Напротив, бесконечные десятичные дроби, где после запятой было бесконечно много чисел, казались странными на первый взгляд, но становились естественными, как только мы начали изучать обыкновенные дроби.
Мы узнали, что дробь 1/3 можно записать как 0,333…, где многоточие означало, что тройки повторяются до бесконечности. Это имело для меня смысл, потому что, пытаясь поделить 1 на 3 в столбик, я застрял в бесконечном цикле: 1 меньше 3, поэтому получаем в частном ноль целых, дописываем к единице 0, делим 10 на 3, получаем 3 и остаток 1; в итоге нужно снова делить 1 на 3, то есть мы возвращаемся к тому, с чего начали. Выхода из цикла не было, а значит, тройки при делении будут повторяться: 0,333…
Многоточие после 0,333 истолковывается двумя способами. Наивное толкование состоит в том, что существует буквально бесконечное количество троек, находящихся справа от десятичной запятой вплотную друг к другу. Конечно, мы не можем записать их все, раз их бесконечно много, но с помощью многоточия показываем, что они там есть, по крайней мере в нашей голове. Я назову такую интерпретацию актуальной бесконечностью Преимущество ее в том, что она выглядит простой и здравой, пока мы не желаем особо задумываться о том, что означает бесконечность.
Более изящное толкование состоит в том, что 0,333… представляет собой некоторый предел – в точности такой же, как предельный прямоугольник для наших фигур в доказательстве с пиццей или стена для незадачливого путешественника. Только здесь 0,333… отображает предел последовательных десятичных чисел, которые мы генерируем при делении 1 на 3. Чем больше этапов в процессе деления, тем больше троек в десятичном разложении 1/3. Мы можем получить сколь угодно хорошее приближение к 1/3. Если нам не нравится 1/3 ≈ 0,3, мы можем сделать еще шаг и получить 1/3 ≈ 0,33 и так далее. Я назову это толкование потенциальной бесконечностью Она «потенциальна» в том смысле, что приближения можно получать сколь угодно долго. Ничто не мешает сделать миллион, миллиард или любое иное количество шагов. Преимущество этого толкования в том, что нам незачем прибегать к такому туманному понятию, как бесконечность. Мы всегда можем оставаться в области конечного.
Для работы с равенством вида 1/3 = 0,333… не имеет значения, какой точки зрения мы придерживаемся. Они одинаково состоятельны и дают одни и те же математические результаты в любых нужных нам вычислениях. Однако в математике существуют ситуации, когда понятие актуальной бесконечности может вызвать логический хаос. Именно это я подразумевал, когда писал во введении о големе бесконечности. Иногда действительно важно, как мы думаем о результатах процесса, приближающегося к какому-то пределу. Делая вид, что процесс в реальности заканчивается и каким-то образом достигает нирваны бесконечности, подчас можно попасть в неприятную ситуацию.
Притча о многоугольнике с бесконечным числом углов
В качестве примера возьмем круг, расставим на его границе (окружности) через равные промежутки определенное количество точек и соединим их отрезками. При трех точках получим равносторонний треугольник, при четырех – квадрат, при пяти – правильный пятиугольник и так далее, последовательно получая все новые правильные многоугольники.
Обратите внимание, что чем больше точек мы используем, тем ближе наш многоугольник к кругу. При этом стороны многоугольников становятся все короче и многочисленнее. Наш круг – предел для построенных многоугольников.
Таким образом, бесконечность снова соединяет два мира. На этот раз она ведет нас от прямолинейности к криволинейности, от угловатых фигур к гладкому кругу, тогда как в случае с пиццей бесконечность, наоборот, преобразовала круг в прямоугольник.
Конечно же, на любом шаге многоугольник по-прежнему остается многоугольником. Это еще не круг и никогда им не станет. Фигуры приближаются к кругу, но никогда не совпадут с ним. Здесь мы имеем дело с потенциальной бесконечностью, а не с актуальной. Так что с логической точки зрения все безукоризненно.
Но что, если бы мы могли пройти весь путь до актуальной бесконечности? Был бы итоговый многоугольник с бесконечным количеством углов и бесконечно короткими сторонами кругом? Заманчиво так думать, ведь тогда многоугольник окажется гладким. Все углы будут сошлифованы. Все станет идеальным и красивым.
Очарование и опасность бесконечности
Здесь заложен общий принцип: пределы часто проще, чем приближения, ведущие к ним. Круг проще и изящнее, чем любой из угловатых многоугольников, к нему приближающих. То же самое относится и к доказательству с помощью пиццы, где предельный прямоугольник проще и элегантнее, нежели бугристые фигуры с некрасивыми выступами, и к дроби 1/3. Это проще и приятнее, нежели любое из неуклюжих приближений с большими числителями и знаменателями вроде 3/10, 33/100 или 333/1000. Во всех этих случаях предельная фигура или число проще и симметричнее, чем конечные приближения.
В этом и состоит очарование бесконечности. Здесь все становится лучше.
Помня об этом, давайте вернемся к притче о многоугольнике с бесконечно большим количеством углов. Нужно ли сделать решительный шаг и сказать, что круг – это действительно многоугольник с бесконечно большим количеством бесконечно малых сторон? Нет. Мы не должны поддаваться искушению и так поступать, поскольку это означает впасть в грех актуальной бесконечности. Это обрекло бы нас на логический ад.
Чтобы понять, почему, предположим, что мы на миг подумали, будто круг – на самом деле многоугольник с бесконечным числом углов и бесконечно малыми сторонами. Какова длина этих сторон? Если она равна 0, то общая длина всех сторон – бесконечность, умноженная на 0, – должна давать длину окружности. Но представьте окружность вдвое большего размера. Точно так же ее длина должна равняться бесконечности, умноженной на 0. Получается, бесконечность, умноженная на 0, должна равняться и длине нашей окружности, и вдвое большему числу. Что за ерунда? Не существует разумного способа определить результат умножения бесконечности на ноль, а потому нет разумного способа рассматривать круг как правильный многоугольник с бесконечным числом сторон.
Тем не менее в таком интуитивном представлении есть нечто искушающее. Подобно библейскому первородному греху, по той же причине трудно сопротивляться и первородному греху анализа – соблазну считать, что круг – это правильный многоугольник с бесконечным числом сторон. Он соблазняет нас запретным знанием, идеями, недоступными для обычных средств. На протяжении тысячелетий геометры пытались вычислить длину окружности. Если бы круг можно было заменить многоугольником со множеством крохотных прямых сторон, задача была бы гораздо проще.
Прислушиваясь к шипению этого змея-искусителя – но все же сдерживаясь, используя потенциальную бесконечность вместо более заманчивой актуальной, – математики научились решать задачу о длине окружности и другие загадки кривых. В следующих главах мы узнаем, как им это удалось, а пока попробуем еще глубже понять, насколько опасной может быть актуальная бесконечность. Этот грех ведет ко многим другим, включая тот, о котором учителя предупреждали нас в первую очередь.
Грех деления на ноль
Во всем мире школьников учат, что делить на ноль нельзя. Должно быть, они шокированы существованием такого табу. Предполагается, что числа дисциплинированны и хорошо себя ведут. Урок математики – место для логики и рассуждений. И все же можно задавать о числах простые вопросы, на которые нет ответов, или пытаться сделать с ними простые вещи, которые не работают или не имеют смысла. Деление на ноль – одна из них.
Корень проблемы – в бесконечности. Деление на ноль вызывает бесконечность примерно так же, как доска для спиритических сеансов – духов из другого мира. Это рискованно. Не ходите туда.
Тем, кто не в силах сопротивляться искушению и желает понять, почему в тенях скрывается бесконечность, советуем поделить 6 на какое-нибудь маленькое число, близкое к нулю, но не равное ему, например 0,1. В этом ничего запретного нет. Если разделить 6 на 0,1, получится 60, довольно прилично. Поделим 6 на еще меньшее число, скажем 0,01; ответ будет больше – 600. Если мы отважимся разделить 6 на число, которое гораздо ближе к 0, допустим, на 0,0000001, то ответ будет еще больше и составит 60 000 000. Тенденция ясна. Чем меньше знаменатель, тем больше частное. В пределе, когда знаменатель приближается к нулю, частное стремится к бесконечности. Вот настоящая причина, почему нельзя делить на 0. Малодушные говорят, что ответ неопределенный, но на самом деле он бесконечный.
Все это можно представить себе следующим образом. Вообразите, что вы делите 6-сантиметровую линию на части длиной 0,1 сантиметра. Получается 60 кусков, уложенных вплотную друг к другу.
Точно так же (но я не буду пробовать это нарисовать) эту линию можно поделить на 600 частей по 0,01 сантиметра или на 60 000 000 частей по 0,0000001 сантиметра.
Если мы продолжим и доведем это безумное деление до предела, то придем к заключению, что наша 6-сантиметровая линия состоит из бесконечного числа частей нулевой длины. Возможно, это звучит правдоподобно. В конце концов, линия состоит из бесконечного количества точек, и каждая точка имеет нулевую длину.
Но с философской точки зрения нервирует то, что аналогичное рассуждение можно применить к линии любой длины. В самом деле, в числе 6 нет ничего особенного. Мы могли бы с равным успехом утверждать, что линия длиной 3 сантиметра, или 49,57, или 2 000 000 000 состоит из бесконечного числа точек нулевой длины. Очевидно, что умножение 0 на бесконечность может дать нам любой мыслимый результат – 6, 3, 49,57 или 2 000 000 000. С математической точки зрения это ужасно.
Грех актуальной бесконечности
Прегрешение, которое втянуло нас в эту путаницу, заключалось в том, что мы вообразили, будто действительно можем достичь предела и трактовать бесконечность как достижимое число. Еще в IV веке до нашей эры греческий философ Аристотель[30] предупреждал, что такое обращение с бесконечностью способно привести к различным логическим неприятностям. Он выступал против актуальной бесконечности[31], уверяя, что смысл имеет только потенциальная бесконечность.