В математикепоследовательность — это пронумерованный набор каких-либо объектов, среди которых допускаются повторения, причём порядок объектов имеет значение. Нумерация чаще всего происходит натуральными числами. Более общие случаи см. в разделе Вариации и обобщения.
В данной статье последовательность подразумевается бесконечной; случаи конечной последовательности оговариваются особо.
Последовательность может состоять даже из множеств — к примеру, можно составить последовательность, в которой на -ой позиции находится множество всех многочленов степени с целыми коэффициентами от одной переменной.
принято компактно записывать при помощи круглых скобок:
или .
Иногда используются фигурные скобки:
.
Конечные последовательности могут записываться в следующем виде:
.
Также последовательность может быть записана как
,
если функция была определена ранее, или же её обозначение может быть заменено на саму функцию. Например, при последовательность можно записать в виде .
Образ натурального числа , а именно элемент , называется -ым членом последовательности, а порядковый номер члена последовательности — его индексом.
Подмножество множества , которое образовано элементами последовательности, называется носителем последовательности: пока индекс пробегает множество натуральных чисел, точка, «изображающая» члены последовательности, «перемещается» по носителю.
Подпоследовательностью последовательности называется зависящая от последовательность , где — возрастающая последовательность натуральных чисел. Подпоследовательность можно получить из изначальной последовательности, выкинув из неё некоторые члены.
Жёлтая ромашковая головка, показывающая расположение в 21 (синяя) и 13 (аква) спиралей. Такие схемы, включающие последовательности чисел Фибоначчи, встречаются у самых разных растений
Аналитический, где формула определяет последовательность n-го члена, например:
Рекуррентный, Например, числа Фибоначчи, где любой член последовательности выражается через предшествующие:
Словесный; Например, для любой бесконечной десятичной дроби можно построить последовательность её десятичных приближений по недостатку или избытку, округляя в каждой итерации дробь в меньшую или большую сторону.
Блок-схема последовательности шагов (алгоритм Евклида) для вычисления наибольшего общего делителя (НОД) двух чисел a и b в точках с именами A и B. Алгоритм выполняется последовательным вычитанием в двух циклах: ЕСЛИ тест B ≥ A дает «да» или "истина" (точнее, число b в позиции B больше или равно числу a в позиции A) ТОГДА алгоритм определяет B ← B - A (что означает, что число b - a заменяет старое число b). Точно так же ЕСЛИ A> B, ТОГДА A ← A - B. Процесс завершается, когда (содержимое) B равно 0, что дает НОД в A. (Алгоритм, полученный из Scott 2009: 13; символы и стиль рисования из Tausworthe 1977).
Практически важные задачи, возникающие при изучении последовательностей:
Выяснение вопроса, конечна данная последовательность или бесконечна. Например, на 2020 год известно 51 простое число Мерсенна, но не доказано, что больше таких чисел нет.
Поиск закономерностей среди членов последовательности.
Поиск аналитической формулы, которая может служить хорошим приближением для -го члена последовательности. Например, для -го простого числа неплохое приближение даёт формула: (существуют и более точные).
Прогноз будущих состояний, в первую очередь выяснение вопроса, сходится ли данная последовательность к конечному или бесконечному пределу числовому или не числовому, в зависимости от типа множества
Существуют и так называемые многомерные последовательности, нумеруемые элементами декартова произведения. К таким относится, например, многомерное расширение последовательности Туэ-Морса. Также многочлен от нескольких переменных можно рассматривать как конечную -мерную последовательность, где на позиции находится коэффициент при произведении .