Пределы числовых последовательностей
Определение. Окрестность точки a (ε-окрестность)называется интервал Uε(a) = (a −ε, a + ε).
Определение. Пределом числовой последовательности (an) называется такое число a, удовлетворяющее условию:
limn→∞an = a⇔∀ε > 0 ∃N ∀n ≥ N |an − a| < ε.
То есть для доказательства, что число a является пределом последовательность (an) необходимо указать функцию N(ε), возвращающую натуральное число N, для которого справедливо, что для ∀n ≥ N |an − a| < ε при заданном ε.
Пример. Для последовательности, n-ный член которой an =n/(2n+1) N(ε) = .
Свойства пределов числовых последовательностей
Теорема 3.Пусть ∃limn→∞an = a⇒∃M1, M2∀nM1£an£M2.
Доказательство.∀ε > 0 ∃N(ε)∀n ≥ N
− ε<an–a<ε или a − ε<an<a + ε.
Пусть M1 = min(min(a1, ... , aN−1), a–ε); M2 = max(max(a1, ... ,aN−1), a + ε). Тогда∀nM1£an£M2.
Теорема 4.Если существует a, такое что limn→∞an= a, то такое a единственно.
Доказательство. Докажемотпротивного. Пусть
Тогда
∀ε > 0 ∃N1∀n ≥ N1 |an − a| < ε/2
∀ε > 0 ∃N2∀n ≥ N2 |an − b| < ε/2.
Пусть M = max(N1, N2). Тогда |an− a|+ |an− b| <ε, |an − a| + |an − b| ≥ |a − b|, |a − b| <ε. Противоречие с тем, что ε произвольно.
Теоремы о сумме, произведении и частном пределов
Пусть: ∃limn→∞an = a, ∃limn→∞bn = b.Тогда:
∀ε> 0 ∃N1∀n ≥ N1 |an − a| <ε
∀ε> 0 ∃N2∀n ≥ N2 |bn − b| <ε
an = a + αn
bn = b + βn