* * *
Этот прямоугольный треугольник, катетами которого являются dx и dy, является тем характеристическим треугольником, о котором мы говорили выше. По сути, его катеты бесконечно малой длины совпадают со сторонами многоугольника с бесконечным числом сторон, в виде которого можно представить исходную кривую. Основная разница между этими величинами заключается в том, что Лейбниц работает с ними как с числами (с некоторыми ограничениями) и использует их для получения конкретных результатов. С их помощью ему даже удалось решить задачу о квадратуре, то есть вычислить площадь, ограниченную кривой. Говоря проще, если площадь некоторой фигуры состоит из дифференциалов, достаточно сложить их, чтобы узнать искомую площадь (в этом смысле дифференцирование и интегрирование являются обратными операциями).
Потрет Гэтфрида Лейбница в возрасте приблизительно пятидесяти четырех лет.
* * *
ЛЕЙБНИЦ И ОРДЕН РОЗЕНКРЕЙЦЕРОВ
В возрасте 20 лет Лейбниц вступил в ряды таинственного ордена розенкрейцеров, членами которого также были Ньютон и Декарт. Не следует удивляться — в то время ученым сложно было получать необходимую для исследований информацию из официальных источников, и членство в подобных обществах было одним из факторов их научного прогресса. Условием вступления в орден было проведение алхимических опытов, и Лейбниц, который в итоге занял пост секретаря братства, занялся выполнением экспериментов, описанных на латыни в объемном труде алхимика Василия Валентина. Через братство он познакомился с первооткрывателем фосфора Хеннигом Брандом и помог ему выделить фосфор из мочи целого полка солдат для последующего коммерческого использования. Лейбниц также активно сотрудничал с Фридрихом Гофманом, возглавлявшим кафедру медицины в Университете Галле. Одним из результатов их совместной работы стали знаменитые гофманские капли, которые до сих пор можно встретить в некоторых немецких аптеках.
Храм братства Розы и Креста, рисунок из книги Теофилуса Швейгхардта Константиенса, 1618 год.
* * *
Бесконечно малые величины не были с восторгом приняты математиками той эпохи. Характеристический треугольник использовался в рассуждениях, но так и не получил строгого определения. Он лишь представлял нечто происходящее в загадочном и непонятном мире бесконечно малых, и его использование предполагало принятие актуальной бесконечности, как бы ученые ни стремились этого избежать.
Кроме того, следовало каким-то образом уйти от архимедовского принципа сравнения величин, и Паскаль, Лопиталь, Бернулли и сам Лейбниц в итоге стали рассматривать бесконечно малые как особые величины, которые в определенных условиях равняются нулю. Лейбниц неспроста дал своей работе название «О скрытой геометрии и анализе неделимых и бесконечных величин».
ЭпсилонКогда говорят об эпсилонах или о языке эпсилон-дельта, речь идет вовсе не о секретных кодах Министерства обороны, а о сложном математическом аппарате, который напрямую связан с понятием предела. Первое определение понятию предела сформулировал Бернард Больцано (1781–1848), не получивший, к сожалению, при жизни должного признания. Первым, кто использовал это понятие на практике, был Огюстен Луи Коши (1789–1857), однако окончательное строгое определение предела дал Карл Вейерштрасс. Определение предела на языке эпсилон-дельта является чрезвычайно точным в той части, которая касается делимости на бесконечное множество частей. Хотя это определение очень сложно понять тому, кто не владеет некоторыми математическими знаниями, оно тем не менее долгое время использовалось в учебниках для средней школы. Мы не хотим сказать, что старшеклассники недостаточно умны, чтобы понять его, но не стоит ожидать, что все поймут его с одинаковой легкостью. Во многих учебниках оно приводится мелким шрифтом, и преподаватели обходят его молчанием.
Карл Вейерштрасс на литографии 1895 года. Этот немецкий математик был первым, кто использовал на практике язык эпсилон-дельта.
* * *
СПОРЫ ГЕНИЕВ
Переписка, несомненно, является древнейшей формой общения между учеными. С ее помощью формулируется и решается множество задач. По сравнению с другими формами общения письма обладают преимуществом — конфиденциальностью: они адресуются конкретному человеку или группе людей. В виде переписки проходили многие научные дискуссии. Одной из самых известных стало жаркое противостояние между Ньютоном и Лейбницем об авторстве математического анализа. Абсолютно независимо друг от друга они получили аналогичные результаты, однако Ньютон опубликовал свои работы первым, что дало ему основания обвинить Лейбница в плагиате. Это привело к ожесточенному и абсурдному спору, не имевшему аналогов в истории науки.
* * *
Попробуем сделать понятие предела более ясным, несколько упростив его.
По сути оно имеет много общего с понятием накопления. Представим, что перед входом в помещение образовалась очередь. Можно заметить, что люди постепенно становятся ближе ко входу и друг к другу. Это совершенно естественно: изначально, когда в очереди немного людей, они стараются сохранять комфортное расстояние между собой, но по мере того как число людей растет, расстояние между ними уменьшается. Интересно, что мы говорим о двух разных расстояниях, которые, однако, тесно связаны между собой: о расстоянии между началом очереди и входом и о расстоянии между людьми в очереди, которое по мере того как мы приближаемся к концу, увеличивается. Это логично, так как те, кто становится в очередь, стараются сохранять комфортное расстояние между собой, но по мере того как очередь движется вперед, люди чувствуют давление тех, кто находится позади. Можно сказать, что люди скапливаются у входа.
Можно определить степень скопления людей с помощью параметра, который будет описывать, например, изменение расстояния между людьми в очереди по мере приближения к ее началу. Как правило, этот параметр будет постепенно уменьшаться.
В очереди, например у входа в кинотеатр, люди собираются у дверей, где расстояние между ними будет минимальным. По мере отдаления от входа расстояние между людьми увеличивается.
Степень скопления людей можно определить, выбрав в качестве единицы измерения конкретное расстояние, например 50 см. Если в 50 см от входа находятся люди, это будет соответствовать определенной степени скопления. В зависимости от величины этой единицы измерения число людей будет изменяться. Аналогично можно измерить степень скопления людей, оценив расстояние между ними.
Здесь возникает первый интересный вопрос: когда мы видим скопление людей, логично предположить, что они собрались по какой-то причине, то есть это скопление возникает вокруг определенного места, где происходит что-то важное. Когда мы видим на дороге скопление муравьев, то сразу же понимаем, что где-то поблизости находится еда или вход в муравейник. Еще один пример — скопление машин на автомагистрали, которое служит признаком того, что поблизости находится пункт оплаты проезда или произошла авария. Эти примеры помогут нам понять одно из самых интересных открытий в истории математики. Оно касается существования определенных чисел, которые в течение веков скрывались в мире бесконечно малых.
В предыдущих примерах речь шла о дискретных множествах. Рассмотрим непрерывные величины, так как они допускают возможность бесконечного деления. Оставим скопления людей и автомашин и рассмотрим возможные множества точек на прямой. Допустим, что дана последовательность точек а1, a2, а3… аn, …, которые обладают одним свойством: соседние члены последовательности располагаются все ближе и ближе друг к другу. Очевидно, что они скапливаются вокруг некоторой точки — обозначим ее Р. Допустим, что выбранной нами основной мерой длины является отрезок длиной d. Если мы поместим один конец этого отрезка в точку Р, то увидим, что некоторые точки последовательности окажутся внутри этого отрезка длиной d.
Более того, мы сможем найти точку аn, после которой все точки будут располагаться внутри отрезка d. Если мы уменьшим длину отрезка и сделаем ее равной d' < d, то все точки, начиная с более удаленной, аm, будут располагаться внутри этого нового отрезка. Именно такое значение имеет эпсилон в математическом анализе. Мы можем гарантировать, что для любой величины d всегда найдется такое n, начиная с которого все элементы последовательности будут находиться внутри отрезка d. В этом случае говорят, что последовательность сходится в точке Р. Это означает следующее: во-первых, эта последовательность бесконечна, во-вторых, расстояние между точкой Р и произвольным членом последовательности может быть сколь угодно малым.
