Последовательность

В математике последовательность — это пронумерованный набор каких-либо объектов, среди которых допускаются повторения и порядок имеет значение.
Нумерация чаще всего происходит натуральными числами.
Более общие случаи см. в разделе Вариации и обобщения. В данной статье последовательность подразумевается бесконечной; случаи конечной последовательности оговариваются особо.

Примеры

• Примером конечной последовательности может служить последовательность домов на улице.
• Последовательность простых чисел является одной из наиболее известных бесконечных числовых последовательностей.
• Каждому действительному числу может быть сопоставлена собственная последовательность, называемая цепной дробью — причём для рациональных чисел она всегда конечна, для алгебраических иррациональных чисел бесконечна и периодична, а для трансцендентных чисел бесконечна и не периодична, хоть отдельные числа и могут встречаться в ней бесконечное число раз. Например, цепная дробь для числа ${\frac {13}{9}}$ конечна равна $[1;2,4]$, а цепная дробь числа пи уже бесконечна и не периодична и выглядит следующим образом: $[3;7,15,1,292,1,1,1,2,1,3,1,14,2,1,1,2,2,2,2,1,84,2,1,1,15,\dots ]$.
• В геометрии часто рассматривается последовательность правильных многоугольников, форма которых зависит только от количества вершин.
• Последовательность может состоять даже из множеств - к примеру, можно составить последовательность, в которой на $n$-ой позиции находится множество всех многочленов степени $n$ с целыми коэффициентами от одной переменной.
• Следует отметить, что и сам многочлен от одной переменной можно рассматривать как конечную последовательность его коэффициентов.

Строгое определение

Пусть задано некоторое множество $X$ элементов произвольной природы.

Всякое отображение $f\colon \mathbb {N} \to X$ множества натуральных чисел $\mathbb {N}$ в заданное множество $X$ называется последовательностью (элементов множества $X$).

Обозначения

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

$x_{1},x_{2},x_{3},\dots$

принято компактно записывать при помощи круглых скобок:

$(x_{n})$ или $(x_{n})_{n=1}^{\infty }$.

Иногда используются фигурные скобки:

$\{x_{n}\}_{n=1}^{\infty }$.

Конечные последовательности могут записываться в следующем виде:

$(x_{n})_{n=1}^{N}$.

Также последовательность может быть записана как

$(f(n))$,

если функция $f$ была определена ранее, или же её обозначение может быть заменено на саму функцию. Например, при $f(n)=n^{3}$ последовательность можно записать в виде $(n^{3})$.

Связанные определения

• Образ натурального числа $n$, а именно элемент $x_{n}=f(n)$, называется $n$-ым членом последовательности, а порядковый номер $n$ члена последовательности $x_{n}$ — его индексом.
• Подмножество $f\left[\mathbb {N} \right]$ множества $X$, которое образовано элементами последовательности, называется носителем последовательности: пока индекс пробегает множество натуральных чисел, точка, «изображающая» члены последовательности, «перемещается» по носителю.
• Подпоследовательностью последовательности $(x_{n})$ называется зависящая от $k$ последовательность $(x_{n_{k}})$, где $(n_{k})$ — возрастающая последовательность натуральных чисел. Подпоследовательность можно получить из изначальной последовательности, выкинув из неё некоторые члены.

Замечания

• Любое отображение множества $\mathbb {N}$ в себя также является последовательностью.

• Последовательность элементов множества $X$ может быть рассмотрена, как упорядоченное подмножество $X$, изоморфное множеству натуральных чисел.

Последовательности в математике

В математике рассматривают различные типы последовательностей:

• числовые последовательности;
• последовательности элементов метрического пространства;
• временны́е ряды как числовой, так и не числовой природы;
• последовательности элементов функционального пространства;
• последовательности состояний систем управления и автоматов.

Практически важные задачи, возникающие при изучении последовательностей:

• Выяснение вопроса, конечна данная последовательность или бесконечна. Например, на 2020 год известно 51 простое число Мерсенна, но не доказано, что больше таких чисел нет.
• Поиск закономерностей среди членов последовательности.
• Поиск аналитической формулы, которая может служить хорошим приближением для $n$-го члена последовательности. Например, для $n$-го простого числа неплохое приближение даёт формула: $n\ln(n)$ (существуют и более точные).
• Прогноз будущих состояний, в первую очередь выяснение вопроса, сходится ли данная последовательность к конечному или бесконечному пределу $($числовому или не числовому, в зависимости от типа множества $X).$

Вариации и обобщения

• Члены последовательности не обязательно должны нумероваться натуральными числами - к примеру, последовательность Фибоначчи может быть продолжена на отрицательные целые числа.
• Существуют и так называемые многомерные последовательности, нумеруемые элементами декартова произведения $\mathbb {N} \times \mathbb {N} \times \dots \times \mathbb {N}$. К таким относится, например, многомерное расширение последовательности Туэ-Морса.

См. также

• Иерархия
• Направленность (математика)

Литература

• Последовательность // Энциклопедический словарь юного математика / Сост. А. П. Савин. — М.: Педагогика, 1985. — С. 242-245. — 352 с.