Предел последовательности

Предел последовательности. Основные определения и примеры.

Определение 22 (определение последовательности). Функция f:N® X, областью определения которой является множество натуральных чисел, называется последовательностью.

Если f:N® R, то последовательность называется числовой. Иначе, числовая последовательность – это функция натурального аргумента: x_n = f(n). Обозначают числовую последовательность {x_n}. Примеры числовых последовательностей:

Пример 16. 1) 1,2,..., n,...;

2) 1,-1,1,-1,...,(-1)n,...;

3) 1,1/2,1/3,...,1/n,....

Определение 23.

Последовательность называется ограниченной сверху (снизу), если $ M (m), такое, что для любого nО N x_nЈ M (xnі m).

Последовательность называется ограниченной, если она ограничена и сверху и снизу, то есть $ c > 0 такое, что |x_n| Ј c для любого nО N. Заметим, что в данном определении c=max{|m|,|M|}.

Пример 17.

1,2,...,n,... — ограничена снизу, но неограничена сверху;

{1/n} – ограничена, так как 0< x_nЈ 1;

{(-1)n} – ограничена

Определение 24. Последовательность x_n называется неограниченной, если

" c>0 $ N: |xN| > c

Неограниченная последовательность может быть односторонне ограниченной, то есть ограниченной или сверху, или снизу. Пример неограниченной сверху последовательности: x_n = n.

Понятие предела числовой последовательности хорошо иллюстрируется на следующем примере. Пусть задана последовательность x_n = 1/n. Изобразим ее члены точками на числовой оси (рис. 12).

Можно заметить, что члены последовательности с ростом номера n как угодно близко приближаются к 0. При этом величина x_n становится все меньше и меньше. Очевидно, что пределом данной последовательности будет 0.

Дадим строгое определение предела числовой последовательности.

Определение 25 (определение предела последовательности). Число A называется пределом последовательности x_n, если

" U(A) $ N: " n > N x_n О U(A).

Приведем другое определение предела, которое является эквивалентным первому.

Определение 26 (определение предела последовательности). Число A называется пределом x_n, если

" e > 0 $ N: " n > N |x_n-A |< e

Заметим, что здесь использованы логические символы: квантор всеобщности " (вместо слова "для любого") и квантор существования $ (вместо слова "найдется").

Предел числовой последовательности обозначается lim_n®Ґ x_n = A или x_n® A при n® Ґ. Последовательность, имеющая предел, называется сходящейся, в противном случае расходящейся.

Пример 18. Пусть x_n = 1/n, покажем, что

limn® Ґ1/n = 0.

Для этого запишем определение: " e>0 $ N: " n>N |x_n|<e. То есть 1/n<e при n>N=[1/e].