Пределы числовых последовательностей

 

Определение. Окрестность точки a (ε-окрестность)называется интервал Uε(a) = (a −ε, a + ε).

Определение. Пределом числовой последовательности (an) называется такое число a, удовлетворяющее условию:

limn→∞an = a⇔∀ε > 0 ∃N ∀n ≥ N |ana| < ε.

То есть для доказательства, что число a является пределом последовательность (an) необходимо указать функцию N(ε), возвращающую натуральное число N, для которого справедливо, что для ∀n ≥ N |ana| < ε при заданном ε.

Пример. Для последовательности, n-ный член которой an =n/(2n+1) N(ε) = .

 

Свойства пределов числовых последовательностей

Теорема 3.Пусть ∃limn→∞an = a⇒∃M1, M2∀nM1£an£M2.

Доказательство.∀ε > 0 ∃N(ε)∀n ≥ N

− ε<ana<ε или 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 |ana| < ε/2

∀ε > 0 ∃N2∀n ≥ N2 |anb| < ε/2.

Пусть M = max(N1, N2). Тогда |ana|+ |anb| <ε, |ana| + |anb| ≥ |ab|, |ab| <ε. Противоречие с тем, что ε произвольно.

 

Теоремы о сумме, произведении и частном пределов

Пусть: ∃limn→∞an = a, ∃limn→∞bn = b.Тогда:

∀ε> 0 ∃N1∀n ≥ N1 |ana| <ε

∀ε> 0 ∃N2∀n ≥ N2 |bnb| <ε

an = a + αn

bn = b + βn