52
Теорема. Всякая сходящаяся последовательность является ограниченной.
Доказательство. Пусть
Aa
n
→
. Зафиксируем число ε>0 . Тогда, начиная с
некоторого номера N , выполняется неравенство
Aa
n
−< ε ⇒ +≤ Aa
n
ε.
Далее, для оставшихся членов последовательности при Nn ,...,2,1= выпол-
нено неравенство
n
a < max (
N
aaa ,...,,
21
) = K. Следовательно, числовая по-
следовательность ограничена числом
С
= max(
A
+ε, K).
Замечание. Обратное утверждение не верно, а именно, не всякая ограничен-
ная последовательность имеет предел. В качестве примера можно взять ранее
рассмотренную последовательность 1, -1, 1, -1,… .
Определение. Последовательность
n
a
называется
возрастающей (убываю
-
щей),
если для всех
п
выполнено неравенство
nn
aa
≥
+
1
(
nn
aa
≤
+
1
).
Возрастающие и убывающие последовательности называются
монотонными.
Теорема (о пределе монотонной ограниченной последовательности). Вся-
кая возрастающая (убывающая) ограниченная сверху (снизу) числовая по-
следовательность имеет предел.
Доказательство. Рассмотрим случай возрастающей, ограниченной сверху
последовательности. Тогда числовое множество, состоящее из значений всех
членов последовательности, ограничено сверху. Следовательно, у него суще-
ствует точная верхняя грань, которую обозначим через
A
.Из определения
точной верхней грани следует, что все
Aa
n
≤
и для любого числа ε> 0 суще-
ствует номер N такой, что
n
a
>
A
−
ε
. Так как последовательность возраста-
ет, то
1
+
≥≥
nn
aaA
>
A
−
ε
при всех n>N . Таким образом, для ∀ε >0 ∃ N ,
что |
Aa
n
−
| < ε для ∀ n > N . Это означает, что число
A
является пределом
рассматриваемой последовательности.
Однако из всякой ограниченной последовательности можно выделить
сходящуюся подпоследовательность.
Теорема. Из всякой ограниченной последовательности можно выделить схо-
дящуюся подпоследовательность.
Доказательство. Из ограниченности следует, что
∈
n
a
[
BA,
] , где
CBCA
=−=
,
. Разделим отрезок
[]
BA,
пополам. Тогда в одном из отрезков
+
2
,
BA
A
или
+
B
BA
,
2
содержится бесконечное число членов последова-
тельности. Пусть это первый отрезок. Обозначим