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