Последовательность – это функция натурального аргумента. Если каждому натуральному числу $n$ поставлено в соответствие действительное число $\{x_n\}.$ Иначе последовательность обозначают так: $x_1, x_2,…, x_n,….$ Число $x_n$ называется $n-$м элементом (или $n-$м членом) последовательности. Элементы последовательности считаются различными, даже если они равные, но имеют разные номера. Например, последовательность $1, 1, …,$ у которой все $x_n = 1$. Последовательность может быть задана формулой, которая по заданному $n$ позволяет вычислить значение $x_n,$ например, $\frac{(-1)^n + 1}{2}.$ Можно задавать последовательность рекуррентно, т. е. указывать закон, по которому каждый следующий элемент вычисляется по известным предыдущим, например, арифметическая $x_{n+1} = x_n + d,$ или геометрическая $x_{n+1} = x_n \cdot q$ прогрессии (при этом нужно определить один или несколько первых элементов). Можно задавать последовательность описанием её элементов, например, $x_n$ – $n$-й десятичный знак после запятой у числа $\pi.$
Определение. Число $a$ называется пределом последовательности $\{x_n\},$ если для любого $\varepsilon > 0$ найдётся номер $N,$ зависящий, вообще говоря, от $\varepsilon,$ такой, что для всех номеров $n \ge N$ выполняется неравенство $\left |x_n-a\right | < \varepsilon.$ В этом случае пишут $x_n \to a$ $(n \to \infty),$ или $$\lim\limits_{n\to\infty} x_n = a.$$ В кванторах это определение выглядит следующим образом: $$\lim\limits_{n\to\infty} = a\;\Longleftrightarrow\;\forall\varepsilon > 0\;\exists N \equiv N_{\varepsilon} : \forall n \ge N\;|x_n-a| < \varepsilon.$$
Если последовательность имеет предел, то говорят, что она сходится. В противном случае говорят, что последовательность расходится.
Для того чтобы выяснить геометрический смысл предела последовательности, перепишем неравенство $\left |x_n-a \right | < \varepsilon$ в таком эквивалентном виде $a-\varepsilon < x_n < a + \varepsilon.$ Тогда понятно, что с геометрической точки зрения равенство $\lim\limits_{n\to\infty} x_n = a$ означает, что все члены последовательности, начиная с некоторого номера $N(\varepsilon),$ зависящего от $\varepsilon,$ находится в $\varepsilon-$ окрестности точки $a.$ Вне этой окрестности находится, быть может, лишь конечное число элементов, а именно, те $x_n,$ номера $n$ которых меньше, чем $N(\varepsilon).$
В терминах окрестностей определение предела можно переформулировать следующим образом.
Определение. Число $a$ называется пределом последовательности $\{x_n\},$ если для любого $\varepsilon-$ окрестности $U_{\varepsilon}(a)$ числа $a$ найдётся такой номер $N(\varepsilon),$ начиная с которого все члены последовательности принадлежат этой окрестности, т. е. $$\forall U_{\varepsilon}(a)\;\exists N : \forall n \ge N\; x_n\in U_{\varepsilon}(a).$$
Пример 1.Пусть $x_n = a\;(n = 1, 2, …).$ Такая последовательность называется стационарной. Ясно, что $\lim\limits_{n\to\infty} x_n = a.$
Пример 2.Пусть $x_n = \frac{(-1)^n}{n}.$ Покажем, что $\lim\limits_{n\to\infty} \frac{(-1)^n}{n} = 0.$ Зададим $\varepsilon > 0$ и рассмотри неравенство $\left | \frac{(-1)^n}{n}-0 \right | = \frac{1}{n} < \frac{1}{\varepsilon}.$ Оно выполняется, если только $n > \frac{1}{\varepsilon}.$ Положим $N = \left [\frac{1}{\varepsilon} \right ] + 1,$ где $\left [b\right ]$ означает целую часть числа $b.$ Тогда из неравенства $n \ge N$ следует, что $n > \frac{1}{\varepsilon},$ а значит, $\left | \frac{(-1)^n}{n}-0 \right | = \frac{1}{n} < \frac{1}{\varepsilon}.$ Таким образом, мы показали по определению, что число $a = 0$ является пределом последовательности $x_n.$
Пример 3. Покажем, что $\lim\limits_{n\to\infty}(\sqrt{n+1}-\sqrt n) = 0.$ Зададим $\varepsilon > 0.$ Тогда получим, что неравенство $$\left |(\sqrt{n+1}-\sqrt n)-0\right | = \sqrt{n+1}-\sqrt n = \frac{1}{\sqrt{n+1}+\sqrt n} \le \frac{1}{\sqrt n} < \varepsilon$$ справедливо, если только $n > \frac{1}{\varepsilon^2}.$ Поэтому достаточно взять $N = \left [\frac{1}{\varepsilon^2}\right ]+1.$
Замечание. При доказательстве равенства $\lim\limits_{n\to\infty} x_n = a$ по определению не требуется находить наименьший номер $N,$ начиная с которого выполняется неравенство $\left |x_n-a \right | < \varepsilon.$ Достаточно лишь указать какой-нибудь номер $N(\varepsilon),$ начиная с которого $\left |x_n-a \right | < \varepsilon.$
Отрицание определения предела. Число $a$ не является пределом последовательности $\{x_n\},$ если найдётся такое положительное $\varepsilon ,$ что для любого $N$ существует $n \ge N$ такое, что $\left |x_n-a\right | \ge \varepsilon,$ т. е. $$\exists\varepsilon > 0 : \forall N\;\exists n \ge N : |x_n-a| \ge \varepsilon.$$В этой записи число $N$ не может зависеть от $\varepsilon,$ а $n$ зависит от $N.$
В терминах окрестностей получаем, что число $a$ не является пределом последовательности $\{x_n\},$ если найдётся такая окрестность числа $a,$ вне которой находится бесконечно много элементов последовательности $x_n.$
Теперь легко можем сформулировать в кванторах определение расходящейся последовательности: $$\forall a\;\exists\varepsilon = \varepsilon (a) > 0 : \forall N\;\exists n \ge N : |x_n-a| \ge \varepsilon.$$
Пример 4.Докажем, что последовательность $x_n = (-1)^n$ расходится. Зададим произвольное $a \in \mathbb{R}$ и положим $\varepsilon = \frac{1}{2}.$ Если $a \ge 0,$ то вне окрестности $(a-\varepsilon , a+\varepsilon )$ находятся элементы последовательности с нечётными номерами, а если $a < 0,$ то с чётными номерами. Итак, какое бы $N$ мы ни взяли, найдётся $n \ge N$ (например, $n = 2N+1,$ если $a \ge 0$ и $n = 2N,$ если $a < 0$), для которого справедливо неравенство $|x_n-a| \ge \varepsilon.$
Примеры решения задач
- Доказать исходя из определения, что число $1$ является пределом последовательности $$\{x_n\} = \frac{n}{n+1}.$$
Решение
Рассмотрим модуль разности $$\left | x_{n}-1 \right | = \left | \frac{n}{n+1}-1 \right | = \frac{1}{n+1}.$$
Возьмем произвольное число $\varepsilon > 0.$ Должно выполняться неравенство $\frac{1}{n+1} < \varepsilon.$ Т. е при $n > \frac{1}{\varepsilon}-1$Выберем в качестве $N_{\varepsilon}$ какое-нибудь натуральное число, удовлетворяющее условию $N_{\varepsilon}>\frac{1}{\varepsilon}-1,$ например, число $N_{\varepsilon }=\left [ \frac{1}{\varepsilon}-1 \right ] + 1.$
Тогда для всех $n\geq N_{\varepsilon }$ будет выполняться неравенство $$\left | x_{n}-1 \right | = \frac{1}{n+1} \le \frac{1}{N_{\varepsilon}+1} < \varepsilon.$$
Это и означает, что $1$ является пределом последовательности $\{\frac{n}{n+1}\},$ то есть $$\lim\limits_{n\to \infty } \frac{n}{n+1} = 1.$$
[свернуть] - Пользуясь определением, найти предел последовательности $$\{x_n\} = \frac{n-1}{n}.$$
Решение
Докажем, что $\lim\limits_{n\to \infty } x_{n} = 1.$ Так как $x_{n}=1-\frac{1}{n},$ то $\left | x_{n}-1 \right |=\frac{1}{n}.$ Возьмем произвольное число $\varepsilon > 0.$ Неравенство $\left | x_{n}-1 \right | < \varepsilon$ будет выполняться, если $\frac{1}{n} < \varepsilon .$
Выберем в качестве $N_{\varepsilon}$ какое-нибудь натуральное число, удовлетворяющее условию $N_{\varepsilon}> \frac{1}{\varepsilon},$ например, число $N_{\varepsilon }=\left [ \frac{1}{\varepsilon } \right ] + 1.$
Тогда для всех $n\geq N_{\varepsilon }$ будет выполняться неравенство $\left | X_{n}-1 \right | = \frac{1}{n} \le \frac{1}{N_{\varepsilon }} < \varepsilon.$ По определению предела это означает, что $\lim\limits_{n\to \infty } x_{n} =1.$
[свернуть] - Доказать исходя из определения, что $$\lim\limits_{n\to \infty } \frac{2n}{n^3+1} = 0.$$
Решение
Возьмем произвольное число $\varepsilon > 0.$ Должно выполняться неравенство $\left | \frac{2n}{n^3+1} \right | < \varepsilon.$ $$\frac{2n}{n^3+1} < \frac{2}{n^2} < \varepsilon .$$
Выберем в качестве $N_{\varepsilon}$ какое-нибудь натуральное число, удовлетворяющее условию $N_{\varepsilon}> \sqrt{\frac{2}{\varepsilon}},$ например, число $N_{\varepsilon }=\left [ \sqrt{\frac{2}{\varepsilon}} \right ] + 1.$
Тогда для всех $n\geq N_{\varepsilon }$ неравенство будет выполняться. Следовательно $\lim\limits_{n\to \infty } \frac{2n}{n^3+1} = 0.$
[свернуть]
Литература
- Лысенко З.М. Конспект практики по математическому анализу
- Коляда В.И., Кореновский А. А. Курс лекций по математическому анализу.- Одесса : Астропринт , 2009. с. 15-17.
- Кудрявцев Л. Д. Курс математического анализа : учебник для вузов: В 3 т. Т. 1. Дифференциальное и интегральное исчисления функций одной переменной / Л. Д. Кудрявцев. 5-е изд., перераб. и доп. — Москва: Дрофа, 2003. — 703 с. — с.128-130.
- Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления: учеб. пособие для ун-тов и пед. ин-тов. Т. 1 / Г. М. Фихтенгольц. — 5-е изд., стереотип. — Москва: Физматгиз, 1962. — 607 с. — С. 37-39.
Предел последовательности
Тест на проверку усвоенного в пройденной теме.