ВУЗ:
Составители:
Рубрика:
Предположим теперь, что не выполнено условие 2.b). Это означает, что
найдутся числа ε
0
> 0 и n
0
∈ N такие, что неравенство x
n
≤ a−ε
0
выполнено
для всех n > n
0
. Повторяя приведенные выше рассуждения, получим, что
lim
n→∞
x
n
≤ a −ε
0
< a. Полученное противоречие доказывает справедливость
утверждения 2.b).
2) ⇒ 1). Последовательно воспользуемся условием 2.b) в соответствии
со следующим алгоритмом:
для ε = 1 и n = 1 возьмем n
1
> 1 такое, что x
n
1
< a − 1;
для ε =
1
2
и n = n
1
возьмем n
2
> n
1
такое, что x
n
2
< a −
1
2
;
для ε =
1
3
и n = n
2
возьмем n
3
> n
2
такое, что x
n
3
< a −
1
3
и так далее. В
итоге построим подпоследовательность {x
n
k
}
∞
k=1
, члены которой удовлетво-
ряют условию
x
n
k
> a −
1
k
для всех k ∈ N. (22)
Покажем, что lim
k→∞
x
n
k
= a. Возьмем произвольное число ε > 0. Для вы-
бранного ε > 0 зафиксируем n
0
∈ N из условия 2.a) такое, что
x
n
< a + ε для всех n > n
0
. (23)
Выберем теперь k
0
∈ N так, чтобы выполнялись условия
1
k
0
≤ ε и n
k
0
> n
0
(это возможно в силу того, что lim
k→∞
k = lim
k→∞
n
k
= +∞). Так как {n
k
}
∞
k=1
по
построению мотонно возрастающая последовательность, то получаем, что
n
k
> n
0
для всех k ≥ k
0
. Теперь из (22) и (23) для всех k ≥ k
0
получаем
оценки
a − ε ≤ a −
1
k
< x
n
k
< a + ε.
Следовательно, lim
k→∞
x
n
k
= a. Таким образом, lim
n→∞
x
n
≥ a. Предположим,
что lim
n→∞
x
n
= b > a. Тогда найдется подпоследовательность {x
n
k
}
∞
k=1
такая,
что lim
k→∞
x
n
k
= b. Это означает, что для ε
0
=
b−a
2
существует такой k
0
∈ N,
что b − ε
0
< x
n
k
< b + ε
0
для всех k ≥ k
0
. Следовательно,
a + b
2
= b − ε
0
< x
n
k
для всех k ≥ k
0
. (24)
Это означает, что среди членов последовательности {x
n
}
∞
n=1
имеется беско-
нечно много членов, больших
a+b
2
(в частности, как следует из (24), этому
условию удовлетворяют все члены последовательности с номерами n
k
0
, n
k
0
+1
,
n
k
0
+2
, ...). С другой стороны, согласно условию 2.a), для ε
0
=
b−a
2
найдется
такое n
0
∈ N, что x
n
< a+ε
0
=
a+b
2
для всех n > n
0
. Получили противоречие.
Следовательно, lim
n→∞
x
n
= a.
59
Предположим теперь, что не выполнено условие 2.b). Это означает, что
найдутся числа ε0 > 0 и n0 ∈ N такие, что неравенство xn ≤ a−ε0 выполнено
для всех n > n0 . Повторяя приведенные выше рассуждения, получим, что
lim xn ≤ a − ε0 < a. Полученное противоречие доказывает справедливость
n→∞
утверждения 2.b).
2) ⇒ 1). Последовательно воспользуемся условием 2.b) в соответствии
со следующим алгоритмом:
для ε = 1 и n = 1 возьмем n1 > 1 такое, что xn1 < a − 1;
для ε = 12 и n = n1 возьмем n2 > n1 такое, что xn2 < a − 12 ;
для ε = 13 и n = n2 возьмем n3 > n2 такое, что xn3 < a − 13 и так далее. В
итоге построим подпоследовательность {xnk }∞ k=1 , члены которой удовлетво-
ряют условию
1
xnk > a − для всех k ∈ N. (22)
k
Покажем, что lim xnk = a. Возьмем произвольное число ε > 0. Для вы-
k→∞
бранного ε > 0 зафиксируем n� ∈ N из условия 2.a) такое, что
xn < a + ε для всех n > n� . (23)
Выберем теперь k0 ∈ N так, чтобы выполнялись условия k10 ≤ ε и nk0 > n�
(это возможно в силу того, что lim k = lim nk = +∞). Так как {nk }∞k=1 по
k→∞ k→∞
построению мотонно возрастающая последовательность, то получаем, что
nk > n� для всех k ≥ k0 . Теперь из (22) и (23) для всех k ≥ k0 получаем
оценки
1
a − ε ≤ a − < xnk < a + ε.
k
Следовательно, lim xnk = a. Таким образом, lim xn ≥ a. Предположим,
k→∞ n→∞
что lim xn = b > a. Тогда найдется подпоследовательность {xnk }∞
k=1 такая,
n→∞
что lim xnk = b. Это означает, что для ε0 = b−a
2 существует такой k � ∈ N,
k→∞
что b − ε0 < xnk < b + ε0 для всех k ≥ k � . Следовательно,
a+b
= b − ε0 < xnk для всех k ≥ k � . (24)
2
Это означает, что среди членов последовательности {x n }∞ n=1 имеется беско-
нечно много членов, больших 2 (в частности, как следует из (24), этому
a+b
условию удовлетворяют все члены последовательности с номерами n k� , nk� +1 ,
nk� +2 , ...). С другой стороны, согласно условию 2.a), для ε0 = b−a
2 найдется
такое n ∈ N, что xn < a+ε0 = 2 для всех n > n . Получили противоречие.
� a+b �
Следовательно, lim xn = a.
n→∞
59
Страницы
- « первая
- ‹ предыдущая
- …
- 57
- 58
- 59
- 60
- 61
- …
- следующая ›
- последняя »
