Каково же тогда современное определение анализа? Для наших целей, как мне кажется, подойдет такое определение: это изучение пределов. Понятие предела лежит в основе анализа. Например, все дифференциальное и интегральное исчисление, составляющее наиболее значительную часть анализа, основано на понятии предела.
Рассмотрим такую числовую последовательность: 1/1, 3/2, 7/5, 17/12, 41/29, 99/70, 239/169, 577/408, 1393/985, 3363/2378, …. Каждая следующая дробь получена из предыдущей по простому правилу: новый знаменатель равен сумме старого числителя и старого знаменателя, а новый числитель равен сумме старого числителя и удвоенного старого знаменателя. Эта последовательность сходится к квадратному корню из числа 2. Например, возведение в квадрат числа 3363/2378 дает 11309769/5654884, что равно 2,000000176838287…. Говорят, что предел этой последовательности равен √2.
Рассмотрим еще один пример последовательности: 4/1, 8/3, 32/9, 128/45, 768/225, 4608/1575, 36864/11025, 294912/99225, …. Здесь N-й член последовательности получается так: если N четно, то умножаем предыдущий член на N/(N + 1), а если N нечетно, то умножаем предыдущий член на (N + 1)/N. Такая последовательность сходится к числу π. Последняя из приведенных дробей равна 2,972154… (данная последовательность сходится очень медленно).[4] А вот еще пример: 11, (11/2)2, (11/3)3, (11/4)4, (11/5)5, … — эта последовательность сходится к числу, которое примерно равно 2,718281828459. Это необычайно важное число, и мы будем использовать его в дальнейшем.
Стоит заметить, что приведенные только что примеры — это примеры последовательностей, т.е. наборов чисел, записанных через запятую. Это не ряды, члены которых надо складывать. Но с точки зрения анализа ряд — это все-таки слегка замаскированная последовательность. Утверждение «ряд 1 + 1/2 + 1/4 + 1/8 + 1/16 + 1/32 + … сходится к 2» математически эквивалентно такому утверждению: «последовательность 1, 11/2, 13/4, 17/8, 115/16, 131/32, … сходится к 2». Четвертый член этой последовательности представляет собой сумму первых четырех членов ряда и т.д. (Название последовательности такого типа на математическом языке — последовательность частичных сумм данного ряда.) Аналогично, утверждение «гармонический ряд расходится» эквивалентно утверждению «последовательность 1, 11/2, 15/6, 21/12, 217/60, 227/32, … расходится». В этой последовательности N-й член равен предыдущему плюс 1/N.
Все это относится к анализу, т.е. к изучению пределов — того, как именно числовая последовательность может приближаться к некоторому предельному числу, никогда точно его не достигая. Когда говорится, что последовательность продолжается неограниченно, имеется в виду, что, сколько бы членов мы уже ни выписали, всегда можно написать следующий. Когда говорится, что последовательность имеет предел, равный a, имеется в виду, что, какое бы малое число x мы ни взяли, начиная с некоторого момента каждый член последовательности будет отличаться от a на величину, меньшую, чем выбранное x. А если вы предпочитаете говорить «Последовательность стремится к бесконечности» или «Предел N-го члена при N, стремящемся к бесконечности, есть a», то вы вправе так выражаться, если вы сами осознаете, что это просто удобная фигура речи.
Традиционное деление на дисциплины внутри математики таково.
• Арифметика — наука о целых числах и дробях. Пример теоремы из арифметики: вычитание нечетного числа из четного дает в ответе нечетное число.
• Геометрия — наука о фигурах в пространстве — точках, линиях, кривых, трехмерных объектах. Пример теоремы: сумма углов треугольника на плоскости равна 180 градусам.
• Алгебра — использование абстрактных символов для представления математических объектов (чисел, линий, матриц, преобразований) и изучение правил, по которым эти символы можно комбинировать. Пример теоремы: для любых двух чисел x и y имеет место равенство (x + y)×(x − y) = x2 − y2.
4
То есть для того, чтобы приблизиться к пределу — в данном случае к числу