Единственность предела и ограниченность сходящейся числовой последовательности

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

Единственность предела и ограниченность сходящейся числовой последовательности

Определение 1. Числовая последовательность (1) называется ограниченной, если множество членов этой последовательности образует ограниченное множество.

В этом случае числовую последовательность (1) мы будем называть ограниченной величиной.

Определение 2. Числовая последовательность (1) сходится и имеет предел (Возможно использование записи ), если .

Давайте повторим это определение, используя в большей степени русский язык. Предел числовой последовательности существует и равен некоторому числу, если, начиная с некоторого номера, все члены последовательности удалены от этого предельного числа менее, чем любое, наперед заданное, сколь угодно малое положительное число. Можно это же самое сказать другими словами. Число будет пределом числовой последовательности (1) тогда и только тогда, когда для каждой -окрестности точки все члены последовательности, начиная с некоторого номера, лежат в этой –окрестности. Заметим, что интервал называется -окрестностью точки .

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

Доказательство. Доказательство теоремы проведем «методом от противного». Предположим, что теорема неверна и существует, как минимум, 2 числа и ( ), для которых выполнены условия определения 2. В этом определении возьмем . Тогда, после номера члены последовательности отличаются от числа меньше чем на , а после номера члены последовательности отличаются от числа меньше чем на . Покажем, что этого не может быть. В самом деле, при выполнены соотношения , , откуда для этих имеем . Теорема доказана.

Теорема 2. Если числовая последовательность имеет предел, то эта числовая последовательность ограничена.

Доказательство. Доказательство будет носить конструктивный характер. Возьмем и найдем соответствующее . Разобьем последовательность на 2 части: первые членов и остальные члены последовательности. Первая группа состоит из конечного числа членов и поэтому ограничена. Вторая группа состоит из чисел, удаленных от предельного значения не больше чем на 1, и поэтому также ограничена. Объединение двух ограниченных множеств есть множество ограниченное. Теорема доказана.