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

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

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

Частичный предел последовательности — это предел одной из её подпоследовательностей. У сходящихся числовых последовательностей он всегда совпадает с обычным пределом.

Верхний предел последовательности — это наибольшая предельная точка этой последовательности.

Нижний предел последовательности — это наименьшая предельная точка этой последовательности.

[Править] Некоторые виды последовательностей

• Стационарная последовательность — это последовательность, все члены которой, начиная с некоторого, равны.

(x_n) стационарная

[Править] Ограниченные и неограниченные последовательности

В предположении о линейной упорядоченности множества X элементов последовательности можно ввести понятия ограниченных и неограниченных последовательностей.

• Ограниченная сверху последовательность — это последовательность элементов множества X, все члены которой не превышают некоторого элемента из этого множества. Этот элемент называется верхней гранью данной последовательности.

(x_n) ограниченная сверху

• Ограниченная снизу последовательность — это последовательность элементов множества X, для которой в этом множестве найдётся элемент, не превышающий всех её членов. Этот элемент называется нижней гранью данной последовательности.

(x_n) ограниченная снизу

• Ограниченная последовательность (ограниченная с обеих сторон последовательность) — это последовательность, ограниченная и сверху, и снизу.

(x_n) ограниченная

• Неограниченная последовательность — это последовательность, которая не является ограниченной.

(x_n) неограниченная

Бесконечно большие и бесконечно малые последовательности

• Бесконечно малая последовательность — это последовательность, предел которой равен нулю.

• Бесконечно большая последовательность — это последовательность, предел которой равен бесконечности.

[Править] Свойства бесконечно малых последовательностей

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

• Сумма двух бесконечно малых последовательностей сама также является бесконечно малой последовательностью.

• Разность двух бесконечно малых последовательностей сама также является бесконечно малой последовательностью.

• Алгебраическая сумма любого конечного числа бесконечно малых последовательностей сама также является бесконечно малой последовательностью.

• Произведение ограниченной последовательности на бесконечно малую последовательность есть бесконечно малая последовательность.

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

• Любая бесконечно малая последовательность ограничена.

• Если стационарная последовательность является бесконечно малой, то все её элементы, начиная с некоторого, равны нулю.

• Если вся бесконечно малая последовательность состоит из одинаковых элементов, то эти элементы — нули.

• Если (x_n) — бесконечно большая последовательность, не содержащая нулевых членов, то существует последовательность (1 / x_n), которая является бесконечно малой. Если же (x_n) всё же содержит нулевые элементы, то последовательность (1 / x_n) всё равно может быть определена, начиная с некоторого номера n, и всё равно будет бесконечно малой.

• Если (α_n) — бесконечно малая последовательность, не содержащая нулевых членов, то существует последовательность (1 / α_n), которая является бесконечно большой. Если же (α_n) всё же содержит нулевые элементы, то последовательность (1 / α_n) всё равно может быть определена, начиная с некоторого номера n, и всё равно будет бесконечно большой.