Том 27. Поэзия чисел. Прекрасное и математика
Шрифт:
Три качества, о которых писал Харди, связаны с тем, что Сантаяна в «Постижении красоты» называл «изобретательностью», или с тем, что математик Джан-Карло Рота именовал «способностью идеи озарять» — в главе «Феноменология математической красоты» (The Phenomenology of Mathematical Beauty) своей книги «Непрерывные мысли» (Indiscrete Thoughts) Рота использует слово enlightenment («озарение»). С одной стороны, Сантаяна напрямую связывал гениальность с глубиной: «Гений обладает способностью проникать в глубины вещей, чтобы извлечь оттуда некое значимое обстоятельство или взаимосвязь, позволяющие увидеть рассматриваемый объект в новом, более ярком свете». С другой стороны, согласно Рота, «озаряющая» идея проливает свет на понятия, с которыми она связана, или помогает лучше проанализировать и определенные математические задачи. Именно этими качествами обладает идея, которую использовал Эйлер при вычислении
Эта способность математических идей озарять восхищала ученых, инженеров и архитекторов во все времена. Приведем слова архитектора Ле Корбюзье, которые он произнес при работе над проектом одного из домов: «Отсутствие правила, закона, бросилось мне в глаза. Это наполнило меня ужасом, так как я увидел, что работаю в полном хаосе. В тот момент я понял необходимость вмешательства математики, потребность в каком-то регуляторе. С того момента эта одержимость всегда занимала уголок в моем мозгу».
Два последних раздела главы посвятим книге Эйлера «Введение в анализ бесконечно малых», откуда мы заимствовали примеры, которыми проиллюстрировали рассуждения Харди о красоте математики.
Во «Введении в анализ бесконечно малых» не описывается ни дифференциальное, ни интегральное исчисление. В этой книге, в соответствии с ее названием, Эйлер показывает читателю, как следует обращаться с бесконечно большими и бесконечно малыми величинами. Он рассматривает элементарные функции с помощью бесконечных процессов: описывает представление функций в виде рядов и бесконечных произведений (впервые в истории математики), а также использует разложение функций для решения различных задач. Некоторые из них относятся к математическому анализу, например задача о вычислении сумм бесконечного числа слагаемых (примеры подобных задач мы привели в третьем разделе этой главы), другие же скорее относятся к теории чисел [11] .
11
Я считаю своим долгом предупредить читателя, что мое мнение о «Введении в анализ бесконечно малых» Эйлера не вполне объективно, так как я был редактором и автором комментариев к первому изданию этой книги, вышедшей на испанском языке.
Метафизика бесконечного и способность Эйлера объяснять сделали «Введение в анализ бесконечно малых» одной из самых красивых книг в истории математики. Чуть позже мы расскажем, как эта прекрасная работа повлияла на один из фундаментальных трудов по эстетике — книгу «Критика способности суждения» немецкого философа Иммануила Канта, в частности эстетическую категорию возвышенного.
Чтобы ввести читателя в курс дела, вкратце расскажем о том, как понимал бесконечность Эйлер и что означают слова «бесконечно малые» в заглавии его книги. Эйлер не дал никакого определения бесконечно малым и бесконечно большим величинам, на которых основывались все понятия анализа в XVII, XVIII и большей части XIX века, а работал с ними на интуитивном уровне. Целью математика было обучить читателя работе с бесконечно малыми и бесконечно большими величинами, сформировать у него некоторое интуитивное представление об их особенностях.
* * *
«ВВЕДЕНИЕ В АНАЛИЗ БЕСКОНЕЧНО МАЛЫХ», ОДИН ИЗ ТРЕХ КЛАССИЧЕСКИХ МАТЕМАТИЧЕСКИХ ТЕКСТОВ
«Введение в анализ бесконечно малых» не простая книга; она сыграла основополагающую роль в создании математического анализа. Историк математики Карл Бойер в своей статье о наиболее выдающихся математических текстах всех времен, написанной в 1969 году, поставил «Введение в анализ бесконечно малых» в один ряд с «Началами» Евклида и «Алгеброй» Аль-Хорезми: «Нетрудно видеть, что трактатом, оказавшим наибольшее влияние на математику древности (и на математику всех эпох), стали «Начала» Евклида. Определить, какой из средневековых трудов стал наиболее влиятельным, не так просто. Одна из подходящих кандидатур — «Алгебра» Аль-Хорезми. Можно ли выделить современный текст, сопоставимый с ними по авторитету и влиянию, которое они оказали? Да, можно выделить текст, который «стоял на плечах гигантов» — трудов барокко и Просвещения — и повлиял практически на всех последующих авторов. Это «Введение в анализ бесконечно малых» Эйлера. Эта книга стала для математики тем же, чем стали «Начала» Евклида для синтетической геометрии древних греков, а «Алгебра» Аль-Хорезми — для элементарной алгебры. Понятия функции и бесконечных процессов зародились в XVII веке, однако лишь с выходом «Введения в анализ бесконечно малых» они стали полноправными членами математического триумвирата, образованного геометрией, алгеброй и анализом».
Обложка первого издания «Введения в анализ бесконечно малых» Эйлера, опубликованного в 1748 году.
* * *
Краткое описание бесконечно малых величин в соответствии с тем, как их представлял Эйлер, может звучать так: бесконечно малая величина — это числовая функция или последовательность, которая стремится к нулю. Так как она не является строго равной нулю, ее можно использовать в знаменателе дроби, а так как она является бесконечно малой, ее можно принять равной нулю, когда мы хотим упростить выражение. Бесконечно большая величина, в свою очередь, остается неизменной, когда мы прибавляем к ней обычное число. Иными словами, если N — бесконечно большая величина, то выполняется достаточно необычное равенство: N + 1 = N. А бесконечно малое число w — это число, не равное нулю, однако сколько бы мы ни складывали его с самим собой, полученная сумма не будет больше 1, 1/2 или любого другого положительного числа. Чтобы получить 1 из бесконечно малого числа w, потребуется бесконечно большое число N: N·w = 1.
«Будет непросто найти в истории математики другой труд, который оставлял бы у читателя такое впечатление о гениальности его автора, как этот», — писал Эрнест Уильям Хобсон о «Введении в анализ бесконечно малых». Возможно, с Хобсоном согласится любой, кто прочел книгу Эйлера. Такое восприятие вызвано тем, что «Введение в анализ бесконечно малых» обладает огромной способностью вызывать эмоции. Гениальный Эйлер создал текст, преисполненный красоты, который оказывает неизгладимое впечатление на всех, кто его читает.
Как мы уже говорили, Эйлер в своей книге работает с бесконечно малыми величинами интуитивно понятным образом — именно в этом и заключается его гениальность. Бесконечно малые величины опасны, и небрежная работа с ними может закончиться катастрофой. Для греков бесконечность была сродни ужасному чудовищу, от которого следовало спасаться бегством. Эйлер не сбежал: напротив, он приблизился к чудовищу, потрепал его за холку и надел на него ярмо, чтобы вспахать доселе бесплодную землю. В руках Эйлера бесконечность оказалась удивительно податливой. А учитывая, какой страх внушала она всем математикам, эта податливость потрясает до дрожи. Именно в этой способности потрясать до дрожи и заключается эстетическая ценность труда Эйлера. Немецкий философ Теодор Адорно утверждал, что эстетическая ценность объекта заключается именно в его способности вызывать потрясение и в некотором роде испуг. Эта идея прозвучала на знаменитой конференции под названием «Красота занятий математикой», которую для всех желающих провел Серж Ланг в парижском Дворце открытий в начале 1980-х. Ланг говорил о «дрожи в позвоночнике», которую вызывают красивейшие математические рассуждения.
Философ Иммануил Кант (1724–1804) был представителем нового поколения. Он родился и прожил почти всю жизнь в Кёнигсберге (ныне Калининград). Эйлер тоже имел отношение к Кёнигсбергу, хотя никогда не жил в этом городе: он родился в Базеле, занимался математикой в Санкт-Петербурге и Берлине. Однако именно Эйлер решил знаменитую задачу о семи мостах Кёнигсберга. В XVIII веке в городе было семь мостов, соединявших его части с островами на реке Прегель. Жители Кёнигсберга хотели узнать, можно ли обойти все мосты, не проходя ни по одному из них дважды. Эйлер путем простых, но очень наглядных рассуждений, которые позднее дали начало теории графов, показал, что искомого пути не существует.
Портрет Иммануила Канта (1724–1804), одного из ведущих философов в истории человечества.
Учитывая, какое определение Кант дает возвышенному, не будет преувеличением сказать, что источником его вдохновения могли стать рассуждения о бесконечно малых величинах, принадлежавшие Эйлеру или любому другому математику XVIII столетия, хотя Эйлер выразил силу бесконечно малых лучше остальных. «Возвышенно то, — писал Кант в «Критике способности суждения», — в сравнении с чем все остальное мало… Возвышенно то, одна возможность мыслить которое доказывает способность души, превосходящую любой масштаб чувств. Представляя возвышенное в природе, душа ощущает себя взволнованной, тогда как при эстетическом суждении о прекрасном она находится в состоянии спокойного созерцания. Эту взволнованность можно (особенно в ее первые минуты) сравнить с потрясением, то есть быстро сменяющимся отталкиванием и притяжением одного и того же объекта» [12] .
12
Перевод М. И. Левиной — Примеч. ред.