Структура сходящихся последовательностей

Последовательность, у которой существует предел, называется сходящейся. Последовательность не являющаяся сходящейся называется расходящейся. Определение: Последовательность {xn} называется сходящейся, если существует такое число а, что последовательность {xn-а} является бесконечно малой. При этом число а называется пределом последовательности {xn}. В соответствии с этим определением всякая бесконечно малая

последовательность является сходящейся и имеет своим пределом число ноль. Можно, также, дать еще одно определение сходящейся последовательности: Последовательность {xn} называется сходящейся, если существует такое число а, что для любого положительного числа e можно указать номер N такой, что при n³N все элементы xn этой последовательности удовлетворяют неравенству: |xn-a|<e. При этом число а называется пределом

последовательности. Некоторые свойства сходящихся последовательностей: ТЕОРЕМА: Сходящаяся последовательность имеет только один предел. Доказательство: Пусть a и b – пределы сходящейся последовательности {xn}. Тогда, используя специальное представление для элементов xn сходящейся последовательности {xn}, получим xn=а+an, xn=b+bn, где an и bn – элементы бесконечно малых последовательностей {an} и {bn}. Вычитая данные соотношения, найдем

an-bn=b-a. Так как все элементы бесконечно малой последовательности {an-bn} имеют одно и то же постоянное значение b-a, то (по теореме: Если все элементы бесконечно малой последовательности {an} равны одному и тому же числу с, то с=0) b-a=0, т.е. b=a. Теорема доказана. ТЕОРЕМА: Сходящаяся последовательность ограничена. Доказательство: Пусть {xn} - сходящаяся последовательность и а – ее предел. Представим ее в следующем виде: xn=а+an, где an- элемент

бесконечно малой последовательности. Так как бесконечно малая последовательность {an} ограничена (по теореме: Бесконечно малая последовательность ограничена.), то найдется такое число А, что для всех номеров n справедливо неравенство |an|£А. Поэтому | xn | £ |a| + A для всех номеров n, что и означает ограниченность последовательности {xn}. Теорема доказана. Ограниченная последовательность может и не быть сходящейся. Например,