ПОСЛЕДОВАТЕЛЬНОСТЬ

Значение ПОСЛЕДОВАТЕЛЬНОСТЬ в математической энциклопедии:

элементов заданного множества - функция, определенная на множестве натуральных чисел, множество значений к-рой содержится в рассматриваемом множестве.

Элементом, или членом, последовательности , где N - множество натуральных чисел, X - заданное множество, наз. упорядоченная пара

, к-рая обозначается через х _n. Натуральное число n наз. номером элемента последовательности х _п, а элемент - его значением. Последовательность обычно обозначается через {х _п} или х _п, п= 1, 2, ....

Множество элементов П. всегда счетно, причем два различных члена П. отличаются по крайней мере номерами. Множество значений элементов П. может быть и конечным; так, множество значений всякой стационарной П., т. е. последовательности {x_n}, все элементы к-рой имеют одно и то же значение: х _п=а, n=1, 2, . . ., состоит из одного элемента.

Если n₁<n₂, то член x_n1 последовательности {х _п} наз. предшествующим члену х _п2, а член х _п2 - следующим за членом x_n1. Таким образом, множество элементов П. упорядочено.

Того или иного рода П. встречаются в различных разделах математики и с их помощью описываются многие свойства изучаемых объектов. Напр., если X - топологич. пространство, то среди П. его точек важную роль играют сходящиеся П., т. е. П., к-рые имеют предел в этих пространствах. В терминах сходящихся П. удобно (во всяком случае, при наличии счетной базы) описывать свойство компактности, существование предела отображения, его непрерывность и т. п. Если все элементы П. нек-рых объектов (точек, множеств, отображений и т. д.) обладают каким-либо свойством, то часто бывает нужным выяснить, сохраняется ли это свойство для предела П.; напр., выяснить, как ведут себя свойства измеримости, непрерывности, дифференцируемости, интегрируемости при предельном переходе для различных видов сходимости функций (поточечной, почти всюду, равномерной, по мере, в среднем и т. п.).

Иногда отображение конечного множества натуральных чисел в множество Xназ. конечной П. и обозначается через { х ₁, х ₂, . .., х _п}, где x_n=f(k), k=1, 2, . . ., п. П. может задаваться формулой ее общего члена (напр., П. членов арифметич. прогрессии), рекуррентной формулой (напр., П. чисел Бернулли) или просто словесным описанием с той или иной степенью эффективности (напр., П. всех простых натуральных чисел в порядке их возрастания). См. также Двойная последовательность, Кратная последовательность. Обобщением понятия П. является направленность. Л. Д. Кудрявцев.