- •1)Свойства действительных чисел.
- •2)Свойства абсолютной величины действительного числа
- •4)Понятие сходящейся и расходящейся последовательности.
- •5)Теорема о предельном переходе в неравенстве.
- •6)Теорема о сжатой переменной (о трех последовательностях)
- •8)Теоремы о бесконечно малых.
- •10)Теорема Вейештрасса о последовательностях.
- •11)Определение числа е как предела последовательности.
- •12)Критерий сходимости последовательностей, основанный на поведении их подпоследовательностей. Лемма о вложенных промежутках.
- •13)Теорема Больцано-Вейерштрасса. Частичные пределы.
- •15)Критерий Коши сходимости последовательности. Примеры применения критерия.
- •16)Бесконечно большие последовательности. Их свойства. Примеры.
- •17)Понятие открытого, закрытого множеств, области на r, предельной точки множества. Примеры.
- •18)Теорема о равносильности 2-ч определений предела функции. Замечания.
15)Критерий Коши сходимости последовательности. Примеры применения критерия.
Теорема (критерий Коши): Для того чтобы последовательность имела конечный предел, необходимо и достаточно, чтобы она была фундаментальной.
Доказательство. 1) Необходимость. Пусть последовательность {хn} сходится и х — ее предел. Требуется доказать, что эта последовательность является фундаментальной. Возьмем любое положительное число ε. Из определения сходящейся последовательности вытекает, что для положительного числа ε/2 найдется номер N такой, что при n≥ N выполняется неравенство \хn — х\ < ε/2.
Если р — любое натуральное число, то при n≥N выполняется также и неравенство \хn+p— х\ < ε/2. Так как модуль суммы двух величин не больше суммы их модулей, то из последних двух неравенств получим, что при n≥N и для всех натуральных чисел р
Тем самым фундаментальность последовательности {хn} установлена.
2) Достаточность . Пусть {хn} — фундаментальная последовательность. Требуется доказать, что эта последовательность сходится. Согласно теореме достаточно для этого доказать ограниченность последовательности {хn} и равенство ее верхнего и нижнего пределов . Ограниченность фундаментальной последовательности уже установлена нами выше. Для доказательства равенства верхнего и нижнего пределов воспользуемся доказанным выше свойством фундаментальной последовательности: для любого положительного числа е можно указать элемент xN такой, что вне интервала (xN— ε, xN+ ε) находится не более чем конечное число элементов последовательности. Интервал (xN— ε, xN+ ε) содержит интервал (,), и поэтому –≤ε, откуда, в силу произвольности ε,= . Тем самым сходимость последовательности установлена. Теорема полностью доказана.
Пример. Применим критерий Коши для установления сходимости следующей последовательности {xn}: xn=a1+a2+a3+…+an где ak (к = 1,2,3,...) — произвольные вещественные числа, удовлетворяющие условию \аk\ ≤, a q — некоторое число из интервала 0 < q < 1. Пусть n— любой номер, р — любое натуральное число. Тогда, очевидно,
Учитывая, что последовательность {} является бесконечно малой, можно утверждать, что для любого ε > 0 найдется номер N такой, чтоСтало быть, при n≥N и для любого натурального рт. е. последовательность {xn} является фундаментальной и сходится согласно теореме.
Пример: Докажем, что последовательность не является фундаментальной.
Покажем, что расходящаяся : Рассмотрим последовательность Доказательство проведем методом от противного. Предположим, что наша последовательность фундаментальная, тогда по определению фундаментальной последовательности: поскольку n и m любые, то возьмём таких слагаемых будет N штук, из всех слагаемых — наименьшее. Можно сказать, что сумма будет больше, чем сумма N наименьших слагаемых, то есть: , а значит последовательность не является фундаментальной. Мы пришли к противоречию.
16)Бесконечно большие последовательности. Их свойства. Примеры.
Определение. Последовательность {хn} называется бесконечно большой, если для любого положительного числа A (сколь большим бы его не взяли) можно указать номер N такой, что при n≥N все элементы хn этой последовательности удовлетворяют неравенству \хn\ > А.
Замечание. Очевидно, что любая бесконечно большая последовательность является неограниченной, поскольку для лю- любого А > 0 можно указать номер N такой, что при n > N все элементы хn удовлетворяют неравенству \хn\ > А, а следовательно, для любого А > 0 найдется по крайней мере один такой элемент xn, что \хn\ > А.
Теорема (о связи б.м.п. и б.б.п.) Если {хn} — бесконечно большая последовательность, то, начиная с некоторого номера n, определена по- последовательность {1/xn}, которая является бесконечно малой. Если все элементы бесконечно малой последовательности {аn} не равны нулю, то последовательность {1/аn} бесконечно большая.
Доказательство. Пусть {xn} – б.б.п, т.е. для любых , существует Nε, для любых n≥Nε, │xn│≥ε. Это означает, что n≥Nε все элементы xn, поэтому последовательность {1/xn} имеет смысл начиная с некоторого номера Nε. Пусть А – любое положительное число, тогда для числа 1/А существует N1 такое что для любых n≥N1 │1/xn│<A, что по определению означает, что последовательность {1/xn} – бесконечно малая. Второе доказательство проводится аналогично.
Свойства бесконечно больших последовательностей:
1)Сумма бесконечно больших последовательностей одного знака есть бесконечно большая последовательность того же знака.
Пусть — бесконечно большие последовательности. По определению: и . Тогда для последовательности : , что означает, что последовательность — бесконечно большая.
2)Сумма бесконечно большой и ограниченной последовательностей есть бесконечно большая последовательность.
Пусть последовательность — бесконечно большая, — ограниченная. Тогда по определению и . Рассмотрим :
│=│xn│*(1+0)=│xn│≥ε Получили: , что означает, что последовательность — бесконечно большая.
3)Произведение бесконечно больших последовательностей есть бесконечно большая последовательность. (Доказывается аналогично предыдущему)
4)Произведение бесконечно большой последовательности на константу есть бесконечно большая последовательность. Пусть последовательность — бесконечно большая, — константа. Тогда по определению . Рассмотрим :
(по теореме о связи между бесконечно большими и бесконечно малыми последовательностями). — константа, — также константа, т.е. ограниченная. {}={}, что означает, что последовательность — бесконечно большая.
Примеры:
-
Последовательность является бесконечно большой, т.к. .
-
Последовательность является бесконечно большой, т.к. .
-
— бесконечно большая, т.к. , а — ограниченная, сохраняющая знак.