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

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

Например, (M, A, R, Y) — это последовательность букв, в которой буква «M» идет первой, а буква «Y» — последней. Эта последовательность отличается от (A, R, M, Y). Кроме того, допустимой последовательностью является последовательность (1, 1, 2, 3, 5, 8), которая содержит число 1 в двух разных позициях. Последовательности могут быть конечными , как в этих примерах, или бесконечными , например, последовательность всех четных натуральных чисел (2, 4, 6, ...).

Позицией элемента в последовательности является его ранг или индекс ; это натуральное число, для которого элементом является изображение. Первый элемент имеет индекс 0 или 1, в зависимости от контекста или конкретного соглашения. В математическом анализе последовательность часто обозначают буквами в виде $a_{n}$ , $b_{n}$ и $c_{n}$ , где индекс n относится к n- му элементу последовательности; например, n- й элемент последовательности Фибоначчи $F$ обычно обозначается как $F_{n}$ .

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

Пустая последовательность ( ) включена в большинство понятий последовательности. Его можно исключить в зависимости от контекста.

Примеры и обозначения

Последовательность можно рассматривать как список элементов в определенном порядке. ^[1]^[2] Последовательности полезны в ряде математических дисциплин для изучения функций , пространств и других математических структур с использованием свойств сходимости последовательностей. В частности, последовательности являются основой для рядов , которые важны в дифференциальных уравнениях и анализе . Последовательности также представляют интерес сами по себе, и их можно изучать как закономерности или головоломки, например, при изучении простых чисел .

Существует несколько способов обозначения последовательности, некоторые из которых более полезны для определенных типов последовательностей. Один из способов указать последовательность — перечислить все ее элементы. Например, первые четыре нечетных числа образуют последовательность (1, 3, 5, 7). Это обозначение также используется для бесконечных последовательностей. Например, бесконечная последовательность положительных нечетных целых чисел записывается как (1, 3, 5, 7, ...). Поскольку обозначение последовательностей с помощью многоточия приводит к неоднозначности, листинг наиболее полезен для обычных бесконечных последовательностей, которые можно легко распознать по первым нескольким элементам. Другие способы обозначения последовательности обсуждаются после примеров.

Примеры

Простые числа – это натуральные числа больше 1, у которых нет делителей , кроме 1 и самих себя. Расположив их в естественном порядке, получим последовательность (2, 3, 5, 7, 11, 13, 17, ...). Простые числа широко используются в математике , особенно в теории чисел , где существует множество результатов, связанных с ними.

Числа Фибоначчи представляют собой целочисленную последовательность, элементы которой представляют собой сумму двух предыдущих элементов. Первые два элемента — это либо 0 и 1, либо 1 и 1, так что последовательность равна (0, 1, 1, 2, 3, 5, 8, 13, 21, 34, ...). ^[1]

Другие примеры последовательностей включают в себя последовательности, состоящие из рациональных чисел , действительных чисел и комплексных чисел . Последовательность (.9, .99, .999, .9999, ...), например, приближается к числу 1. Фактически, каждое действительное число можно записать как предел последовательности рациональных чисел (например, через его десятичное разложение , также смотрите полноту действительных чисел ). Другой пример: $π$ — это предел последовательности (3, 3,1, 3,14, 3,141, 3,1415, ...), которая возрастает. Связанная последовательность — это последовательность десятичных цифр числа $π$ , то есть (3, 1, 4, 1, 5, 9, ...). В отличие от предыдущей последовательности, эта последовательность не имеет какой-либо закономерности, которую можно было бы легко различить при внимательном рассмотрении.

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

Электронная энциклопедия целочисленных последовательностей содержит большой список примеров целочисленных последовательностей. ^[3]

Индексирование

Другие обозначения могут быть полезны для последовательностей, образец которых невозможно легко угадать, или для последовательностей, которые не имеют шаблона, такого как цифры $π$ . Одним из таких обозначений является запись общей формулы для вычисления n- го члена как функции n , заключение ее в круглые скобки и включение нижнего индекса, указывающего набор значений, которые n может принимать. Например, в этой записи последовательность четных чисел можно записать как ${\textstyle (2n)_{n\in \mathbb {N} }}$ . Последовательность квадратов можно записать как ${\textstyle (n^{2})_{n\in \mathbb {N} }}$ . Переменная n называется индексом , а набор значений, которые она может принимать, называется набором индексов .

Часто бывает полезно объединить эти обозначения с техникой обработки элементов последовательности как отдельных переменных. Это дает такие выражения, как ${\textstyle (a_{n})_{n\in \mathbb {N} }}$ , который обозначает последовательность, n -й элемент которой задается переменной $a_{n}$ . Например:

{\begin{aligned}a_{1}&=1{\text{st element of }}(a_{n})_{n\in \mathbb {N} }\\a_{2}&=2{\text{nd element }}\\a_{3}&=3{\text{rd element }}\\&\;\;\vdots \\a_{n-1}&=(n-1){\text{th element}}\\a_{n}&=n{\text{th element}}\\a_{n+1}&=(n+1){\text{th element}}\\&\;\;\vdots \end{aligned}}

Можно рассматривать несколько последовательностей одновременно, используя разные переменные; например ${\textstyle (b_{n})_{n\in \mathbb {N} }}$ может быть другая последовательность, чем ${\textstyle (a_{n})_{n\in \mathbb {N} }}$ . Можно даже рассмотреть последовательность последовательностей: ${\textstyle ((a_{m,n})_{n\in \mathbb {N} })_{m\in \mathbb {N} }}$ обозначает последовательность, m-м членом которой является последовательность ${\textstyle (a_{m,n})_{n\in \mathbb {N} }}$ .

Альтернативой написанию домена последовательности в нижнем индексе является указание диапазона значений, которые может принимать индекс, путем перечисления его максимального и минимального допустимых значений. Например, обозначение ${\textstyle (k^{2}){\vphantom {)}}_{k=1}^{10}}$ обозначает десятичленную последовательность квадратов $(1,4,9,\ldots ,100)$ . Пределы $\infty$ и $-\infty$ разрешены, но они не представляют действительных значений индекса, а только верхнюю или нижнюю границу таких значений соответственно. Например, последовательность ${\textstyle {(a_{n})}_{n=1}^{\infty }}$ то же самое, что и последовательность ${\textstyle (a_{n})_{n\in \mathbb {N} }}$ , и не содержит дополнительного термина «на бесконечности». Последовательность ${\textstyle {(a_{n})}_{n=-\infty }^{\infty }}$ является бибесконечной последовательностью и также может быть записана как ${\textstyle (\ldots ,a_{-1},a_{0},a_{1},a_{2},\ldots )}$ .

В тех случаях, когда набор индексных чисел понятен, нижние и верхние индексы часто опускаются. То есть просто пишут ${\textstyle (a_{k})}$ для произвольной последовательности. Часто под индексом k понимают от 1 до ∞. Однако последовательности часто индексируются, начиная с нуля, как в

{(a_{k})}_{k=0}^{\infty }=(a_{0},a_{1},a_{2},\ldots ).

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

$(1,9,25,\ldots )$
$(a_{1},a_{3},a_{5},\ldots ),\qquad a_{k}=k^{2}$
${(a_{2k-1})}_{k=1}^{\infty },\qquad a_{k}=k^{2}$
${(a_{k})}_{k=1}^{\infty },\qquad a_{k}=(2k-1)^{2}$
${\bigl (}(2k-1)^{2}{\bigr )}_{k=1}^{\infty }$

Более того, нижние и верхние индексы можно было бы опустить в третьей, четвертой и пятой нотации, если бы под индексным набором понимались натуральные числа . Во втором и третьем пунктах существует четко определённая последовательность. ${\textstyle {(a_{k})}_{k=1}^{\infty }}$ , но это не то же самое, что последовательность, обозначенная выражением.

Определение последовательности с помощью рекурсии

Последовательности, элементы которых напрямую связаны с предыдущими элементами, часто определяются с помощью рекурсии . Это контрастирует с определением последовательностей элементов как функций их позиций.

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

Последовательность Фибоначчи — это простой классический пример, определяемый рекуррентным соотношением

a_{n}=a_{n-1}+a_{n-2},

с первоначальными условиями $a_{0}=0$ и $a_{1}=1$ . Отсюда простое вычисление показывает, что первые десять членов этой последовательности — это 0, 1, 1, 2, 3, 5, 8, 13, 21 и 34.

Сложным примером последовательности, определяемой рекуррентным отношением, является последовательность Рекамана , ^[4] определяется рекуррентным соотношением

{\begin{cases}a_{n}=a_{n-1}-n,\quad {\text{if the result is positive and not already in the previous terms,}}\\a_{n}=a_{n-1}+n,\quad {\text{otherwise}},\end{cases}}

с первоначальным сроком $a_{0}=0.$

Линейная рекуррентность с постоянными коэффициентами — это рекуррентное соотношение вида

a_{n}=c_{0}+c_{1}a_{n-1}+\dots +c_{k}a_{n-k},

где $c_{0},\dots ,c_{k}$ являются константами . Существует общий метод выражения общего термина $a_{n}$ такой последовательности как функция от $n$ ; см. Линейная повторяемость . В случае последовательности Фибоначчи имеем $c_{0}=0,c_{1}=c_{2}=1,$ и результирующая функция $n$ определяется формулой Бине .

— Голономная последовательность это последовательность, определяемая рекуррентным соотношением вида

a_{n}=c_{1}a_{n-1}+\dots +c_{k}a_{n-k},

где $c_{1},\dots ,c_{k}$ являются полиномами от $n$ . Для большинства голономных последовательностей не существует явной формулы выражения. $a_{n}$ как функция $n$ . Тем не менее, голономные последовательности играют важную роль в различных областях математики. Например, многие специальные функции имеют ряд Тейлора , последовательность коэффициентов которого голономна. Использование рекуррентного соотношения позволяет быстро вычислять значения таких специальных функций.

Не все последовательности могут быть заданы рекуррентным отношением. Примером может служить последовательность простых чисел в их естественном порядке (2, 3, 5, 7, 11, 13, 17,...).

Формальное определение и основные свойства

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

Определение

В этой статье последовательность формально определяется как функция которой , областью определения является интервал целых чисел . Это определение охватывает несколько различных вариантов использования слова «последовательность», включая односторонние бесконечные последовательности, двубесконечные последовательности и конечные последовательности (определения этих типов последовательностей см. ниже). Однако многие авторы используют более узкое определение, требуя, чтобы область определения последовательности была набором натуральных чисел . Это более узкое определение имеет тот недостаток, что оно исключает конечные последовательности и бибесконечные последовательности, которые в стандартной математической практике обычно называются последовательностями. Еще одним недостатком является то, что если удалить первые члены последовательности, необходимо переиндексировать оставшиеся члены, чтобы они соответствовали этому определению. В некоторых контекстах, чтобы сократить изложение, кодомен последовательности фиксируется контекстом, например, требуя, чтобы это был набор R действительных чисел, ^[5] множество C комплексных чисел, ^[6] или топологическое пространство . ^[7]

Хотя последовательности являются типом функции, их обычно отличают от функций тем, что входные данные записываются в виде нижнего индекса, а не в круглых скобках, то есть $n,$ а не $a (n)$ . Существуют также терминологические различия: значение последовательности на самом низком входе (часто 1) называется «первым элементом» последовательности, значение на втором наименьшем входе (часто 2) называется «вторым элементом», и т. д. Кроме того, хотя функция, абстрагированная от ее входных данных, обычно обозначается одной буквой, например, f , последовательность, абстрагированная от ее входных данных, обычно записывается с помощью таких обозначений, как ${\textstyle (a_{n})_{n\in A}}$ или просто так ${\textstyle (a_{n}).}$ Здесь $A$ — это домен или набор индексов последовательности.

Последовательности и их пределы (см. ниже) — важные понятия для изучения топологических пространств. Важным обобщением последовательностей является понятие сетей . Сеть — это функция из (возможно, несчетного ) направленного множества в топологическое пространство. Соглашения об обозначениях последовательностей обычно применяются и к сетям.

Конечный и бесконечный

Длина . последовательности определяется как количество членов в последовательности

Последовательность конечной длины n также называется n -кортежом . Конечные последовательности включают пустую последовательность ( ), не имеющую элементов.

Обычно термин « бесконечная последовательность» относится к последовательности, которая бесконечна в одном направлении и конечна в другом — последовательность имеет первый элемент, но не имеет конечного элемента. Такая последовательность называется одинарной бесконечной последовательностью или односторонней бесконечной последовательностью, когда необходимо устранение неоднозначности. Напротив, последовательность, которая бесконечна в обоих направлениях, т. е. не имеет ни первого, ни последнего элемента, называется бибесконечной последовательностью , двусторонней бесконечной последовательностью или дважды бесконечной последовательностью . Функция из множества Z всех в набор , целых чисел такая как, например, последовательность всех четных целых чисел (..., -4, -2, 0, 2, 4, 6, 8, ...), равна би-бесконечный. Эту последовательность можно обозначить ${\textstyle {(2n)}_{n=-\infty }^{\infty }}$ .

Увеличение и уменьшение

Последовательность называется монотонно возрастающей , если каждый ее член больше или равен предыдущему. Например, последовательность ${\textstyle {(a_{n})}_{n=1}^{\infty }}$ монотонно возрастает тогда и только тогда, когда ${\textstyle a_{n+1}\geq a_{n}}$ для всех $n\in \mathbf {N} .$ Если каждый последующий член строго больше (>) предыдущего члена, то последовательность называется строго монотонно возрастающей . Последовательность является монотонно убывающей, если каждый ее следующий член меньше или равен предыдущему, и строго монотонно убывающей, если каждый ее член строго меньше предыдущего. Если последовательность либо возрастает, либо убывает, ее называют монотонной . Это частный случай более общего понятия монотонной функции .

Термины «неубывающий» и «невозрастающий» часто используются вместо «увеличения» и «убывания» , чтобы избежать возможной путаницы со строго возрастающим и строго убывающим соответственно.

Ограниченный

Если последовательность действительных чисел ( an _{) такова ,} что все члены меньше некоторого действительного числа M , то последовательность называется ограниченной сверху . что существует M такое, что для n всех a _n ⩽ M. Другими словами, это означает , Любое такое M называется верхней границей . Аналогично, если для некоторого действительного m n a _m ≥ , для всех n, больших некоторого N то последовательность ограничена снизу , и любое такое m называется нижней границей . Если последовательность ограничена одновременно сверху и снизу, то последовательность называется ограниченной .

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

Подпоследовательность . данной последовательности — это последовательность, образованная из данной последовательности путем удаления некоторых элементов без нарушения относительного положения остальных элементов Например, последовательность положительных четных чисел (2, 4, 6, ...) является подпоследовательностью натуральных чисел (1, 2, 3, ...). Позиции некоторых элементов изменяются при удалении других элементов. Однако относительные позиции сохраняются.

Формально это подпоследовательность последовательности $(a_{n})_{n\in \mathbb {N} }$ любая последовательность вида ${\textstyle (a_{n_{k}})_{k\in \mathbb {N} }}$ , где $(n_{k})_{k\in \mathbb {N} }$ — строго возрастающая последовательность натуральных чисел.

Другие типы последовательностей

Некоторые другие типы последовательностей, которые легко определить, включают:

Целочисленная последовательность — это последовательность, члены которой являются целыми числами.
Полиномиальная последовательность — это последовательность, члены которой являются полиномами.
Последовательность положительных целых чисел иногда называют , если a _nm = a _n am _{мультипликативной} для всех пар n , m таких, что n и m взаимно просты . ^[8] В других случаях последовательности часто называют мультипликативными , если a _n = na ₁ для всех n . Более того, мультипликативная последовательность Фибоначчи ^[9] удовлетворяет рекурсивному соотношению a _n = a _{n −1} a _{n −2} .
Бинарная последовательность — это последовательность, члены которой имеют одно из двух дискретных значений, например значения по основанию 2 (0,1,1,0, ...), серия подбрасываний монеты (орёл/решка) H,T,H,H ,T, ..., ответы на набор вопросов «Верно» или «Неверно» (T, F, T, T, ...) и так далее.

Пределы и конвергенция

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

Неформально, последовательность имеет предел, если элементы последовательности становятся все ближе и ближе к некоторому значению. $L$ (называемый пределом последовательности), и они становятся и остаются сколь угодно близкими к $L$ , то есть, учитывая действительное число $d$ больше нуля, все элементы последовательности, кроме конечного числа, находятся на расстоянии от $L$ меньше, чем $d$ .

Например, последовательность ${\textstyle a_{n}={\frac {n+1}{2n^{2}}}}$ показанная справа, сходится к значению 0. С другой стороны, последовательности ${\textstyle b_{n}=n^{3}}$ (который начинается с 1, 8, 27, ...) и $c_{n}=(-1)^{n}$ (который начинается с -1, 1, -1, 1, ...) оба расходятся.

Если последовательность сходится, то значение, к которому она сходится, уникально. Это значение называется пределом последовательности. Предел сходящейся последовательности $(a_{n})$ обычно обозначается ${\textstyle \lim _{n\to \infty }a_{n}}$ . Если $(a_{n})$ является расходящейся последовательностью, то выражение ${\textstyle \lim _{n\to \infty }a_{n}}$ бессмысленно.

Формальное определение конвергенции

Последовательность действительных чисел $(a_{n})$ сходится к действительному числу $L$ если для всех $\varepsilon >0$ , существует натуральное число $N$ такой, что для всех $n\geq N$ у нас есть ^[5]

|a_{n}-L|<\varepsilon .

Если $(a_{n})$ представляет собой последовательность комплексных чисел, а не последовательность действительных чисел, эту последнюю формулу все еще можно использовать для определения сходимости при условии, что $|\cdot |$ обозначает комплексный модуль, т.е. $|z|={\sqrt {z^{*}z}}$ . Если $(a_{n})$ — последовательность точек метрического пространства , то формулу можно использовать для определения сходимости, если выражение $|a_{n}-L|$ заменяется выражением $\operatorname {dist} (a_{n},L)$ , что обозначает расстояние между $a_{n}$ и $L$ .

Приложения и важные результаты

Если $(a_{n})$ и $(b_{n})$ являются сходящимися последовательностями, то существуют следующие пределы, которые можно вычислить следующим образом: ^[5]^[10]

$\lim _{n\to \infty }(a_{n}\pm b_{n})=\lim _{n\to \infty }a_{n}\pm \lim _{n\to \infty }b_{n}$
$\lim _{n\to \infty }ca_{n}=c\lim _{n\to \infty }a_{n}$ для всех действительных чисел $c$
$\lim _{n\to \infty }(a_{n}b_{n})={\bigl (}\lim _{n\to \infty }a_{n}{\bigr )}{\bigl (}\lim _{n\to \infty }b_{n}{\bigr )}$
$\lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}={\bigl (}\lim \limits _{n\to \infty }a_{n}{\bigr )}{\big /}{\bigl (}\lim \limits _{n\to \infty }b_{n}{\bigr )}$ , при условии, что $\lim _{n\to \infty }b_{n}\neq 0$
$\lim _{n\to \infty }a_{n}^{p}={\bigl (}\lim _{n\to \infty }a_{n}{\bigr )}^{p}$ для всех $p>0$ и $a_{n}>0$

Более того:

Если $a_{n}\leq b_{n}$ для всех $n$ больше, чем некоторые $N$ , затем $\lim _{n\to \infty }a_{n}\leq \lim _{n\to \infty }b_{n}$ . ^[а]
( Теорема о сжатии )
Если $(c_{n})$ является такой последовательностью, что $a_{n}\leq c_{n}\leq b_{n}$ для всех $n>N$ и $\lim _{n\to \infty }a_{n}=\lim _{n\to \infty }b_{n}=L$ ,
затем $(c_{n})$ является сходящимся, и $\lim _{n\to \infty }c_{n}=L$ .
Если последовательность ограничена и монотонна , то она сходится.
Последовательность сходится тогда и только тогда, когда сходятся все ее подпоследовательности.

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

Последовательность Коши — это последовательность, члены которой становятся сколь угодно близкими друг к другу по мере того, как n становится очень большим. Понятие последовательности Коши важно при изучении последовательностей в метрических пространствах и, в частности, в реальном анализе . Одним из особенно важных результатов реального анализа является характеристика сходимости Коши для последовательностей :

Последовательность действительных чисел сходится (в действительных числах) тогда и только тогда, когда она является Коши.

Напротив, существуют последовательности Коши рациональных чисел , которые не сходятся к рациональным числам, например последовательность, определяемая формулой $x_{1}=1$ и $x_{n+1}={\tfrac {1}{2}}{\bigl (}x_{n}+{\tfrac {2}{x_{n}}}{\bigr )}$ является Коши, но не имеет рационального предела (ср. Последовательность Коши § Непример: рациональные числа ). В более общем смысле, любая последовательность рациональных чисел, которая сходится к иррациональному числу, является Коши, но не сходящейся, если интерпретировать ее как последовательность из множества рациональных чисел.

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

Бесконечные пределы

В исчислении принято определять обозначения для последовательностей, которые не сходятся в том смысле, который обсуждался выше, но вместо этого становятся и остаются сколь угодно большими или становятся и остаются сколь угодно отрицательными. Если $a_{n}$ становится сколь угодно большим, так как $n\to \infty$ , мы пишем

\lim _{n\to \infty }a_{n}=\infty .

В этом случае мы говорим, что последовательность расходится или сходится к бесконечности . Примером такой последовательности n _n = является .

Если $a_{n}$ становится сколь угодно отрицательным (т.е. отрицательным и большим по величине), поскольку $n\to \infty$ , мы пишем

\lim _{n\to \infty }a_{n}=-\infty

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

Ряд

Неформально говоря, ряд — это сумма членов последовательности. То есть это выражение формы ${\textstyle \sum _{n=1}^{\infty }a_{n}}$ или $a_{1}+a_{2}+\cdots$ , где $(a_{n})$ представляет собой последовательность действительных или комплексных чисел. Частичные суммы ряда — это выражения, возникающие в результате замены символа бесконечности конечным числом, т. е. N -й частичной суммой ряда. ${\textstyle \sum _{n=1}^{\infty }a_{n}}$ это число

S_{N}=\sum _{n=1}^{N}a_{n}=a_{1}+a_{2}+\cdots +a_{N}.

Сами частичные суммы образуют последовательность $(S_{N})_{N\in \mathbb {N} }$ , называемая последовательностью частичных сумм ряда ${\textstyle \sum _{n=1}^{\infty }a_{n}}$ . Если последовательность частичных сумм сходится, то говорят, что ряд ${\textstyle \sum _{n=1}^{\infty }a_{n}}$ сходится , и предел ${\textstyle \lim _{N\to \infty }S_{N}}$ называется значением ряда. Для обозначения ряда и его значения используются одни и те же обозначения, т.е. пишем ${\textstyle \sum _{n=1}^{\infty }a_{n}=\lim _{N\to \infty }S_{N}}$ .

Использование в других областях математики

Топология

Последовательности играют важную роль в топологии, особенно при изучении метрических пространств . Например:

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

Последовательности можно обобщить до сетей или фильтров . Эти обобщения позволяют распространить некоторые из приведенных выше теорем на пространства без метрик.

Топология продукта

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

Более формально, учитывая последовательность пространств $(X_{i})_{i\in \mathbb {N} }$ , пространство продукта

X:=\prod _{i\in \mathbb {N} }X_{i},

определяется как набор всех последовательностей $(x_{i})_{i\in \mathbb {N} }$ такой, что для каждого i , $x_{i}$ является элементом $X_{i}$ . Канонические проекции — это отображения p _i : X → X _i, определяемые уравнением $p_{i}((x_{j})_{j\in \mathbb {N} })=x_{i}$ . Тогда топология произведения на X определяется как самая грубая топология для которой все проекции pi _{непрерывны} топология с наименьшим количеством открытых множеств) , . ( т.е. Топологию произведения иногда называют топологией Тихонова .

Анализ

При обсуждении последовательностей в анализе обычно рассматриваются последовательности вида

(x_{1},x_{2},x_{3},\dots ){\text{ or }}(x_{0},x_{1},x_{2},\dots )

то есть бесконечные последовательности элементов, индексированные натуральными числами .

Последовательность может начинаться с индексом, отличным от 1 или 0. Например, последовательность, определяемая x _n = 1/ log ( n ), будет определена только для n ≥ 2. Когда речь идет о таких бесконечных последовательностях, обычно достаточно ( что члены последовательности определены по крайней мере для всех достаточно больших индексов , то есть больших, чем некоторое заданное N. и не сильно меняется для большинства соображений), чтобы предположить ,

Самый элементарный тип последовательностей — числовые, то есть последовательности действительных или комплексных чисел. Этот тип можно обобщить на последовательности элементов некоторого векторного пространства . В анализе рассматриваемые векторные пространства часто являются функциональными пространствами . В более общем смысле можно изучать последовательности с элементами в некотором топологическом пространстве .

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

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

Наиболее важными пространствами последовательностей в анализе являются ℓ ^п пространства, состоящие из суммируемых последовательностей p -степени, с p -нормой. Это частные случаи L ^п пространства для считающей меры на множестве натуральных чисел. Другие важные классы последовательностей, такие как сходящиеся последовательности или нулевые последовательности, пространства последовательностей, обозначаемые соответственно c и c0 _{образуют} , с нормой sup. Любое пространство последовательностей также может быть оснащено топологией поточечной сходимости , при которой оно становится особым видом пространства Фреше, называемым FK-пространством .

Линейная алгебра

Последовательности над полем также можно рассматривать как векторы в векторном пространстве . В частности, множество F -значных последовательностей (где F — поле) представляет собой функциональное пространство (фактически пространство произведений ) F -значных функций над множеством натуральных чисел.

Абстрактная алгебра

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

Бесплатный моноид

Если A — множество, свободный моноид над A (обозначаемый A ^*, также называемая звездой Клини A содержащий ) — это моноид, все конечные последовательности (или строки) нуля или более элементов A с бинарной операцией конкатенации. полугруппа Свободная A ⁺ является подполугруппой A ^* содержащий все элементы, кроме пустой последовательности.

Точные последовательности

В контексте теории групп последовательность

G_{0}\;{\overset {f_{1}}{\longrightarrow }}\;G_{1}\;{\overset {f_{2}}{\longrightarrow }}\;G_{2}\;{\overset {f_{3}}{\longrightarrow }}\;\cdots \;{\overset {f_{n}}{\longrightarrow }}\;G_{n}

групп образ и групповых гомоморфизмов называется точным , если ( или образ ) каждого гомоморфизма равен ядру следующего :

\mathrm {im} (f_{k})=\mathrm {ker} (f_{k+1})

Последовательность групп и гомоморфизмов может быть как конечной, так и бесконечной.

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

Спектральные последовательности

В гомологической алгебре и алгебраической топологии спектральная последовательность — это средство вычисления групп гомологий путем принятия последовательных приближений. Спектральные последовательности являются обобщением точных последовательностей , и с момента их введения Жаном Лере ( 1946 ) они стали важным исследовательским инструментом, особенно в теории гомотопий .

Теория множеств

Последовательность с порядковым индексом является обобщением последовательности. Если α — предельный ординал , а X множество, α-индексированная последовательность элементов X — это функция от α до X. — В этой терминологии последовательность, индексированная по ω, является обычной последовательностью.

Вычисление

В информатике конечные последовательности называются списками . Потенциально бесконечные последовательности называются потоками . Конечные последовательности символов или цифр называются строками .

Потоки

Бесконечные последовательности цифр (или символов ), взятые из конечного алфавита, представляют особый интерес в теоретической информатике . Их часто называют просто последовательностями или потоками , в отличие от конечных строк . Например, бесконечные двоичные последовательности представляют собой бесконечные последовательности битов (символов, взятых из алфавита {0, 1}). Множество C = {0, 1} ^∞ всех бесконечных двоичных последовательностей иногда называют пространством Кантора .

Бесконечная двоичная последовательность может представлять формальный язык (набор строк), установив n- й бит последовательности равным 1 тогда и только тогда, когда n -я строка (в коротком порядке ) находится в языке. Это представление полезно в методе диагонализации доказательств. ^[11]

См. также

Операции

Продукт Коши

Примеры

Типы

Связанные понятия

Список (вычисления)
Сеть (топология) (обобщение последовательностей)
Порядковая последовательность
Рекурсия (информатика)
Набор (математика)
Кортеж
перестановка

Примечания

^ Если неравенства заменить строгими неравенствами, то это неверно: существуют такие последовательности, что $a_{n}<b_{n}$ для всех $n$ , но $\lim _{n\to \infty }a_{n}=\lim _{n\to \infty }b_{n}$ .

Ссылки

^ Jump up to: ^а ^б «Последовательности» . www.mathsisfun.com . Архивировано из оригинала 12 августа 2020 г. Проверено 17 августа 2020 г.
^ Вайсштейн, Эрик В. «Последовательность» . mathworld.wolfram.com . Архивировано из оригинала 25 июля 2020 г. Проверено 17 августа 2020 г.
^ Указатель OEIS. Архивировано 18 октября 2022 г. в Wayback Machine , Онлайн-энциклопедия целочисленных последовательностей, 03 декабря 2020 г.
^ Слоан, Нью-Джерси (ред.). «Последовательность A005132 (последовательность Рекамана)» . Электронная энциклопедия целочисленных последовательностей . Фонд ОЭИС . Проверено 26 января 2018 г.
^ Jump up to: ^а ^б ^с Гоган, Эдвард (2009). «1.1 Последовательности и конвергенция». Введение в анализ . АМС (2009). ISBN 978-0-8218-4787-9 .
^ Эдвард Б. Сафф и Артур Дэвид Снайдер (2003). «Глава 2.1» . Основы комплексного анализа . Прентис Холл. ISBN 978-01-390-7874-3 . Архивировано из оригинала 23 марта 2023 г. Проверено 15 ноября 2015 г.
^ Джеймс Р. Манкрес (2000). «Главы 1 и 2» . Топология . Прентис Холл, Инкорпорейтед. ISBN 978-01-318-1629-9 . Архивировано из оригинала 23 марта 2023 г. Проверено 15 ноября 2015 г.
^ Ландо, Сергей К. (21 октября 2003 г.). «7.4 Мультипликативные последовательности». Лекции по производящим функциям . АМС. ISBN 978-0-8218-3481-7 .
^ Сокол, Серджио (2003). «Мультипликативная последовательность Фибоначчи». Международный журнал математического образования в области науки и технологий . 34 (2): 310–315. дои : 10.1080/0020739031000158362 . S2CID 121280842 .
^ Давикинс, Пол. «Серии и последовательности» . Интернет-заметки Пола по математике/Calc II (примечания) . Архивировано из оригинала 30 ноября 2012 года . Проверено 18 декабря 2012 г.
^ Офлазер, Кемаль. «ФОРМАЛЬНЫЕ ЯЗЫКИ, АВТОМАТЫ И ВЫЧИСЛЕНИЯ: РАЗРЕШИМОСТЬ» (PDF) . cmu.edu . Университет Карнеги-Меллон. Архивировано (PDF) из оригинала 29 мая 2015 года . Проверено 24 апреля 2015 г.

Внешние ссылки

[11] Если неравенства заменить строгими неравенствами, то это неверно: существуют такие последовательности, что $a_{n}<b_{n}$ для всех $n$ , но $\lim _{n\to \infty }a_{n}=\lim _{n\to \infty }b_{n}$ .

[:0-1] Jump up to: ^а ^б «Последовательности» . www.mathsisfun.com . Архивировано из оригинала 12 августа 2020 г. Проверено 17 августа 2020 г.

[2] Вайсштейн, Эрик В. «Последовательность» . mathworld.wolfram.com . Архивировано из оригинала 25 июля 2020 г. Проверено 17 августа 2020 г.

[3] Указатель OEIS. Архивировано 18 октября 2022 г. в Wayback Machine , Онлайн-энциклопедия целочисленных последовательностей, 03 декабря 2020 г.

[4] Слоан, Нью-Джерси (ред.). «Последовательность A005132 (последовательность Рекамана)» . Электронная энциклопедия целочисленных последовательностей . Фонд ОЭИС . Проверено 26 января 2018 г.

[Gaughan-5] Jump up to: ^а ^б ^с Гоган, Эдвард (2009). «1.1 Последовательности и конвергенция». Введение в анализ . АМС (2009). ISBN 978-0-8218-4787-9 .

[Saff-6] Эдвард Б. Сафф и Артур Дэвид Снайдер (2003). «Глава 2.1» . Основы комплексного анализа . Прентис Холл. ISBN 978-01-390-7874-3 . Архивировано из оригинала 23 марта 2023 г. Проверено 15 ноября 2015 г.

[Munkres-7] Джеймс Р. Манкрес (2000). «Главы 1 и 2» . Топология . Прентис Холл, Инкорпорейтед. ISBN 978-01-318-1629-9 . Архивировано из оригинала 23 марта 2023 г. Проверено 15 ноября 2015 г.

[8] Ландо, Сергей К. (21 октября 2003 г.). «7.4 Мультипликативные последовательности». Лекции по производящим функциям . АМС. ISBN 978-0-8218-3481-7 .

[9] Сокол, Серджио (2003). «Мультипликативная последовательность Фибоначчи». Международный журнал математического образования в области науки и технологий . 34 (2): 310–315. дои : 10.1080/0020739031000158362 . S2CID 121280842 .

[Dawkins-10] Давикинс, Пол. «Серии и последовательности» . Интернет-заметки Пола по математике/Calc II (примечания) . Архивировано из оригинала 30 ноября 2012 года . Проверено 18 декабря 2012 г.

[Oflazer2011-12] Офлазер, Кемаль. «ФОРМАЛЬНЫЕ ЯЗЫКИ, АВТОМАТЫ И ВЫЧИСЛЕНИЯ: РАЗРЕШИМОСТЬ» (PDF) . cmu.edu . Университет Карнеги-Меллон. Архивировано (PDF) из оригинала 29 мая 2015 года . Проверено 24 апреля 2015 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[а]

[11]

Базы данных авторитетного контроля
Международный	БЫСТРЫЙ
Национальный	Испания Франция Данные БнФ Германия Израиль Соединенные Штаты Чешская Республика