Что значит последовательность расходится
11. Сходящиеся и расходящиеся последовательности. Предел последовательности
Последовательность <аn> называется сходящейся, если существует такое вещественное число А, что последовательность <аn – А> является бесконечно малой. Число А будет пределом последовательности: .
Бесконечно малые последовательности являются сходящимися с пределом, равным нулю, бесконечно большие – расходящимися (сходящимися к бесконечности).
Точка бесконечной прямой называется предельной точкой последовательности, если в любой ее ?–окрестности содержится бесконечно много элементов данной последовательности.
Лемма. Каждая сходящаяся последовательность имеет только одну предельную точку, совпадающую с ее пределом.
Основные свойства сходящихся последовательностей:
1) всякая сходящаяся последовательность имеет один предел;
2) сходящаяся последовательность <an> ограниченна;
Следствия:
1) если все члены сходящейся последовательности <an> не отрицательны (не положительны), то предел последовательности есть число неотрицательное (неположительное), ;
2) если все элементы сходящейся последовательности <an> находятся на отрезке [a, b], то и предел этой последовательности <an> лежит на данном отрезке, ;
Теорема о сходимости монотонной ограниченной последовательности. Всякая неубывающая (невозрастающая) последовательность <an>, ограниченная сверху (снизу) сходится. Иначе для того чтобы монотонная последовательность сходилась необходимо и достаточно, чтобы она была ограниченна.
Данный текст является ознакомительным фрагментом.
Определение числовой последовательности
Определение
Далее мы будем считать, что элементами последовательности являются действительные числа.
Другими словами числовая последовательность – это функция, областью определения которой является множество натуральных чисел. Число элементов последовательности бесконечно. Среди элементов могут встречаться и члены, имеющие одинаковые значения. Также последовательность можно рассматривать как нумерованное множество чисел, состоящее из бесконечного числа членов.
Примеры последовательностей
Примеры неограниченно возрастающих последовательностей
Примеры последовательностей, сходящихся к конечному числу
Примеры расходящихся последовательностей
Последовательность с членами, распределенными в интервале (0;1)
Теперь рассмотрим более интересную последовательность. На числовой прямой возьмем отрезок [0;1]. Поделим его пополам. Получим два отрезка. Пусть
.
Каждый из отрезков снова поделим пополам. Получим четыре отрезка. Пусть
.
Каждый отрезок снова поделим пополам. Возьмем
.
И так далее.
Поскольку существуют подпоследовательности, сходящиеся к различным значениям, то сама исходная последовательность не сходится ни к какому числу.
Последовательность, содержащая все рациональные числа
Теперь построим последовательность, которая содержит все рациональные числа. Причем каждое рациональное число будет входить в такую последовательность бесконечное число раз.
Рациональное число r можно представить в следующем виде:
,
где – целое; – натуральное.
Нам нужно каждому натуральному числу n поставить в соответствие пару чисел p и q так, чтобы любая пара p и q входила в нашу последовательность.
Способ нумерации рациональных чисел
Итак, для верхней стороны первого квадрата имеем:
.
Далее нумеруем верхнюю часть следующего квадрата:
.
Нумеруем верхнюю часть следующего квадрата:
.
И так далее.
Тогда из построенной нами последовательности, мы можем выделить подпоследовательность (имеющую бесконечное число элементов), все элементы которой равны наперед заданному рациональному числу. Поскольку построенная нами последовательность имеет подпоследовательности, сходящиеся к различным числам, то последовательность не сходится ни к какому числу.
Заключение
Здесь мы дали точное определение числовой последовательности. Также мы затронули вопрос о ее сходимости, основываясь на интуитивных представлениях. Точное определение сходимости рассматривается на странице Определение предела последовательности. Связанные с этим свойства и теоремы изложены на странице Предел последовательности – основные теоремы и свойства.
Предел последовательности
п.1. Определение последовательности
С понятием «последовательность» мы уже познакомились, когда изучали прогрессии (см. §24 справочника для 9 класса). По определению:
Т.е., числовая последовательность – это некий набор чисел с присвоенными им порядковыми номерами. Это набор можно задать формулой, описанием или просто перечислением.
Например:
1) Формула \(y_n=\frac1n,\ n\in\mathbb
2) Формула \(y_n=(-1)^n,\ n\in\mathbb
3) Рекуррентная формула \(y_1=1,\ y_2=1,\ y_(n+2)=y_(n+1)+y_n\) задает бесконечную последовательность чисел Фибоначчи:
4) Описание «число π точностью до \(10^<-n>\)» задает бесконечную последовательность все более «подробных» значений числа π:
Этот ряд можно также задать формулой \(y_n=\frac<[\pi\cdot 10^n]><10^n>\), где квадратные скобки обозначают целую часть от числа.
п.2. Предел последовательности
Поведение последовательности «на длинных дистанциях» может быть неочевидным. Чтобы лучше понять, возрастает или убывает заданный ряд чисел, ограничен ли он какой-либо величиной или уходит на бесконечность, проще всего построить график.
1) \(y_n=\frac1n\) Последовательность сходится к 0 |
2) \(y_n=(-1)^n\) Последовательность ни к чему не сходится |
3) числа Фибоначчи \(y_1=1,\ y_2=1,\ y_ Последовательность уходит на бесконечность |
4) приближения числа π Последовательность сходится к π |
п.3. Как доказать сходимость последовательности к пределу?
\(\varepsilon\) | 0,1 | 0,01 | 0,001 | 0,0001 | 0,00001 | 0,000001 |
\(N_<\varepsilon>\) | 7 | 97 | 997 | 9997 | 99997 | 999997 |
\(\lg \varepsilon\) | -1 | -2 | -3 | -4 | -5 | -6 |
\(\lg N_<\varepsilon>\) | 0,845 | 1,987 | 2,999 | 4,000 | 5,000 | 6,000 |
И построим график (в логарифмическом масштабе):
Мы видим, что чем меньше ε, тем больше \(N_<\varepsilon>\). Но главное – мы всегда можем его указать.
Таким образом, мы доказали, что действительно \(\lim_
Ведь для любого сколь угодно малого \(\varepsilon\gt 0\) мы можем указать такой номер \(N_<\varepsilon>=\left[\frac1\varepsilon-4\right]+1\), начиная с которого, для всех членов последовательности с номерами \(n\geq N_<\varepsilon>\) разность \(\left|\frac<1>
Построенный график интересен еще и тем, что показывает одно из важных практических применений логарифмов: если разбросы по шкалам очень велики, отличаются на порядки, то графики удобней строить в десятичных логарифмах.
Такие графики часто можно увидеть у физиков-ядерщиков, копающих вглубь, от нанометров до планковских длин; или у астрономов, всматривающихся вдаль, от тысяч километров до гигапарсек.
п.4. Ограниченные и неограниченные последовательности
п.5. Как доказать неограниченность последовательности?
Таким образом, мы доказали, что действительно \(\lim_
Ведь для любого сколь угодно большого \(M\gt 0\) мы можем указать такой номер \(N_M=[\sqrt
п.6. Примеры
ε | 0,1 | 0,01 | 0,001 | 0,0001 | 0,00001 | 0,000001 |
\(N_<\varepsilon>\) | 15 | 128 | 1253 | 12503 | 125003 | 1250003 |
Таким образом, для любого сколь угодно малого ε>0 найдется номер в последовательности \(N_<\varepsilon>=\left[\frac12\left(\frac<5><2\varepsilon>+3\right)\right]+1\), начиная с которого
\(\left|\frac
Что и требовалось доказать.
Показанный приём с усилением неравенства часто применяется в математическом анализе. Найденное \(N_<\varepsilon>\) немного больше «точного» значения, которое следует из исходной дроби \(\frac
Если найденный номер будет немного больше исходного – не страшно; главное, чтобы он 1) был обоснован; 2) гарантировал размещение всех последующих \(y_n,\ n\geq N_<\varepsilon>\) в ε окрестности предела b.
Таким образом, для любого сколь угодно малого ε>0 найдется номер в последовательности \(N_<\varepsilon>=\left[\frac<1><3\sqrt<\varepsilon>>\right]\), начиная с которого \(\left|\frac
Что и требовалось доказать.
Таким образом, для любого сколь угодно малого ε>0 найдется номер в последовательности \(N_<\varepsilon>=\left[-\log_3\varepsilon\right]\), начиная с которого \(\left|\frac<3^n+1><3^n>-1\right|\lt\varepsilon,\ n\geq N_<\varepsilon>\).
Что и требовалось доказать.
ε | 0,1 | 0,01 | 0,001 | 0,0001 | 0,00001 | 0,000001 |
\(N_<\varepsilon>\) | 2 | 362 | 39602 | 3996002 | 4·10 8 | 4·10 10 |
Таким образом, для любого сколь угодно малого ε>0 найдется номер в последовательности \(N_<\varepsilon>=\left[\left(\frac<1><5\varepsilon>-1\right)^2\right]\), начиная с которого \(\left|\frac<\sqrt
Что и требовалось доказать.
Пример 2. Используя определения неограниченной последовательности, докажите, что:
a) \( \lim_
По условию: \(y_n=2^n\)
Записываем неравенство \(|y_n|\gt M\):
\begin
Таким образом, для любого сколь угодно большого \(M\gt 0\) мы можем указать такой номер \(N_M=\left[\log_2M\right]+1\), начиная с которого, для всех членов последовательности с номерами \(n\geq N_M,\ y_n=2^n\gt M\).
Что и требовалось доказать.
M | 10 | 100 | 1 000 | 10 000 | 100 000 | 1 000 000 |
NM | 100 | 10 000 | 1 000 000 | 10 8 | 10 10 | 10 12 |
Таким образом, для любого сколь угодно большого \(M\gt 0\) мы можем указать такой номер \(N_M=\left[M^2\right]\), начиная с которого, для всех членов последовательности с номерами \(n\geq N_M,\ y_n=\sqrt
Что и требовалось доказать.
Числовая последовательность
Определение 1. Числовой последовательностью называется функция, аргументом которой является множество всех натуральных чисел, или множество первых n натуральных чисел.
Обозначается числовая последовательность так:
где −i-ый член последовательности.
При словестном задании последовательности, описывается из каких элементов она состоит.
Последовательность нечетных чисел:
Последовательность простых чисел :
Последовательности (1) и (2) мы задали словестно.
Последовательность нечетных чисел аналитически задается формулой
Отметим, что последовательность простых чисел невозможно задать аналитически.
Пример задания рекуррентной последовательности:
В этой последовательности
Пример стационарной последовательности:
Возрастающие и убывающие последовательности
Определение 3. Последовательность, в которой каждый последующий член (кроме первого) больше предыдующего, называется возрастающей :
Определение 4. Последовательность, в которой каждый последующий член (кроме первого) меньше предыдующего, называется убывающей :
Пример 1. Выяснить, монотонна ли последовательность
Решение. Запишем n+1 член последовательности (подставим вместо n, n+1):
Найдем разность членов и :
. | (3) |
Так как n=1,2,3. то правая часть уравнения (3) положительна. Тогда:
Таким образом, каждый последующий член последовательности больше предыдующего. Следовательно последовательность является возрастающим (и монотонным).
Пример 2. Выяснить, при каких значениях a последовательность (bn) является возрастающей и при каких, убывающей:
Решение. Запишем n+1 член последовательности (вместо n подставим n+1):
Найдем разность членов и :
(4) |
Посмотрим на правую часть выражения (4). Если a 10, то . Тогда последовательность является убывающей. При a=10 . Последовательность имеет одинаковые члены:
т.е. имеем дело с последовательностью
Очевидно, что последовательность (5) не является монотонной. Она является стационарной последовательностью.
Ограниченные и неограниченные последовательности
Определение 5. Последовательность (yn) называется ограниченной сверху, если существует такое число k, что yn Определение 6. Последовательность (yn) называется ограниченной снизу, если существует такое число k, что yn>k при любом n.
Определение 7. Последовательность (yn) называется ограниченной, если она ограничена и сверху, и снизу.
Пример 3. Показать, что последовательность (an) является монотоннной и ограниченной:
Решение. Запишем n+1 член последовательности (вместо n подставим n+1):
Найдем разность членов и :
(6) |
Правая часть равенства (6) положительна при любых натуральных чисел n. Следовательно последовательно (an) возрастающая (и монотонная).
Далее, сделаем эквивалентное преобразование для проследовательности (5):
Из выражения (7) видно, что при любых n an≤1. Т.е. хотя последовательность возрастает, то остается меньше числа 1 (ограничена сверху). Запишем несколько членов данной последовательности, задав n=1,2,3.
Так как последовательность возрастающая, то все члены последовательности не меньше . Тогда последовательность ограничена также и снизу. Таким образом последовательность ограничена и всерху, и снизу, т.е. является ограниченной последовательностью.
Сходящиеся и расходящиеся последовательности
Рассмотрим две числовые последовательности:
На координатной прямой изобразим члены этих последовательностей:
Предел числовой последовательности
Точка, к которой приближаются члены последовательности при увеличении n, называется пределом последовательности. Для последовательности (10) пределом является число 0. Более строго предел последовательности определяется так:
Определение 8. Число k называют пределом последовательности (yn), если для любой заранее выбранной окресности точки k, можно выбрать такой номер n0, чтобы все члены последовательности, начиная с номера n0 содержались в указанной окрестности.
Если k является пределом последовательности (yn), то пишут ( стремится к k или сходится к k).
Обозначают это так:
Выраженние (11) читается так: предел проследовательности , при стремлении n к бесконечности равен k.
Изложим некоторые пояснения к определению 8.
Пусть выполнено (11). Возьмем окрестность точки k, т.е. интервал , где радиус этой окрестности ( >0). По определению, существует номер n0, начиная с которого вся последовательность содержится в указанной окресности, т.е.
. |
Если же взять другую окресность (пусть ), то найдется другой номер n1, начиная с которого, вся последовательность содержится в указанной окрестности, но этот номер будет больше n1 > n0.
Пример 4. Дана полследовательность (yn):
Доказать, что .
Решение. Найдем любую окрестность точки 0. Пусть ее радиус равен r. Тогда всегда можно выбирать n0 так, чтобы .
Пусть, например, r=0.001. Вычислим n‘ из уравнения
. |
В качестве n0 берем 501. Имеем:
. |
Запишем члены последовательности (12) начиная с номера 501:
. |
Далее, учитывая (13), имеем:
. |
Следовательно, все члены последовательности (12) начиная с номера 501 попадают в окресность . А по определению 8, это означает:
Пример 5. Дана полследовательность (yn):
Доказать, что .
Решение. Найдем любую окрестность точки 2. Пусть ее радиус равен r. Тогда всегда можно выбирать n0 так, чтобы
. |
. |
Неравенство в (17) всегда выполняется так как n0 натуральное число, а правая часть неравенства отрицательно (это означает, что для любого n0). Из неравенства (16) можно найти номер n0, начиная с которого члены последовательности попадают в окресность (2−r; 2+r). Например, пусть r=0.001, тогда . Тогда нужно брать n0=2000. И тогда все члены последовательности, начиная с номера 2000 попадают в окрестность (2−r; 2+r).
Запишем члены последовательности, начиная с номера 2000:
. |
Легко проверить, что . Тогда, учитывая, что данная последовательность возрастающая (см. пример 1), получим:
. |
Пример 6. Найти предел последовательности
Решение. Выполним некоторые преобразования выражения (18):
Тогда последовательность (18) можно переписать так:
(19) |
Как видно из (19), пройдя по членам последовательности слева направо, из числа 1 вычитается все меньшее и меньшее положительное число. Т.е. последовательность приближается к числу 1. Тогда 1 является пределом последовательности (19) и (18):
Свойства сходящихся последовательностей
Сходящиеся последовательности обладают рядом свойств.
Свойство 1. Если последовательность сходится, то только к одному пределу.
Свойство 2. Если последовательность сходится, то она ограничена.
Свойство 3. Если последовательность монотонна и ограничена, то она сходится (теорема Вейерштрасса).
Предел стационарной последовательности равен значению любого члена последовательности:.
Теорема. Если , то
1. Предел суммы равен сумме пределов:
2. Предел произведения равен произведению пределов:
3. Предел частного равен частному пределов:
4. Постоянный множитель можно вывести за знак предела:
Пример 7. Найти предел последовательности:
Решение. Так как , то
. |
Пример 8. Найти предел последовательности:
Решение. Применив правило «предел суммы» теоремы, получим
. |
Пример 9. Вычислить:
Решение. Делим числитель и знаменатель дроби на наивысшую из имеющихся степень переменного n. Далее используем правило «предел суммы» для числителя и знаменателя и правило «предел частного»: