бесконечно малая последовательность
Если последовательность $\{u_{n}\}$ сходится к нулю:
$\lim_{n \rightarrow \infty} u_{n} = 0$,
то она называется бесконечно малой последовательностью.
Говорят также, что ее общий член ип является при $n \rightarrow \infty$ бесконечно малой величиной. Бесконечно малыми являются последовательности (3) и (4) из "Предел числовой последовательности".
Если мы применим формулировку понятия предела к случаю бесконечно малой последовательности, т. е. к случаю, когда предел равен нулю, то придем к такому определению бесконечно малой последовательности (равносильному данному выше): последовательность $\{u_{n}\}$ называется бесконечно малой, если для любого заданного $\varepsilon > 0$ найдется такой номер $N$, что при всех $n > N$ будет иметь место неравенство $|u_{n}| < \varepsilon$.
Сформулируем некоторые полезные теоремы о бесконечно малых последовательностях (и для примера докажем первую из них).
Теорема 1. Сумма двух или нескольких бесконечно малых последовательностей есть бесконечно малая последовательность.
Доказательство проведем для случая суммирования двух последовательностей. Пусть последовательности $\{ \alpha_{n} \}$ и $\{ \beta_{n} \}$ бесконечно малые. Если $\{ \alpha_{n} + \beta_{n} \}$ - последовательность, полученная их сложением, то она также будет бесконечно малой. Действительно, пусть задано произвольное положительное число $\varepsilon$. В силу того, что $\{ \alpha_{n} \}$ - бесконечно малая, найдется число $N^{ \prime}$ такое, что $|\alpha_{n}|$ будет меньше числа $\frac{ \varepsilon}{2}$ при $n > N^{ \prime}$. Аналогично и для второй последовательности $\{ \beta_{n} \}$ можио указать (вообще говоря, другое) число $N^{\prime \prime}$ такое что при $n > N^{\prime \prime}$ будем иметь $|\beta_{n}| < \frac{\varepsilon}{2}$. Теперь, если $n$ больше большего из чисел $N^{\prime}, N^{\prime \prime}$, то одновременно
$|\alpha_{n}| < \frac{ \varepsilon}{2}, |\beta_{n}| < \frac{\varepsilon}{2}$.
Но тогда, по свойству «модуль суммы не превосходит суммы модулей», найдем
$|\alpha_{n} + \beta_{n}| \leq |\alpha_{n}| + |\beta_{n}| < \frac{ \varepsilon}{2} + \frac{ \varepsilon}{2} = \varepsilon$ при $n > max (N^{\prime}, N^{\prime \prime})$
что и докажет требуемое утверждение: последовательность $\{ \alpha_{n} + \beta \}$ бесконечно малая $(max (N^{\prime}, N^{\prime \prime})$ читается как «большее из двух чисел $N^{\prime}$ и $N^{\prime \prime}$).
Теорема 2. Произведение ограниченной последовательности на последовательность, сходящуюся к нулю, есть последовательность, сходящаяся к нулю.
Из этой теоремы, в частности, следует, что произведение постоянной величины на бесконечно малую, так же как произведение нескольких бесконечно малых друг на друга, является бесконечно малой величиной. Действительно, постоянная величина всегда есть величина ограниченная. То же относится и к бесконечно малой. Поэтому, например, произведение двух бесконечно малых можно истолковать как произведение бесконечно малой на ограниченную.
Теорема 3. Частное от деления последовательности, сходящейся к нулю, на последовательность, имеющую предел, отличный от нуля, есть последовательность, сходящаяся к нулю.
Следующая теорема позволяет использовать бесконечно малые при доказательствах теорем о пределах (теоремы 6-8).
Теорема 4. Общий член последовательности, имеющей предел, можно представить как сумму этого предела и бесконечно малой величины.
Доказательство. Пусть дана последовательность $\{u_{n}\}$ такая, что
$\lim_{n \rightarrow \infty} u_{n} = a$.
Из определения предела следует:
$|u_{n} - a| < \varepsilon$
для всех $n$, удовлетворяющих неравенству $n > N (\varepsilon)$. Обозначим $u_{n} - a = \alpha_{n}$ и тогда получим, что для указанных значений $n$ будет
$| \alpha_{n}| < \varepsilon$
т. е. что $\alpha_{n}$ есть бесконечно малая величина. Но
$u_{n} = a + \alpha_{n}$,
а это и доказывает нашу теорему.
Верна и обратная
Теорема 5. Если общий член последовательности отличается от какой-либо постоянной величины на бесконечно малую величину, то эта постоянная является пределом данной последовательности.
Рекомендуем пользователю доказать эту теорему самостоятельно.
Теперь мы рассмотрим правила предельного перехода, сформулированные в следующих трех теоремах.
Теорема 6. Предел суммы двух или нескольких последовательностей, имеющих предел, равен сумме этих пределов:
$\lim_{n \rightarrow \infty} (u_{n} + v_{n}) = \lim_{n \rightarrow \infty} u_{n} + \lim_{n \rightarrow \infty} v_{n}$.
Доказательство. Пусть даны последовательности $\{u_{n}\}$ и $\{v_{n}\}$ такие, что
$\lim_{n \rightarrow \infty} u_{n} = a, \lim_{n \rightarrow \infty} v = b$.
Тогда на основании теоремы 4 мы можем записать:
$u_{n} = a + \alpha_{n}, v_{n} = b + \beta_{n}$
где $\alpha_{n}$ и $\beta_{n}$ - некоторые бесконечно малые последовательности. Сложим два последних равенства:
$u_{n} + v_{n} = (a+b) + (\alpha_{n} + \beta_{n})$.
Величина $(a+b)$, как сумма двух постоянных $a$ и $b$, постоянна, a $\alpha_{n} + \beta_{n}$, как сумма двух бесконечно малых последовательностей, по теореме 1 есть бесконечно малая последовательность. Отсюда и из теоремы 5 заключаем, что
$\lim_{n \rightarrow \infty} (u_{n} + v_{n}) = a + b$,
или
$\lim_{n \rightarrow \infty} (u_{n} + v_{n}) = \lim_{n \rightarrow \infty} u_{n} + \lim_{n \rightarrow \infty} v_{n}$,
а это и нужно было доказать.
Доказательство, которое мы сейчас провели, можно без труда обобщить на случай алгебраической суммы любого числа заданных последовательностей.
Теорема 7. Предел произведения двух или нескольких последовательностей, имеющих предел, равен произведению пределов этих последовательностей:
$\lim_{n \rightarrow \infty} (u_{n} v_{n}) = \lim_{n \rightarrow \infty} u_{n} \cdot \lim_{n \rightarrow \infty} v_{n}$.
Доказательство. Пусть $\lim_{n \rightarrow \infty} u_{n} = a, \lim_{n \rightarrow \infty} v_{n} = b$. Тогда имеем
$u_{n} = a + \alpha_{n}, v_{n} = b + \beta_{n}$,
где $\alpha_{n}, \beta_{n}$ - бесконечно малые последовательности. Находим $u_{n}v_{n} = (a + \alpha_{n}) (b + \beta_{n}) = ab + (a \beta_{n} + b \alpha_{n} + \alpha_{n} \beta_{n})$, где скобками объединена сумма трех бесконечно малых последовательностей, которая и сама является бесконечно малой последовательностью. Произведение $u_{n}v_{n}$ отличается от $ab$ на бесконечно малую последовательность, и потому
$\lim_{n \rightarrow \infty} u_{n} v_{n} = ab$
что и требовалось доказать.
Доказательство в случае большего числа сомножителей проводится аналогичио.
Из теоремы 7 вытекает
Следствие. Постоянный множитель выносится за знак предела:
$\lim_{n \rightarrow \infty} c u_{n} = c \lim_{n \rightarrow \infty} u_{n} (c = const)$
(можно рассматривать постоянный множитель как член постоянной последовательности и применить теорему 7 и положение о том, что предел постоянной последовательности равен ее членам).
Теорема 8. Предел частного двух последовательностей, имеющих предел, равен частному от деления этих пределов при условии, что предел делителя отличен от нуля.
Записать утверждение этой теоремы можно так: если
$\lim_{n \rightarrow \infty} v_{n} \neq 0$,
то
$\lim_{n \rightarrow \infty} {\frac {u_{n}}{v_{n}}} = \frac {\lim_{n \rightarrow \infty} u_{n}}{\lim_{n \rightarrow \infty} v_{n}}$.