В математике последовательность - это нумерованная коллекция объектов, в которой разрешены повторения и порядок имеет значение. Как и набор , он содержит элементы (также называемые элементы или терминами). Количество элементов (возможно, бесконечное) называется последовательную. В отличие от набора одни и те же элементы могут отображаться несколько раз в разных позициях в следующих, и, в отличие от набора, порядок имеет значение. Формально последовательность может быть определена как функция , домен является либо набором натуральных чисел (для бесконечных последовательностей), либо набором первых n натуральных чисел (для последовательности конечной длины n).
Например, (M, A, R, Y) - это последовательность букв с буквой «M» первой и последней буквой «Y». Эта последовательность отличается от (A, R, M, Y). Кроме того, последовательность (1, 1, 2, 3, 5, 8), которая содержит число 1 в двух разных позициях, является допустимой последовательностью. Последовательности могут быть ными, как в этих примерах, или бесконечными, такими как последовательность всех семи положительных целых чисел (2, 4, 6,...).
Позиция элемента в следовать - это его ранг или индекс; это натуральное число, для которого элемент является изображением. Первый элемент имеет индекс 0 или 1, в зависимости от контекста или специального соглашения. В математическом анализе последовательность часто обозначается буквами в форме , и , где нижний индекс n относится к n-му элементу следовать; например, n-й элемент придерживается Фибоначчи обычно обозначается как .
В вычислениях и информатике конечные следовать иногда называют строками, словами или списками, разными именами, обычно соответствующими различными способами их представления в памяти компьютера ; бесконечные следуют называются потоками. Пустая последовательность () включена в большинство понятий, но может быть исключена в зависимости от контекста.
Бесконечная последовательность действительных чисел (синего цвета). Эта последовательность не является ни убывающей, ни возрастающей, ни Коши. Однако он ограничен.Последовательность можно придумать как список элементов в определенном порядке. Последовательности полезны в ряде математических дисциплин для изучения функций, пробелов и других математических структур, использующих свойства сходимости последовательностей. В частности, используется эта серия для , которые важны в дифференциальных уравнениях и анализом. Последовательности также представляют интерес сами по себе, и их можно изучать как шаблоны или головоломки, например, при изучении простых чисел.
Существует несколько способов обозначения, некоторые из которых более полезны. для определенных типов последовательностей. Один из способов указать последовательность - перечислить все ее элементы. Например, первые четыре нечетных числа образуют последовательность (1, 3, 5, 7). Это обозначение используется и для бесконечных последовательностей. Например, бесконечная последовательность положительных нечетных целых чисел записывается как (1, 3, 5, 7,...). Обозначение последовательности последовательностей с помощью многоточия приводит к неоднозначности, перечисление наиболее полезных для обычных бесконечных последовательностей, которые можно легко распознать по их первым нескольким элементам. Другие способы обозначения наблюдаются после примеров.
простые числа - это натуральные числа больше единицы, которые не имеют делителей, кроме 1 и самих себя. Если взять в их естественном порядке, получится их последовательность (2, 3, 5, 7, 11, 13, 17,...). Простые числа широко используются в математике, особенно в теории чисел, где существует множество соответствующих с ними результатов.
Числа Фибоначчи составляют целочисленную последовательность, элементы которой являются суммой двух предыдущих элементов. Первые два элемента - это либо 0 и 1, либо 1 и 1, так что последовательность будет (0, 1, 1, 2, 3, 5, 8, 13, 21, 34,...).
Другие примеры последовательностей включают состоящие из рациональных чисел, действующих чисел и комплексных чисел. Последовательность (.9,.99,.999,.9999,...), например, приближается к 1. Фактически, каждое действующее число может быть записано как limit рациональные числа (например, через десятичное расширение ). В качестве другого примера, π - это предел установить (3, 3.1, 3.14, 3.141, 3.1415,...), которая увеличивается. Связанная последовательность - это последовательность десятичных цифр числа π, то есть (3, 1, 4, 1, 5, 9,...). В отличие от предыдущей последовательности, эта последовательность не имеет никакого рисунка, который можно было бы легко различить при осмотре.
Большой список примеров целочисленных последовательностей см. Он-лайн энциклопедия целочисленных последовательностей.
Другие обозначения могут быть полезны для последовательностей, шаблон которых трудно угадать., или для последовательностей, которые не имеют шаблона, такие как цифры π. Одно из таких обозначений состоит в том, чтобы записать общую формулу для вычислений n-го члена функции как от n, заключить его в круглые скобки и включить нижний индекс, указывающий набор значений, которые могут принимать n. Например, в этой записи последовательности четных чисел можно записать как . Последовательность квадратов может быть записана как . Переменная n называется индексом, набор значений, который она может принимать, называется индексным набором.
. Часто бывает полезно комбинировать эту нотацию с техникой обработки элементов последовательности как отдельные переменные. Это дает такие выражения, как , что обозначает последовательность, для которой задан n-й элемент . Например:
Можно рассматривать несколько последовательностей одновременно, используя разные переменные; например может быть другой последовательностью, чем . Можно даже последовательностей последовательностей: обозначает последовательность, m-й член последовательности .
Альтернативой записи задается нижний индексе диапазона значений, который может принимать индекс путем перечисления самого высокого и самого низкого допустимых значений. Например, запись обозначает десятичную последовательность квадратов . Пределы и допустимы, но они не допускают допустимые значения для индекса., только верхняя грань или нижняя грань таких значений. Например, последовательность такая же, как последовательность и не содержит дополнительного термина «на бесконечности». Последовательность является би-бесконечной последовательностью, а также может быть записана как .
В случаях, когда понятен набор индексов, нижние и верхние индексы часто опускаются. То есть, для произвольной последовательности просто записывается . Обычно считается, что индекс k проходит от 1 до ∞. Однако следует часто индексируются, начиная с нуля, как в
В некоторых случаях элементы приведенным естественным образом связаны последовательностью целых чисел, образец которой легко вывести. В этих индексных наборах может быть перечислением нескольких первых абстрактных элементов. Например, последовательность квадратов нечетных чисел может быть обозначена любым из следующих способов.
Кроме того, нижние индексы а верхние индексы можно было бы опустить в третью, четвертой и пятой нотации, если бы набор индексации понимался как натуральные числа. Во втором и третьем пунктах есть четко определенная последовательность , но это не то же самое, что последовательность, обозначенная выражением.
Последовательности, элементы которых связаны напрямую с предыдущими элементами, определяются с помощью рекурсии. Это контрастирует с определением последовательностей элементов как функций их позиций.
Чтобы выполнить последовательность операций рекурсии, необходимо правило, называемое отношением рекурсии, для построения каждого элемента в терминах предшествующих. Кроме того, должно быть предусмотрено достаточно начальных элементов, чтобы все последующие элементы могли быть вычислены последовательного применения рекуррентного отношения.
Последовательность Фибоначчи - простой классический пример, определяемый рекуррентным путем
с начальными членами и . Это простое вычисление показывает, что первые десять членов этой системы представляют - это 0, 1, 1, 2, 3, 5, 8, 13, 21 и 34.
Сложный пример настоящего рекуррентным представлением является последовательностью Рекамана, определенная рекуррентным реагированием
с начальным членом
Линейное повторение с постоянными коэффициентами - это рекуррентное отношение вида
где - константы. Существует общий метод выражения общего термина такой следовать как функции от n; см. Линейное повторение. В случае установки Фибоначчи , а результирующая функция n определяется по формуле Бине..
A голономная последовательность - это последовательность, определяемая рекуррентным производством вида
где - это полиномы от n. Для большинства голономных последовательностей не существует явной формулы дляного выражения как функции от n. Тем не менее голономные рабочие роли в различных областях математики. Например, многие специальные функции имеют ряд Тейлора, последовательность последовательности которого голономна. Использование рекуррентного отношения позволяет быстро вычислять значения таких специальных функций.
Не все следовать можно указать с помощью рекуррентного отношения. Примером может служить последовательность простых чисел в их естественном порядке (2, 3, 5, 7, 11, 13, 17,...).
В математике существует множество различных понятийных последовательностей, некоторые из которых (например, точная последовательность ) не охватываются определми и обозначениями представленными ниже.
В статье последовательность формально определяется как функция, домен, которая является интервалом из целые числа. Это определение нескольких вариантов использования слова «последовательность», включая односторонние бесконечные виды последовательностей, бибесконечные последовательные последовательности и конечные последовательности (определения этих последовательностей см. Ниже). Однако многие используют более узкое определение, требуя, чтобы домен был набором натуральных чисел. Недостаток этого более узкого определения состоит в том, что оно исключает конечные исходные и бибесконечные последовательности, которые в стандартной математической практике обычно называют последовательностями. Другой недостаток состоит в том, что при удаленных первых членах необходимо переиндексировать остальные термины для этого определению. В некоторых контекстах, чтобы сократить описание, кодовый домен установить фиксируется контекстом, например, требуя, чтобы он был набором R действительных чисел, набором C комплексных чисел или топологическое пространство.
Хотя используются стандартные функции, они обычно условно отличаются от функций тем, что входные данные записываются в виде нижнего индекса, а не в круглых скобках, то есть n, а не a ( п). Существуют также терминологические системы: ввод на втором самом нижнем входе (часто 1) называется «первый элемент», который находится на втором самом маленьком входе (часто 2), называется «вторым самым вводом», и т. д. Кроме того, хотя функция, обычно обозначается одна буква, например, последовательность, извлеченная из ее входных данных, обычно записывается с помощью такой записи, как или так же, как Здесь A - домен или набор индексов следовать.
Последовательности и их пределы (см. Ниже) - концепции для изучения топологических пространств. Важным обобщением последовательностей является концепция сетей. net - это функция из (возможно, несчетного ) направленного набора в топологическое пространство. Условные обозначения для последовательностей обычно применимы и к сетям.
Длина определяет как количество членов в последовательную.
Последовательность конечной прочности также называется n-кортежем. Конечные последовательности включают пустую последовательность (), не имеющую отношения к элементам.
Обычно последовательность бесконечная последовательность имеет к последовательности, которая бесконечна в одном направлении и конечна в другом - последовательность имеет первый элемент, но не конечный элемент. Такая последовательность называется односторонней бесконечной последовательностью или односторонней бесконечной последовательностью, когда необходимо разрешение неоднозначности. Напротив, последовательность, которая бесконечна в обоих направлениях, т.е. который не имеет ни первого, ни последнего элемента - называется би-бесконечной последовательностью, двусторонней бесконечной последовательностью или дважды бесконечной последовательностью . Функция из набора Z всех целых чисел в набор, такую как, например, последовательность всех четных целых чисел (..., −4, −2, 0, 2, 4, 6, 8...), является би-бесконечным. Эта последовательность может быть обозначена .
A последовательность называется монотонно возрастающей, если каждый член больше или равен предыдущему. Например, последовательность монотонно возрастает тогда и только тогда, когда a n+1anдля всех n ∈ N . Если каждый последующий член строго больше (>) предыдущего члена, то последовательность называется строго монотонно возрастающей . Последовательность является монотонно убывающей, если каждый последующий член меньше или равен предыдущему, и строго монотонно убывающей, если каждый из них строго меньше предыдущего. Если последовательность увеличивается или уменьшается, она называется монотонной последовательностью. Это частный случай более общего понятия монотонной функции.
Термины неубывающая и невозрастающая часто используются вместо увеличения и уменьшения, чтобы избежать любая возможная путаница со строго возрастающим и строго убывающим соответственно.
Если последовательность действительных чисел (a n) такова, что все члены меньше некоторого действительного числа M, то последовательность называется ограничено сверху . Другими словами, это означает, что существует M такое, что для всех n a n ≤ M. Любое такое M называется верхней границей. Аналогично, если для некоторого действительного m a n ≥ m для всех n, больших, чем некоторое N, то последовательность ограничена снизу, и любое такое m называется нижней границей. Если последовательность ограничена сверху и снизу, тогда последовательность называется ограниченной .
A подпоследовательностью данной последовательности - это последовательность, образованная из данной последовательности. путем удаления некоторых элементов без нарушения взаимного расположения остальных элементов. Например, последовательность положительных целых чисел (2, 4, 6,...) является подпоследовательностью натуральных чисел (1, 2, 3,...). Положение некоторых элементов изменяется при удалении других элементов. Однако взаимное расположение сохраняется.
Формально подпоследовательность последовательности является любая последовательность вида , где - это строго возрастающая последовательность положительных целых чисел.
Некоторые другие типы последовательностей, которые легко определить, включают:
Важным свойством последовательности является сходимость. Если последовательность сходится, она сходится к определенному значению, известному как предел. Если последовательность сходится к некоторому пределу, то она сходится . Последовательность, которая не сходится, называется расходящейся .
Неформально, последовательность имеет предел, если элементы последовательности становятся все ближе и ближе к некоторому значению ( называется пределом последовательности), и они становятся и остаются произвольно близкими к , что означает, что с учетом действительного числа больше нуля, все элементы последовательности, кроме конечного числа, имеют расстояние от меньше .
Например, последовательность показана для справа сходится к значению 0. С другой стороны, последовательности (который начинается с 1, 8, 27,…) И (которое начинается -1, 1, -1, 1, …) Расходятся.
Если последовательность сходится, то значение, к которому она сходится, уникально. Это значение называется пределом последовательности. Предел сходящейся последовательности обычно обозначается . Если - расходящаяся последовательность, тогда выражение не имеет смысла.
Последовательность действительных чисел сходится к действительному числу , если для всех , существует натуральное число так что для всех у нас есть
If представляет собой последовательность комплексных чисел, а не последовательность действительных чисел, эта последняя формула все еще может использоваться для определения сходимости при условии, что обозначает комплексный модуль, то есть . Если - это последовательность точек в метрике пробел, то формулу можно использовать для определения сходимости, если выражение заменяется выражением , который обозначает расстояние между и .
Если and - сходящиеся последовательности, тогда существуют следующие пределы, которые можно вычислить следующим образом:
Кроме того:
Если <186 an ≤ bn {\ displaystyle a_ {n} \ leq b_ {n}}для всех больше некоторых , затем .
Последовательность Коши - это последовательность, члены которой становятся произвольно близкими друг к другу, когда n становится очень большим. Понятие последовательности Коши важно при изучении последовательностей в метрических пространствах и, в частности, в реальном анализе. Одним из особенно важных результатов реального анализа является характеристика Коши сходимости последовательностей:
Напротив, существуют последовательности Коши рациональные числа, которые не сходятся в рациональных числах, например последовательность, определяемая как x 1 = 1 и x n + 1 = x n + 2 / x n / 2, является Коши, но не имеет рационального предела, ср. здесь. В более общем смысле, любая последовательность рациональных чисел, которая сходится к иррациональному числу, является Коши, но не сходящейся при интерпретации как последовательность в наборе рациональных чисел.
Метрические пространства, удовлетворяющие сходимости Коши для последовательностей, называются полными метрическими пространствами и особенно удобны для анализа.
В исчислении принято определять обозначения для последовательностей, которые не сходятся в рассмотренном выше смысле, но вместо этого становятся и остаются произвольно большими или становятся и остаются произвольно отрицательными. Если становится произвольно большим при , мы пишем
В этом случае мы говорим, что последовательность расходится или что она сходится к бесконечности . Примером такой последовательности является n = n.
Если становится произвольно отрицательным (т.е. отрицательным и большим по величине) при , мы пишем
и говорим, что последовательность расходится или сходится к отрицательной бесконечности. .
A Серия, неформально говоря, является суммой членов последовательности. То есть это выражение вида или , где - это последовательность действительных или комплексных чисел. частичные суммы ряда - это выражения, полученные в результате замены символа бесконечности на конечное число, то есть N-я частичная сумма ряда - это число
Частичные суммы сами образуют последовательность , которая называется последовательностью частичные суммы ряда . Если последовательность частичных сумм сходится, то мы говорим, что ряд является сходящимся, а предел называется значение серии. The same notation is used to denote a series and its value, i.e. we write .
Sequences play an important role in topology, especially in the study of metric spaces. For instance:
Sequences can be generalized to nets or filters. These generalizations allow one to распространить некоторые из приведенных выше теорем на пространства без метрики.
Топологическое произведение последовательности топологических пространств - это декартово произведение этих пространств, снабженное естественным топология называется топологией продукта.
Более формально, учитывая последовательность пространств , пространство продукта
определяется как набор всех последовательностей таких, что для каждый i, является элементом . канонические проекции - это карты p i : X → X i, определенные уравнением . Затем топология продукта на X определяется как самая грубая топология (т. Е. Топология с наименьшим количеством открытых множеств), для которой все проекции p i равны непрерывный. Топологию продукта иногда называют топологией Тихонова .
В анализе, когда говорят о последовательностях, обычно рассматриваются последовательности вида
то есть бесконечные последовательности элементов, индексированных натуральными числами.
Может быть удобно иметь последовательность начинается с индекса, отличного от 1 или 0. Например, последовательность, определенная как x n = 1 / log (n), будет определена только для n ≥ 2. При разговоре Что касается таких бесконечных последовательностей, обычно достаточно (и это не сильно меняется для большинства соображений) предположить, что члены последовательности определены, по крайней мере, для всех индексов , достаточно больших, то есть больше некоторых заданных N.
Самым элементарным типом последовательностей являются числовые, то есть последовательности действительного или комплексного числа. с. Этот тип можно обобщить на последовательности элементов некоторого векторного пространства. При анализе рассматриваемые векторные пространства часто являются функциональными пространствами. В более общем смысле, можно изучать последовательности с элементами в некотором топологическом пространстве.
A пространство последовательностей - это векторное пространство, элементы которого являются бесконечными последовательностями вещественных или комплексные числа. Эквивалентно, это функциональное пространство , элементами которого являются функции от натуральных чисел до поля K, где K - это либо поле действительные числа или поле комплексных чисел. Множество всех таких функций естественным образом отождествляется с множеством всех возможных бесконечных последовательностей с элементами в K и может быть преобразовано в векторное пространство с помощью операций поточечно. сложение функций и поточечное скалярное умножение. Все пространства последовательностей являются линейными подпространствами этого пространства. Пространства последовательностей обычно снабжены нормой или, по крайней мере, структурой топологического векторного пространства.
. Наиболее важными пространствами последовательностей в анализе являются -пространства, состоящие из суммируемых последовательностей в p-степени., с p-нормой. Это частные случаи L пробелов для счетной меры на множестве натуральных чисел. Другие классы последовательных последовательностей, такие как сходящие или нулевые следовать, образуют пространства последовательностей, соответствующие обозначенные c и c 0, с нормой sup. Любое пространство последовательностей также может быть оснащено топологией с точечной сходимостью, при которой оно становится особой разновидностью пространства Фреше, называемого FK-пространством..
Последовательности в также рассматриваться как поведение в векторном пространстве . В частности, набор F-значных последовательностей (где F - поле) представляет собой функциональное пространство (фактически, пространство продукта ) F-значных функций над множеством естественных чисел.
Абстрактная алгебра использует несколько типов последовательностей, включая математических объектов, таких как группы или кольца.
Если A - это множество, свободный моноид над A (обозначенный A, также называемый звездой Клини A) моноид, поставляются все конечные строки (или строки) из нуля или более элементов A, с бинарной операцией конкатенации. Свободная полугруппа A - это подполугруппа A, содержащая все элементы, кроме пустую.
В контексте теории групп последовательность
из групп и гомоморфизмов групп называется точным, если изображение (или диапазон ) каждого гомоморфизма равно ядру следующего:
Последовательность групп и гомоморфизмов может быть либо конечным, либо бесконечным.
Аналогичное определение может быть сделано для некоторых других алгебраических структур. Например, можно иметь точную последовательность векторных пространств и линейных карт или модулей и гомоморфизмов модулей.
В гомологической алгебре и алгебраической топологии, спектральная последовательность является методом вычисления групп гомологий путем принятия последовательных приближений. Спектральная система обеспечивает обобщение точных последовательностей, и с момента их введения Жаном Лере (1946) они стали важным инструментом исследования, особенно в теория гомотопии.
последовательность с порядковым индексом - это обобщение следовать. Если α является предельным порядковым номером и X является набором, α-индексированная последовательность операций X является функцией от α до X. В терминологии ω-индексированной последовательности элементов последовательности.
В информатике конечные следовать называются списками. Потенциально бесконечные следовать называются потоками. Конечные последовательные символы или цифр называются строками.
Бесконечные следовать цифр (или символов ), взятые из конечного алфавит Выберите особый интерес в теоретической информатике. Их часто называют просто последовательностями или потоками, в отличие от конечных строк. Бесконечные двоичные следовать, например, предоставить себя бесконечные следовать битов (символы, взятые из алфавита {0, 1}). Набор C = {0, 1} всех бесконечных двоичных последовательностей иногда называют канторовским пространством.
Бесконечная двоичная последовательность может представлять формальный язык (набор строк) путем установки n-й бит последовательности равен 1 тогда и только тогда, когда n-я строка (в порядке сокращений ) находится на языке. Это представление полезно в методе диагонализации для доказательств.
Искать последовательность в Викисловаре, бесплатном языке. |
Найдите перечислить или collection в Викисловарь, бесплатном способ. |