17 Пределы последовательностей
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Найти
Слегка преобразуем сумму, предел который мы ищем:
Нетрудно видеть, что у нас будут происходить сокращения: в каждой
скобке слагаемое с минусом сократиться с таким же слагаемым с плюсом,
которое встречается в следующей скобке. Не с чем сократиться будет только
самой первой единичке и самой последней дроби Таким образом,
имеем:
Таким образом, заключаем, что
Ошибка.
Попробуйте повторить позже
Найти предел
Поделим на наибольшую степень В данном случае делим на
Тогда
будет:
Наш числитель стремится, как видно, к 1, а знаменатель к 0. Поэтому вся дробь не имеет предела, поскольку она неограниченно возрастает.
Нет предела.
Ошибка.
Попробуйте повторить позже
Найти предел
Фактически, мы имеем дело с геометрической прогрессией с первым членом
и знаменателем
Её частичная сумма, то есть то, что стоит под знаком предела, равна
Тогда, поскольку то
а, значит,
Ошибка.
Попробуйте повторить позже
Приведите примеры таких последовательностей
таких, что
но при этом:
a) где
- некоторое заданное число;
b) ;
c) ;
d) Последовательность - ограничена, но однако
не существует.
a)
если
и таких последовательностей не существует,
если
b)
;
c)
;
d)
Тогда не имеет предела при
Ошибка.
Попробуйте повторить позже
Найти предел
Пользуясь известной формулой
получаем, что
(в конце мы разделили и числитель и знаменатель на )
Ошибка.
Попробуйте повторить позже
Вычислить предел
Разделим на максимальную степень, в которой входит в числитель и в
знаменатель. В данном случае делить будем на
Тогда имеем:
Далее, видим, что числитель является произведением бесконечно малой
на ограниченную
то есть бесконечно мал. А знаменатель,
нетрудно видеть, стремится к 1. Поэтому вся дробь по теореме о пределе
частного стремится к
Ошибка.
Попробуйте повторить позже
Напомним определение:
Опр. Последовательность называется фундаментальной, если
Задача: Доказать критерий Коши в прямую сторону, а именно, доказать, что если последовательность
сходится, то
фундаментальна.
Пусть последовательность сходится к
Запишем определение предела.
Фиксируем и берём соответствующее ему
Возьмём произвольные
Тогда:
Но, поскольку было любым сколь угодно маленьким числом, то и
тоже будет любым
сколь угодно маленьким.
Таким образом, мы доказали, что если последовательность сходится, то она фундаментальна.
Ошибка.
Попробуйте повторить позже
Пользуясь только критерием Коши, доказать, что последовательность расходится,
где
Напомним отрицание Критерия Коши: последовательность расходится в том и только в том случае,
когда:
Возьмём Далее, пусть нам дают любое
Тогда возьмём совершенно неважно какое
лишь бы только
Тогда, понятное дело, и
Но теперь, в силу оценки:
то в силу критерия Коши эта последовательность не имеет предела.
Ошибка.
Попробуйте повторить позже
Напомним формулировку теоремы Больцано-Вейерштрасса:
Теорема (Больцано, Вейерштрасс) Если последовательность - ограничена, то из неё можно
выделить сходящуюся подпоследовательность. То есть существует такая подпоследовательность
последовательности
которая сходится.
Задача: А верна ли теорема Больцано-Вейерштрасса в обратную сторону? То есть верно ли, что если
из последовательности можно выделить сходящуюся подпоследовательность, то она обязательно
ограничена?
Это, разумеется, неверно. Выделять сходящиеся подпоследовательности можно не только из
ограниченных. А теорема Больцано-Вейерштрасса говорит лишь о том, что из ограниченных точно
можно выделить.
Рассмотрим, например, такую последовательность
Ясно, что она неограниченна, потому что неограниченна при нечётных но из неё можно
выделить сходящуюся подпоследовательность
Ошибка.
Попробуйте повторить позже
Доказать, пользуясь критерием Коши, что последовательность
сходится.
Попробуем показать, пользуясь критерием Коши, что эта последовательность сходится. А именно, попробуем доказать, что она фундаментальна, то есть что
Действительно, оценим Пусть, для определенности,
(если
то
так что это неинтересный случай)
Итак, пусть Тогда
для любого
при достаточно большом
поскольку последовательность
стремится к 0.
Следовательно, последовательность - фундаментальна. Значит, по критерию Коши она
сходится.
Ошибка.
Попробуйте повторить позже
a) Доказать, что последовательность заданная следующей рекуррентной формулой,
сходится:
b) Вычислить предел последовательности из пункта a)
a) Попробуем доказать, что данная последовательность сходится при помощи теоремы Вейерштрасса.
Для этого достаточно показать, что:
1. - ограничена сверху;
2. - монотонно возрастает.
1. Докажем, что последовательность
Это можно доказать по индукции: база
индукции очевидно выполнена (
).
Далее, проведём шаг индукции. Пусть при всех верно, что
Тогда
Таким образом, нам с вами удалось показать, что Значит, мы проверили
ограниченность последовательности
2. Монотонность. Действительно,
Давайте проанализируем, какой знак будет иметь дробь
Во-первых, поскольку то знаменатель заведомо положительный. Первый
сомножитель в числителе тоже положительный, а вот второй сомножитель числителя, а именно
положителен в силу оценки, которые мы доказали в пункте 1. (
).
Следовательно, и вся дробь строго положительна. Но поскольку
то это означает, что
То есть последовательность
строго возрастает.
Итак, мы получили, что - ограничена сверху и
- монотонно возрастает. Следовательно, по
теореме Вейерштрасса мы можем заключить, что
b) Для того чтобы вычислить предел достаточно лишь в её рекуррентном задании
перейти к пределу при По пункту a) у
есть предел. Обозначим его
Но тогда
ясно, что
поскольку
- это та же самая
только начиная со второго номера, а не с
первого. Но тогда левая часть в равенстве
стремится к
а правая к
То
есть мы получили соотношение
Откуда, возводя в квадрат, получаем, что Это квадратное уравнение имеет два корня
Однако отрицательный корень нам не подходит в силу того, что потому что
- это предел
которая, очевидно, неотрицательна. Поэтому ответ получается такой:
Ошибка.
Попробуйте повторить позже
Показать, что последовательность имеет предел.
Попробуем доказать, что данная последовательность сходится при помощи теоремы Вейерштрасса.
Для этого достаточно показать, что:
1. - ограничена снизу;
2. - монотонно убывает.
Докажем вначале вспомогательное утверждение. А именно, докажем по теореме Вейерштрасса, что
существует где
1. Чтобы показать, что убывает, достаточно показать, что
выполнено, что
Покажем это
Следовательно, мы доказали, что убывает.
2. Очевидно, что последовательность
Значит, она ограничена снизу.
Тем самым, по теореме Вейерштрасса,
Но тогда обязан существовать и предел коль скоро
А значит - по теореме о пределе
произведения (второй сомножитель
очевидно, стремится к 1).
Комментарий: этот самый предел он же и предел
называется числом
(основание
натурального логарифма) и равен примерно
Ошибка.
Попробуйте повторить позже
Доказать, пользуясь лишь определением предела, что если - бесконечно большая последовательность,
то
- бесконечно малая, то есть
Что значит, что - бесконечно большая? Это означает, что для любого
найдётся такой номер
, что при всех
выполнено
.
Теперь, пусть нам дано произвольное . Найдём такое число
, что
.
Но тогда мы ведь знаем, что для любого найдётся такой номер
, что при всех
выполнено
. Значит, и для нашего
, которое удовлетворяет условию
тоже выполнено, что при
всех
.
Но тогда при всех будет выполнено
Следовательно, последовательность - бесконечно малая, а значит и
- тоже бесконечно
малая.
Ошибка.
Попробуйте повторить позже
Доказать, пользуясь лишь определением предела, что если , то существует
.
Пусть дано произвольное . Тогда нам достаточно показать, что найдётся такое
, что при всех
выполнено
.
Найдём такое , что
. Это неравенство равносильно тому, что
. Но
тогда и для всех
будет выполнено, что
, поскольку при
выполнно
.
Ошибка.
Попробуйте повторить позже
Доказать, пользуясь лишь определением предела, что
Для того, чтобы это показать, необходимо для всякого уметь строить такое
, что при всех
выполнено
Преобразуем слегка это последнее выражение, стоящее под модулем:
Следовательно, нам достаточно, чтобы .
Найдём такое , что
. Это эквивалентно тому, что
, то есть
,
.
Тогда ясно, что при всех и подавно
, поскольку при
выполнено
Ошибка.
Попробуйте повторить позже
Вычислить следующие пределы:
a) ;
b) ;
c) ;
d) ;
e) ;
f) ;
g) ;
h)
a) Разделим и числитель и знаменатель на самую старшую степень, то есть на :
Ясно, что числитель стремиться к нулю, поскольку последовательность есть константа,
делённая на бесконечно большую.
Далее, знаменатель есть . Ясно, что константа 1 стремится к 1,
и
- стремятся к
нулю, поскольку они есть константы, делённые на бесконечно большую. Следовательно, по теореме о
пределе суммы, знаменатель стремится к
.
Но тогда по теореме о пределе частного, вся дробь стремится к . Таким образом,
b) Здесь, конечно, тоже можно разделить на самую старшую степень, то есть на , но тогда, как
нетрудно сообразить, наш знаменатель будет стремиться к нулю, а это нехорошо - тогда теорема о
пределе частного будет неприменима. Давайте лучше здесь разделим и числитель и знаменатель на
:
Ясно, что тогда знаменатель стремиться к по теореме о пределе суммы. Ведь знаменатель
имеет вид
, а обе
и
стремятся к нулю как константы, делённые на бесконечно
большую.
А вот числитель, как нетрудно видеть, расходится к , поскольку он имеет вид
.
Два последних слагаемых по аналогичным причинам стремятся к нулю. А вот первые два
неограниченно возрастают с ростом . Значит весь числитель будет рано или поздно любой наперёд
заданной константы
. Следовательно, числитель расходится к
, а знаменатель стремится к
. Следовательно, вся дробь будет расходиться к
. Таким образом, предела исходного
выражения не существует.
с) Поделим всё на самую старшую степень, то есть на :
И нетрудно видеть, что в числителе стоит сумма трёх бесконечно малых (как отношение константы
к бесконечно большой), следовательно, по теореме о пределе суммы числитель стремится к 0. Также
видно, что в знаменателе стоит бесконечно малая . Следовательно, знаменатель стремится к 1.
Таким образом, по теореме о пределе частного, вся дробь стремится к отношению пределов числителя и
знаменателя, то есть к .
Таким образом,
d) Если взять модули нашей последовательности , то получится, что
- это
уже известно.
Но раз по модулю стремиться к нулю, то она и просто стремиться к нулю (стремление
последовательности к нулю и стремление её модуля к нулю эквивалентны). Следовательно,
e) Ясно, что первый сомножитель стремится к 4 (по теореме о пределе суммы, впедь
вычитаемое
очевидно стремится к нулю как отношение константы к бесконечно малой), а второй
сомножитель
стремится к 5, поскольку
- числитель стремится к 10, а
знаменатель к 2, значит вся дробь стремится к 5.
Таким образом, по теореме о пределе произведения
f) Если разделить и числитель и знаменатель на , то получим:
И видно, что числитель стремится к 120, а знаменатель - к 15. Следовательно, по теореме о пределе частного, имеем:
g) Ясно, что последовательность - ограничена (т.к. функция
- ограничена).
Но мы ведь домножаем эту последовательность на Покажем, что
- бесконечно
малая.
Действительно, поделим и числитель и знаменатель вновь на наибольшую степень, то есть на и
тогда получится, что
Видно, что здесь у нас числитель стремится к
т.к.
- это
просто домноженная на коэффициент
бесконечно малая
Знаменатель же, то есть стремится к
Значит, вся дробь стремится к
h) И вновь интуиция должна подсказать нам поделить и числитель и знаменатель на максимальную -
но теперь уже не степень а выражение с максимальным основанием степени, то есть поделить
числитель и знаменатель на
Что же из этого получится?
В числителе мы имеем сумму где первое слагаемое - бесконечно малая (по сути это
частный случай последовательностей типа
которые всегда стремятся к
), значит,
числитель здесь стремится к
Знаменатель, по аналогичным соображениям, это произведение
бесконечно малой
на
- всё равно бесконечно малая, плюс
Значит, знаменатель
стремится к
Значит, по вся дробь стремится к отношению пределов числителя и знаменателя, то
есть к
Итого, мы получили, что
a) ;
b) Нет предела;
с) ;
d) ;
e) ;
f) ;
g) ;
h)
Ошибка.
Попробуйте повторить позже
a) Обязательно ли любая неограниченная последовательность - бесконечно большая?;
b) Обязательно ли любая бесконечно большая последовательность - неограничена?;
c) Может ли последовательность быть бесконечно большой, но не расходиться при этом ни к , ни
к
?
a) Не обязательно. Возьмём, например, последовательность , заданную правилом:
То есть - это такая последовательность, что все её четные члены всегда равны единице, а по
нечётным членам она равна квадрату номера этого члена.
Тогда ясно, что - неограничена, поскольку по нечётным номерам она может быть сделана
сколь угодно большой. Однако такая последовательность не будет бесконечно большой,
поскольку для этого нужно было бы, чтобы начиная с некоторого номера все её члены были
больше любой наперёд заданной константы. Однако нам будут мешать члены с чётными
номерами - они всегда равны 1 и, значит, не будут больше любой наперёд заданной константы.
b) Да, это обязательно, потому что если последовательность бесконечно большая, но какое бы мы
ни взяли, то найдётся такое
, что для всех
выполнено
. Отсюда следует, что какое
бы
мы ни взяли, найдётся такое
, что
(на самом деле таких номеров
будет,
очевидно, бесконечно много). Следовательно, если последовательность бесконечно большая, то она
неограничена.
c) Да, это возможно. Рассмотрим, например, последовательность .
Эта последовательность при чётных равна этому
, а при нечётных
равна
. Она
бесконечно большая, но не расходится к плюс бесконечности, потому что неверно, что все её члены
начиная с какого-то момента больше любой наперёд заданной положительной константы -
поскольку члены с нечётными номерами у неё отрицательны. По аналогичным причинам, она не
расходится к минус бесконечности, поскольку члены с чётными номерами у неё положительны.
a) Не обязательно;
b) Обязательно;
c) Может.
Ошибка.
Попробуйте повторить позже
Доказать, что если существует такое число , что для всех
выполнено, что
и при этом существует предел
, то
.
(обратите внимание, что строгое неравенство при предельном переходе может обратиться в равенство).
Комментарий. Это утверждение бывает очень полезно для того, чтобы понять, каким предел
последовательности точно не может быть. А именно, если последовательность всё время меньше , то
её предел не может оказаться больше, чем
.
Будем доказывать от противного.
Пусть оказалось так, что . Пусть теперь
- расстояние от числа
до
.
Далее, поскольку , то для любого
, в частности, и для
найдётся такое
, что при всех
выполнено, что
. Но
- это расстояние от
до
. Следовательно, при
все члены
будут не
дальше, чем
от предела
, а, значит, они все будут больше, чем
, поскольку
находится на расстоянии
от
.
Получаем противоречие с тем, что для всех было выполнено
.
Ошибка.
Попробуйте повторить позже
Найти
Так как
То к показателю степени можно применить формулу суммы геометрической прогрессии:
Таким образом, получаем, что
Ясно, что степень стремится к единичке, поскольку степень есть 1 минус бесконечно малая .
Но тогда получаем, что наша последовательность стремится к . То есть
Ошибка.
Попробуйте повторить позже
Показать, что последовательность расходится к
.
Поскольку - это произведение всех чисел от 1 до
, то ясно, что
больше, чем произведение не всех чисел от 1 до
, а
только второй половинки этих чисел, то есть произведение чисел от
до
, если
- чётно, и произведение от
, если
- нечётно. Так что можно записать вот такую простенькую оценку:
Теперь давайте и в том и в другом случае поменяем в произведении все числа на самое маленькое, то есть либо на , в
случае чётного
, либо на
в случае нечётного
. Получим такую оценку:
Теперь применим к обеим частям корень ой степени (он, очевидно, сохраняет неравенство):
Но ясно, что итого мы в любом случае получаем, что всегда больше последовательности, которая расходится к
. Значит и сама последовательность
расходится к
.