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

1. Предельные точки и предел последовательности

Для точки произвольной интервал содержащий точкуназывается еёокрестностью, обозначается Множествоназываетсяпроколотой окрестностью точки и обозначается Окрестность виданазывается -окрестностью точки и обозначается

Определение. Число называетсяпредельной точкой последовательности если для любогои любого натурального числанайдётся натуральное числотакое, что выполняется неравенство

Теорема. Число является предельной точкой последовательноститогда и только тогда, когда в любой её окрестности находится бесконечно много членов последовательности.

Доказательство. Пусть является предельной точкой последовательностии найдётся такая её окрестность, в которой находится лишь конечное число членов последовательности, а именно… ,Положимтогда в -окрестности нет ни одного члена последовательности, что противоречит тому, чтоявляется предельной точкой.

Пусть теперь в любой окрестности точки находится бесконечно много членов последовательности. Тогда для любого и любого натурального числанайдётся натуральное числотакое, что выполняется неравенствоиначе в окрестностинаходилось бы лишь конечное число членов последовательности, не превосходящееСледовательно, точкаявляется предельной точкой последовательностиТеорема доказана.

Пример. У последовательности две предельные точки итак как в любой окрестности точкинаходятся члены с нечётными номерами, в любой окрестности точки 1 - с нечётными.

Предельных точек может быть как угодно много. Так, например, множеством предельных точек последовательности является отрезок

Определение. Число называетсяпределом последовательности (обозначается) если для любогонайдётся натуральноё числотакое, что при всех натуральныхвыполняется неравенствоПоследовательностьпри этом называетсясходящейся.

Таким образом, если то вне окрестности точкинаходится лишь конечное число членов последовательности, не превосходящееПредел всегда является предельной точкой, предельная точка не обязана быть пределом.

Упражнение. Сформулировать утверждения:

а) не является предельной точкой последовательности

б) не является пределом последовательности

в) последовательность не имеет предела.

Пример. Докажем, что Возьмём произвольноеи найдём натуральноё числотакое, что при всех натуральныхвыполняется неравенствогдеобозначает целую часть числат.е. наибольшее целое число, не превосходящее

Теорема о единственности предела. Если последовательность имеет предел, то он единственный.

Доказательство. Предположим, что последовательность имеет по крайней мере два предела: иПоложимСогласно определению предела найдутся натуральные числаитакие, что при всехвыполняется неравенствоа при всехвыполняется неравенствоТогда привыполняются неравенства:

Следовательно, Полученное противоречие доказывает, что предположение о существовании двух пределов ложно. Теорема доказана.

Упражнение. Выяснить, верны ли утверждения:

а) если у последовательности есть предел, то у неё ровно одна предельная точка;

б) если у последовательности одна предельная точка, то у неё существует предел.