Бесконечности, большие и малые
Бесконечности, большие и малые
Анализ бесконечно малых был наполнен бесконечно большими и бесконечно малыми величинами с самого момента создания, в течение первых трех четвертей XVII века, когда его продвинули вперед Ньютон и Лейбниц, равно как и позднее, в течение всего XVIII века. Бесконечно малая величина — это числовая функция или последовательность, которая стремится к нулю. Так как она не является строго равной нулю, ее можно использовать в знаменателе дроби, а так как она является бесконечно малой, ее можно принять равной нулю, когда мы хотим упростить выражение. Бесконечно большая величина, в свою очередь, остается неизменной, когда мы прибавляем к ней обычное число. Иными словами, если N — бесконечно большая величина, то выполняется достаточно необычное равенство: N + 1 = N.
Разумеется, из-за этих необычных свойств существование бесконечно больших и бесконечно малых неоднократно ставилось под сомнение. Анализ бесконечно малых регулярно критиковался из-за того, что он был основан на бесконечно малых величинах. Критики задавались вопросом: как можно получить верный результат с помощью метода, в основе которого лежит понятие, столь нечеткое с точки зрения логики?
Математики, которые начали использовать бесконечно малые в XVII веке, — Кеплер, Кавальери, Ферма, Валлис, Паскаль, Барроу (этот список далеко не полон), много раз указывали, что подобные рассуждения приводил еще Архимед. Однако они не утруждали себя написанием строгих доказательств — в отличие от Архимеда. Известные в то время труды Архимеда были опубликованы в середине XVI века, и прошло почти 50 лет, прежде чем математики того времени смогли понять и применить его непростые методы. Архимед был наиболее цитируемым автором в течение всего XVII века. Как мы уже говорили в главе 2, математики этого периода очищали методы Архимеда от геометрической «оболочки» и приводили их в арифметическом и алгебраическом виде. Эти разделы математики набирали популярность в течение XVII века, особенно после открытия аналитической геометрии Декартом и Ферма. В то время математиков больше интересовали открытия, которые можно совершить, используя необычные свойства бесконечно малых, и они не тратили время на построение строгих геометрических доказательств.
Во многих случаях подобное пренебрежение строгостью объяснялось попросту нежеланием заниматься излишней работой: «Всё это можно доказать, используя архимедовы техники, однако это потребует больших усилий», — писал Кавальери в 1635 году.