- •МНОЖЕСТВА И ФУНКЦИИ. ДЕЙСТВИТЕЛЬНЫЕ ЧИСЛА
- •1.2 ПОНЯТИЕ ФУНКЦИИ
- •1.4 ТОПОЛОГИЯ ЧИСЛОВОЙ ПРЯМОЙ. РАСШИРЕННАЯ ЧИСЛОВАЯ ПРЯМАЯ
- •ПРЕДЕЛ ПОСЛЕДОВАТЕЛЬНОСТИ
- •2.1 ПРЕДЕЛ ЧИСЛОВОЙ ПОСЛЕДОВАТЕЛЬНОСТИ
- •2.2 ЛЕММА О ВЛОЖЕННЫХ ОТРЕЗКАХ. ТЕОРЕМА ВЕЙЕРШТРАССА
- •2.3 МОНОТОННЫЕ ОГРАНИЧЕННЫЕ ПОСЛЕДОВАТЕЛЬНОСТИ
- •2.4 КРИТЕРИЙ КОШИ
- •ПРЕДЕЛ ФУНКЦИИ
- •3.1 ПРЕДЕЛ ФУНКЦИИ. СВОЙСТВА ПРЕДЕЛОВ ФУНКЦИИ. ПЕРВЫЙ ЗАМЕЧАТЕЛЬНЫЙ ПРЕДЕЛ
- •3.2 КРИТЕРИЙ КОШИ СУЩЕСТВОВАНИЯ ПРЕДЕЛА ФУНКЦИИ
- •3.3 МОДИФИКАЦИЯ ПОНЯТИЯ ПРЕДЕЛА ФУНКЦИИ В ТОЧКЕ
- •3.4 ВТОРОЙ ЗАМЕЧАТЕЛЬНЫЙ ПРЕДЕЛ
- •3.5 ПОРЯДОК ФУНКЦИИ. ЭКВИВАЛЕНТНОСТЬ (АСИМПТОТИКА)
- •НЕПРЕРЫВНЫЕ ФУНКЦИИ
- •4.2 ТОЧКИ РАЗРЫВА
- •4.3 СВОЙСТВА ФУНКЦИЙ, НЕПРЕРЫВНЫХ НА ОТРЕЗКЕ
- •4.4 РАВНОМЕРНАЯ НЕПРЕРЫВНОСТЬ. ПРОДОЛЖЕНИЕ ПО НЕПРЕРЫВНОСТИ
- •4.5 НЕПРЕРЫВНОСТЬ ОБРАТНОЙ ФУНКЦИИ
- •4.6 ПОКАЗАТЕЛЬНАЯ ФУНКЦИЯ. ЛОГАРИФМИЧЕСКАЯ, СТЕПЕННАЯ, ГИПЕРБОЛИЧЕСКИЕ ФУНКЦИИ
- •ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ
- •5.2 ДИФФЕРЕНЦИРУЕМЫЕ ФУНКЦИИ. ДИФФЕРЕНЦИАЛ ФУНКЦИИ
- •5.3 ТЕХНИКА ДИФФЕРЕНЦИРОВАНИЯ
- •5.5 ОСНОВНЫЕ ТЕОРЕМЫ
- •5.6 ПРАВИЛО ЛОПИТАЛЯ
- •5.7 ФОРМУЛА ТЕЙЛОРА
- •5.8 ФОРМУЛА ТЕЙЛОРА ДЛЯ НЕКОТОРЫХ ЭЛЕМЕНТАРНЫХ ФУНКЦИЙ
- •5.9 ЛОКАЛЬНАЯ ФОРМУЛА ТЕЙЛОРА
- •5.10 РЯД ТЕЙЛОРА
- •ПЕРВООБРАЗНАЯ И НЕОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
- •6.3 ОТЫСКАНИЕ ПЕРВООБРАЗНЫХ ДЛЯ РАЦИОНАЛЬНЫХ ФУНКЦИЙ
- •ОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
- •7.2 ВЕРХНИЕ И НИЖНИЕ ИНТЕГРАЛЬНЫЕ СУММЫ
- •7.3 НЕОБХОДИМОЕ И ДОСТАТОЧНОЕ УСЛОВИЕ ИНТЕГРИРУЕМОСТИ ФУНКЦИИ ПО РИМАНУ
- •7.4 НЕКОТОРЫЕ КЛАССЫ ИНТЕГРИРУЕМЫХ ФУНКЦИЙ
- •7.5 ОСНОВНЫЕ СВОЙСТВА ИНТЕГРАЛА РИМАНА
- •7.6 СВОЙСТВА ИНТЕГРАЛА РИМАНА, В КОТОРЫХ ФИГУРИРУЮТ НЕРАВЕНСТВА
- •7.7 ИНТЕГРАЛ КАК ФУНКЦИЯ ВЕРХНЕГО ПРЕДЕЛА
- •7.8 ФОРМУЛА НЬЮТОНА-ЛЕЙБНИЦА
- •7.9 ОБЩИЕ ПРИЕМЫ ИНТЕГРИРОВАНИЯ
- •7.10 НЕКОТОРЫЕ ПРИЛОЖЕНИЯ ИНТЕГРАЛА РИМАНА
- •НЕСОБСТВЕННЫЕ ИНТЕГРАЛЫ
- •8.2 НЕСОБСТВЕННЫЕ ИНТЕГРАЛЫ ОТ НЕОТРИЦАТЕЛЬНЫХ ФУНКЦИЙ
- •8.3 ИНТЕГРИРОВАНИЕ ПО ЧАСТЯМ
- •8.4 НЕСОБСТВЕННЫЙ ИНТЕГРАЛ И РЯД
§ 2.3 МОНОТОННЫЕ ОГРАНИЧЕННЫЕ ПОСЛЕДОВАТЕЛЬНОСТИ
Определение 1. Последовательность (xn) называется неубывающей (соответственно, невозрастающей), если
xn xn+1 (соответственно, xn xn+1). Последовательность (xn) называется монотонной, если она неубывающая или невозрастающая.
Теорема. Ограниченная монотонная последовательность сходится.
Доказательство. Пусть, например, (xn) не убывает и
ограничена. Тогда существует M = supfx1; x2; : : : g. Покажем, что xn ! M. Пусть U(M) = (a; b) – произвольная окрестность точки M, т. е. a < M < b. По определению точной верхней
грани найдется N такое, |
что a < XN < M, |
и тогда |
(в |
|
силу неубывания) xn 2 |
U(M); 8 n > N. Так |
как U(M) |
||
– любая окрестность точки M, то в качестве её мы можем |
||||
взять " - окрестность точки M. В результате мы получим: |
||||
8 " > 0; 9 N 2 N; 8 n > N : M " < xn < M + ", |
т. |
|
е. |
|
xn ! M. Теорема доказана. |
|
|
|
|
|
|
|
Определение 2. Предел числовой последовательности (xn), где xn = 1 + n1 n, называется числом e, т. е.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim 1 + |
1 |
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= e: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
Докажем, используя теорему об ограниченной и |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
монотонной |
последовательности, |
|
|
что |
lim |
1 + |
1 |
n |
|
|
существует. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
Прежде |
всего |
докажем, что |
|
|
|
|
|
|
|
|
|
= |
|
|
n |
1 |
|
|
n |
|
является |
|||||||||||||||||||||||||||||||||||||||||||||
|
|
xn |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
1 + n |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
n(n 1) 1 |
|
|||||||||||
возрастающей: xn |
|
|
= |
|
|
|
|
1 + n |
|
|
|
|
|
|
|
|
= |
|
1 + nn |
|
+ |
|
|
|
|
|
|
|
|
|
|
+ |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
|
n2 |
|
|||||||||||||||||||||||||||||||||||||||
|
n(n 1)(n 2) 1 |
|
|
|
|
|
|
|
n(n 1):::(n n+1) |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|||||||||||||||||||||||||||
+ |
|
|
|
|
|
|
|
|
|
+ : : : |
|
|
1 |
2:::n |
|
|
|
|
|
|
|
|
|
= |
|
|
1 + 1 + |
|
|
|
|
|
|
1 |
|
n |
+ |
|||||||||||||||||||||||||||||
|
1 |
2 3 |
|
|
n3 |
|
|
|
|
nn |
|
|
|
2! |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|||||||||||
+ |
1 |
1 |
|
1 |
|
|
|
|
1 |
|
2 |
+ : : : + |
1 |
1 |
|
1 |
|
|
|
( 1 |
|
2 |
) : : : 1 |
|
|
; xn+1 = |
||||||||||||||||||||||||||||||||||||||||
3! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
n |
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
n! |
n |
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
||||||||||||||||||||
= 1 + 1 + |
|
|
1 |
|
|
1 |
|
|
|
|
1 |
|
|
|
+ |
|
|
|
1 |
|
|
1 |
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
2 |
|
|
|
+ : : : |
||||||||||||||||||||||||||
2! |
|
|
n |
|
|
|
|
|
|
|
3! |
|
|
n+1 |
|
|
|
|
|
n+1 |
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
+1 |
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
: : : + |
|
|
1 |
|
|
|
|
|
1 |
|
|
: : : |
|
|
|
|
|
1 |
|
|
. Из данной записи |
|||||||||||||||||||||||||||||||||||||||||||||
(n+1)! |
n+1 |
|
|
|
n+1 |
|
|
|
|
|
n+1 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
видно, |
|
|
|
|
|
x |
n+1 |
> |
|
x |
n. |
|
Последовательность |
x |
n |
|
|
ограничена |
||||||||||||||||||||||||||||||||||||||||||||||||
что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
сверху: |
|
x |
n |
< 2 + |
|
1 |
|
+ |
1 |
|
+ : : : + |
|
|
1 |
|
|
|
< 2 + 1 |
+ |
|
1 |
+ : : : + |
|
1 |
|
|
|
< 3. |
||||||||||||||||||||||||||||||||||||||
|
2! |
|
3! |
|
n! |
2 |
|
n 1 |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
30
Так как xn = |
1 + n1 |
|
|
n |
является неубывающей и ограниченной |
|||||||||||||||||||
|
|
lim x |
существует. |
|
|
|
|
|
|
|
|
|
|
|||||||||||
сверху, то |
|
|
n |
|
cn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Пример. lim |
|
= 0; (c > 0). |
|
|
|
|
|
|
|
|
|
|
||||||||||||
n! |
|
cn |
|
|
|
|
|
|
|
|||||||||||||||
Доказательство. Обозначим xn |
= |
. |
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n! |
|
|
|
|
|
|
||
Пусть c < 1. Тогда cn ! 0, в то же время |
1 |
! 0: ) xn!0. |
||||||||||||||||||||||
n! |
||||||||||||||||||||||||
Если |
|
, то |
|
|
|
|
|
|
и так как n! ! c , то |
|
n ! . |
|
|
|||||||||||
|
c = 1 |
cn = 1 |
|
|
|
1 |
|
|
0 |
|
|
|
x |
|
0 |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Пусть c > 1. Тогда xn+1 = xn |
|
: ) Последовательность |
||||||||||||||||||||||
n+1 |
||||||||||||||||||||||||
xn будет |
убывающей |
как только |
n |
> c 1; |
очевидно |
|||||||||||||||||||
также, что xn |
ограничена снизу нулем. Отсюда, по теореме об |
|||||||||||||||||||||||
ограниченной и монотонной последовательности, следует, что |
||||||||||||||||||||||||
последовательность |
|
xn |
имеет предел: lim xn |
= a. Для того |
||||||||||||||||||||
чтобы найти a, перейдем к пределу слева и справа в равенстве |
||||||||||||||||||||||||
xn+1 = xn |
c |
. Получим a = a 0: ) a = 0. |
|
|
|
|
||||||||||||||||||
|
|
|
|
|||||||||||||||||||||
n+1 |
|
|
|
|
||||||||||||||||||||
|
|
|
§ 2.4 КРИТЕРИЙ КОШИ |
|
|
|||||||||||||||||||
Определение 1. |
|
|
|
Последовательность |
|
называется |
||||||||||||||||||
фундаментальной или последовательностью Коши, если |
||||||||||||||||||||||||
|
8 " > 0 9 N 2 N 8 n; m > N ( jxn xmj < ") |
( ) |
или, что эквивалентно,
8 " > 0 9 N 2 N 8 n > N 8 p 2 N ( jxn xn+pj < "): ( )
Замечание. Эквивалентность ( ) и ( ) почти очевидна. В условии ( ) не участвуют разности с одинаковыми номерами элементов и разности, отличающиеся
перестановкой элементов. Так |
как |
jxn xnj = 0; |
jxn xmj = jxm xnj, то условия ( ), ( ) будут эквивалентными. |
||
Теорема (критерий Коши). |
Чтобы |
последовательность |
(xn) сходилась, необходимо и достаточно, чтобы она была фундаментальной.
Доказательство. Необходимость. Пусть xn ! a. Тогда
фундаментальность (xn) следует из неравенства |
|
|
|||
|
jxn xmj jxn aj + jxm aj; 8 n; m > N: |
|
|||
Достаточность. |
Пусть |
(xn) – фундаментальна. |
|||
Тогда |
(xn) – |
ограничена. |
Действительно, |
если |
N |
такое, |
что jxn xmj < |
1 (n; m > |
N), |
то |
|
jxnj M = maxfjx1j; : : : ; jxN j; jxN+1j + 1g; n 2 N. |
В |
силу |
31
следствия к теореме Вейерштрасса существует сходящаяся
подпоследовательность (xnk ). Пусть xnk ! a. Покажем, что |
||
xn ! a. Для произвольного " > 0 существует N0 |
2 N такое, |
|
что jxnk aj < "=2 (nk > N0). Пусть теперь N00 |
2 N такое, |
|
что jxn xmj < "=2; (n; m > N00). Тогда для |
n > N = |
|
= maxfN0; N00g : jxn aj jxn xnk j+jxnk aj < ", если мы |
||
выберем какое-либо nk > N. |
|
|
|
|
|
Замечание. В отношении ( ) существенна произвольность |
p: если, например, 8 " > 0 9 N 2 N 8 n > N ( jxn xn+1j < "), |
|||||||||||||||||
то последовательность (xn) может и расходиться. |
|
|
|
|
|
||||||||||||
|
|
Пример: последовательность (xn), где xn |
= 1 + 1 + : : : + |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
n1 , – не сходится. Действительно, для неё не выполняются |
|||||||||||||||||
условия |
критерия |
Коши: пусть |
" = 1=2; N |
– |
произвольно, |
||||||||||||
n |
= |
|
N + 1; p |
= |
N + 1; |
тогда |
j |
xN |
|
|
x |
N |
+2j |
= |
|||
|
1 |
|
1 |
|
|
1 |
|
1 |
+1 |
2 |
|
|
|||||
= |
|
|
+ : : : + |
|
> |
(N + 1) |
|
|
= |
2. В то же время |
|||||||
N+2 |
2N+2 |
2(N+1) |
8 " > 0 9 N 2 N (jxn xn+1j = n+11 < ").
§ 2.5 ПРЕДЕЛЫ В РАСШИРЕННОЙ
ЧИСЛОВОЙ ПРЯМОЙ. ВЕРХНИЙ И НИЖНИЙ ПРЕДЕЛЫ ПОСЛЕДОВАТЕЛЬНОСТИ
Определение 1. |
Последовательность |
|
(xn) называется |
||||||||||||||
сходящейся к 1 в R |
S |
f1g, если 8 M > 0 9 N 2 N 8 n > |
|||||||||||||||
j |
nj |
|
, при |
|
|
|
|
n |
|
1 |
или x |
n ! 1 |
|||||
N ( x |
|
> M) |
|
|
этом пишут: lim x |
|
= |
|
|
|
|
. |
|||||
Замечание. lim xn = 1 означает, что всякая _ - окрестность |
|||||||||||||||||
точки 1 является ловушкой (xn). |
|
|
|
|
|
|
|
|
|
|
|||||||
Определение 2. |
Последовательность |
|
(xn) называется |
||||||||||||||
сходящейся к + |
в R |
, если |
|
M > 0 N 2 N 8 n > |
|||||||||||||
N (xn |
> M), при1 |
|
этомSпишут:f 1g lim xn8= +1 или9 xn |
! +1. |
|||||||||||||
Аналогично определяется lim xn = |
|
|
|
в R |
|
. |
|
|
|||||||||
Пример. Пусть xn |
= ( 1) |
n |
(n 2 |
|
S. Тогда |
|
n ! 1. |
||||||||||
|
|
|
|
|
|
|
n 3 |
|
1 |
|
|
|
f 1g |
x |
|
||
|
|
|
|
|
|
|
p |
|
|
|
|
|
N) |
|
|
Однако xn 6!+1; xn 6! 1.
32
ВЕРХНИЙ И НИЖНИЙ ПРЕДЕЛЫ ПОСЛЕДОВАТЕЛЬНОСТИ
Рассмотрим расширенную числовую прямую R Sf 1g. Определение. Точка a 2 R Sf 1g называется верхним
(соответственно, нижним) пределом (xn), если
1.Существует подпоследовательность (xnk ) такая, что xnk !a.
2.Если подпоследовательность xmk ! b ((xmk ) отлична от подпоследовательности (xnk )), то b a (соответственно, b a).
При этом используются обозначения: a = limxn (соответственно, a = limxn).
Замечание. Последовательность (xn) может иметь только один верхний (нижний) предел.
Доказательство. Пусть a1 и a2 два верхних предела (xn) и
пусть a1 < a2. В этом случае существует подпоследовательность (xnk ), сходящаяся к a2, что противоречит тому, что a1 – верхний предел (xn). Аналогично проводится доказательство для нижнего предела.
Теорема 1. Для произвольной последовательности (xn) справедливы следующие утверждения:
1.Верхний и нижний пределы всегда существуют.
2.limxn limxn.
3.limxn = limxn тогда и только тогда, когда существует lim xn, при этом lim xn = limxn = limxn.
|
|
Доказательство. Докажем свойство 1 в случае |
|||
ограниченной (xn). Выделим из (xn) |
подпоследовательность |
||||
(xnk ), сходящуюся к некоторому числу, действуя следующим |
|||||
образом. Пусть (xn) 0 = [c; d]. Далее, разделим 0 на |
|||||
две равные части и обозначим через 1 самую правую из |
|||||
них, |
содержащую в себе 1 число элементов xn. Пусть xn1 |
||||
– |
один из элементов отрезка 1. Обозначим, далее, через |
||||
2 |
самую правую половину отрезка 1, содержащую в себе |
||||
1 |
число элементов xn. Очевидно, что среди элементов xn, |
||||
принадлежащих 2, найдется элемент xn2 с n2 > n1. Вообще, |
|||||
если |
отрезки 1 2 |
k 1 |
и |
принадлежащие им |
|
элементы xn1; : : : ; xnk 1 |
уже определены, |
то обозначим через |
33
k |
самую правую половину отрезка k 1, содержащую в |
||
себе 1 число элементов xn. Очевидно, что среди последних |
|||
найдется элемент xnk |
с nk |
> nk 1. Обозначим через a |
|
точку, принадлежащую |
всем |
k (k = 1; 2; 3; : : : ). Для любой |
|
" - |
окрестности точки |
a существует n 2 N такое, что |
|
n |
(a "; a + "): ) k (a "; a + ") для всех k n. ) Все |
||
члены построенной последовательности (xnk ), начиная с номера |
|||
n, будут принадлежать (a "; a + "), что означает xnk ! a. |
Покажем, что a = limxn. Пусть a0 > a. Подберем n настолько большим, что a0 оказывается правее n. Но правее n может быть только конечное число элементов xn, и, следовательно, не существует подпоследовательности последовательности (xn),
которая сходилась бы к a0. Таким образом, a = limxn.
Если процесс доказательства видоизменить, обозначая через n (для любого n) не самую правую, а самую левую половину n 1, содержащую 1 число элементов xn, то получим число a, равное нижнему пределу xn.
Замечание. Для любого " > 0 интервал (a "; a + "),
где a = limxn (a = limxn), содержит в себе бесконечное число элементов xn, при этом справа (слева) от этого интервала имеется более чем конкретное число элементов xn.
Доказательство. Можно указать такое n, что n
(a "; a+"). Но в n имеется 1 число элементов xn – тем более это справедливо для (a "; a + "). Правее n имеется не более чем конечное число элементов xn – тем более это справедливо для (a "; a + ").
Упражнения.
Завершить доказательство свойства 1, доказав его для следующих случаев.
Для верхнего предела:
1.(xn) – не ограничена сверху.
2.(xn) – ограничена сверху, но не ограничена снизу. Для нижнего предела:
1.(xn) – не ограничена снизу.
2.(xn) – ограничена снизу, но не ограничена сверху.
34
Литература: [2], § 3.7, с. 79.
Свойство 2 является простым следствием определений верхнего и нижнего пределов числовой последовательности. Докажем свойство 3. Если существует lim xn, то все подпоследовательности (xn) сходятся к нему, и поэтому имеет
место limxn = limxn = lim xn. Обратно, пусть limxn = limxn = a.
Если a – конечное число, то из limxn = limxn = a следует, что для любого " > 0 неравенства a " < xn < a + " соблюдаются для всех индексов n, за исключением конечного их числа, а
это значит, что xn ! a. Если теперь a = +1, то неравенству |
|||
xn M может при любом конечном M удовлетворять конечное |
|||
число элементов xn, но |
тогда lim xn = + |
1 |
. Аналогично |
рассматривается случай |
. |
|
xТеорема 2. Справедливы следующие отношения:
1.limxn = lim( xn).
2.lim(xn + yn) limxn + limyn.
3.lim(xn + yn) limxn + limyn.a = 1
Доказательство. Справедливость равенства 1 следует непосредственно из определения верхнего и нижнего пределов. Докажем неравенства 2 и 3. Будем считать (xn) и (yn) ограниченными, так как в противном случае неравенства 2 и 3 выполняются очевидным образом (проверку этого факта предлагается провести самостоятельно).
Существует подпоследовательность (xnk |
+ ynk ) |
такая, |
что |
|||||||
lim(xn + yn) = lim(xnk + ynk ). |
(xn) |
|
– |
ограничена |
) (xnk ) |
|||||
– ограничена. По следствию к теореме Вейерштрасса, |
||||||||||
существует подпоследовательность (xnk0 ) (xnk ) |
такая, |
что |
||||||||
существует |
lim xnk0 . Подпоследовательность (xnk0 ) |
определяет |
||||||||
подпоследовательность (ynk0 ) (ynk ). Так как (yn) |
– ограничена, |
|||||||||
то (ynk0 ) – ограничена. По следствию к теореме Вейерштрасса, |
||||||||||
существует |
подпоследовательность |
(yn00) |
|
(yn0 ) такая, |
||||||
что существует lim ynk00. Но |
так |
как |
k |
|
k |
то |
||||
существует |
lim xnk0 , |
|||||||||
существует lim xnk00. Поэтому lim(xnk00 |
+ ynk00) = lim(xnk00) + lim(ynk00). |
|||||||||
(xnk00 + ynk00) (xnk + ynk ), |
и |
lim(xnk |
+ |
ynk ) |
|
существует. |
||||
Следовательно, lim(xnk |
+ ynk ) = |
lim(xnk00 + ynk00) |
= |
lim(xnk00) + |
35
+ lim(yn00) |
|
|
|
|
|
|
|
|
yn. Последнее |
доказывает |
||||||
|
|
|
limxn + |
lim |
||||||||||||
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
неравенство 2. Неравенство 3 является следствием |
||||||||||||||||
равенства |
1 |
и |
неравенства 2. |
Действительно, |
lim(xn |
+ |
||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||
+yn) = |
lim( xn yn) |
(lim( xn) + lim( yn)) |
= |
|||||||||||||
= limxn + limyn. |
x |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
||||||||
Пример. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xn = (2 + ( 1)n)n; n 2 N: n
limxn = +1; limxn = 0.
36