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






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


Числовая последовательность (ранее в русскоязычной математической литературе встречался термин вариа́нта[1][2], принадлежащий Ш. Мерэ[1]) — это последовательность элементов числового пространства.


Числовые последовательности являются одним из основных объектов рассмотрения в математическом анализе.




Содержание






  • 1 Определение


  • 2 Примеры


  • 3 Операции над последовательностями


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


    • 4.1 Примеры


    • 4.2 Свойства




  • 5 Предельная точка последовательности


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


  • 7 Некоторые виды последовательностей


    • 7.1 Ограниченные и неограниченные последовательности


      • 7.1.1 Критерий ограниченности числовой последовательности


      • 7.1.2 Свойства ограниченных последовательностей




    • 7.2 Бесконечно большие и бесконечно малые последовательности


      • 7.2.1 Свойства бесконечно малых последовательностей




    • 7.3 Сходящиеся и расходящиеся последовательности


      • 7.3.1 Свойства сходящихся последовательностей




    • 7.4 Монотонные последовательности


    • 7.5 Фундаментальные последовательности




  • 8 Примечания


  • 9 См. также





Определение |


Пусть X{displaystyle X}X — это либо множество вещественных чисел R{displaystyle mathbb {R} }mathbb {R} , либо множество комплексных чисел C{displaystyle mathbb {C} }mathbb {C} . Тогда последовательность (xn)n=1∞{displaystyle (x_{n})_{n=1}^{infty }}(x_{n})_{{n=1}}^{{infty }} элементов множества X{displaystyle X}X называется числовой последовательностью.



Примеры |



  • Функция ((−1)n)n=1∞{displaystyle left((-1)^{n}right)_{n=1}^{infty }}left((-1)^{n}right)_{{n=1}}^{{infty }} является бесконечной последовательностью целых чисел. Элементы этой последовательности начиная с первого имеют вид ⟨−1,1,−1,1,−1,…⟩{displaystyle langle -1,1,-1,1,-1,ldots rangle }langle -1,1,-1,1,-1,ldots rangle .

  • Функция (1/n)n=1∞{displaystyle (1/n)_{n=1}^{infty }}(1/n)_{{n=1}}^{{infty }} является бесконечной последовательностью рациональных чисел. Элементы этой последовательности начиная с первого имеют вид ⟨1,1/2,1/3,1/4,1/5,…⟩{displaystyle langle 1,1/2,1/3,1/4,1/5,ldots rangle }langle 1,1/2,1/3,1/4,1/5,ldots rangle .

  • Функция, сопоставляющая каждому натуральному числу n⩽12{displaystyle nleqslant 12}nleqslant 12 одно из слов «январь», «февраль», «март», «апрель», «май», «июнь», «июль», «август», «сентябрь», «октябрь», «ноябрь», «декабрь» (в порядке их следования здесь) представляет собой последовательность вида (xn)n=112{displaystyle (x_{n})_{n=1}^{12}}(x_{n})_{{n=1}}^{{12}}. В частности, пятым элементом x5{displaystyle x_{5}}x_{5} этой последовательности является слово «май».



Операции над последовательностями |


На множестве всех последовательностей элементов множества X{displaystyle X}X можно определить арифметические и другие операции, если таковые определены на множестве X{displaystyle X}X. Такие операции обычно определяют естественным образом, то есть поэлементно.



Пусть на множестве X{displaystyle X}X определена N{displaystyle N}N-арная операция f{displaystyle f}f:


f:XN→X{displaystyle fcolon X^{N}rightarrow X}fcolon X^{N}rightarrow X

Тогда для элементов x1=(x1n)n=1∞{displaystyle x_{1}=(x_{1n})_{n=1}^{infty }}x_{1}=(x_{{1n}})_{{n=1}}^{infty }, x2=(x2n)n=1∞{displaystyle x_{2}=(x_{2n})_{n=1}^{infty }}x_{2}=(x_{{2n}})_{{n=1}}^{infty }, …, xN=(xNn)n=1∞{displaystyle x_{N}=(x_{Nn})_{n=1}^{infty }}x_{N}=(x_{{Nn}})_{{n=1}}^{infty } множества всех последовательностей элементов множества X{displaystyle X}X операция f{displaystyle f}f будет определяться следующим образом:


f(x1,x2,⋯,xN)=(f(x1n,x2n,⋯,xNn))n=1∞{displaystyle fleft(x_{1},x_{2},cdots ,x_{N}right)=(fleft(x_{1n},x_{2n},cdots ,x_{Nn}right))_{n=1}^{infty }}fleft(x_{1},x_{2},cdots ,x_{N}right)=(fleft(x_{{1n}},x_{{2n}},cdots ,x_{{Nn}}right))_{{n=1}}^{infty }


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


Суммой числовых последовательностей (xn){displaystyle (x_{n})}(x_{n}) и (yn){displaystyle (y_{n})}(y_{n}) называется числовая последовательность (zn){displaystyle (z_{n})}(z_{n}) такая, что zn=xn+yn{displaystyle z_{n}=x_{n}+y_{n}}z_{n}=x_{n}+y_{n}.


Разностью числовых последовательностей (xn){displaystyle (x_{n})}(x_{n}) и (yn){displaystyle (y_{n})}(y_{n}) называется числовая последовательность (zn){displaystyle (z_{n})}(z_{n}) такая, что zn=xn−yn{displaystyle z_{n}=x_{n}-y_{n}}z_{n}=x_{n}-y_{n}.


Произведением числовых последовательностей xn{displaystyle x_{n}}x_{n} и yn{displaystyle y_{n}}y_{n} называется числовая последовательность (zn){displaystyle (z_{n})}(z_{n}) такая, что zn=xn⋅yn{displaystyle z_{n}=x_{n}cdot y_{n}}z_{n}=x_{n}cdot y_{n}.


Частным числовой последовательности xn{displaystyle x_{n}}x_{n} и числовой последовательности yn{displaystyle y_{n}}y_{n}, все элементы которой отличны от нуля, называется числовая последовательность zn=(xnyn)n=1∞{displaystyle z_{n}=left({frac {x_{n}}{y_{n}}}right)_{n=1}^{infty }}z_{n}=left({frac {x_{n}}{y_{n}}}right)_{{n=1}}^{infty }. Если в последовательности yn{displaystyle y_{n}}y_{n} на позиции k≠1{displaystyle kneq 1}kneq 1 всё же имеется нулевой элемент, то результат деления на такую последовательность всё равно может быть определён, как последовательность zn=(xnyn)n=1k−1{displaystyle z_{n}=left({frac {x_{n}}{y_{n}}}right)_{n=1}^{k-1}}z_{n}=left({frac {x_{n}}{y_{n}}}right)_{{n=1}}^{{k-1}}.


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



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


Подпоследовательность последовательности (xn){displaystyle (x_{n})}(x_{n}) — это последовательность (xnk){displaystyle (x_{n_{k}})}(x_{{n_{k}}}), где (nk){displaystyle (n_{k})}(n_{k}) — возрастающая последовательность элементов множества натуральных чисел.


Иными словами, подпоследовательность получается из последовательности удалением конечного или счётного числа элементов.



Примеры |



  • Последовательность простых чисел является подпоследовательностью последовательности натуральных чисел.

  • Последовательность натуральных чисел, кратных 12, является подпоследовательностью последовательности чётных натуральных чисел.



Свойства |



  • Всякая последовательность является своей подпоследовательностью.

  • Для всякой подпоследовательности (xkn){displaystyle (x_{k_{n}})}(x_{{k_{n}}}) верно, что ∀n∈N:kn⩾n{displaystyle forall nin mathbb {N} colon k_{n}geqslant n}forall nin mathbb{N} colon k_{n}geqslant n.

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

  • Если все подпоследовательности некоторой исходной последовательности сходятся, то их пределы равны.

  • Любая подпоследовательность бесконечно большой последовательности также является бесконечно большой.

  • Из любой неограниченной числовой последовательности можно выделить бесконечно большую подпоследовательность, все элементы которой имеют определённый знак.

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



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


Основная статья: Предельная точка

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



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


Основная статья: Предел числовой последовательности

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


Частичный предел последовательности — это предел одной из её подпоследовательностей. У сходящихся числовых последовательностей он всегда совпадает с обычным пределом.


Верхний предел последовательности — это наибольшая предельная точка этой последовательности.


Нижний предел последовательности — это наименьшая предельная точка этой последовательности.



Некоторые виды последовательностей |



  • Стационарная последовательность — это последовательность, все члены которой, начиная с некоторого, равны.

    (xn){displaystyle (x_{n})}(x_{n}) стационарная ⇔(∃N∈N ∀i,j∈N:(i⩾N)∧(j⩾N)⇒(xi=xj)){displaystyle Leftrightarrow left(exists Nin mathbb {N} ~forall i,jin mathbb {N} colon left(igeqslant Nright)land left(jgeqslant Nright)Rightarrow left(x_{i}=x_{j}right)right)}Leftrightarrow left(exists Nin mathbb{N} ~forall i,jin mathbb{N} colon left(igeqslant Nright)land left(jgeqslant Nright)Rightarrow left(x_{i}=x_{j}right)right)



Ограниченные и неограниченные последовательности |


В предположении о линейной упорядоченности множества X{displaystyle X}X элементов последовательности можно ввести понятия ограниченных и неограниченных последовательностей.




  • Ограниченная сверху последовательность — это последовательность элементов множества X{displaystyle X}X, все члены которой не превышают некоторого элемента из этого множества. Этот элемент называется верхней гранью данной последовательности.

    (xn){displaystyle (x_{n})}(x_{n}) ограниченная сверху ⇔∃M∈X ∀n∈N:xn⩽M{displaystyle Leftrightarrow exists Min X~forall nin mathbb {N} colon x_{n}leqslant M}Leftrightarrow exists Min X~forall nin mathbb{N} colon x_{n}leqslant M



  • Ограниченная снизу последовательность — это последовательность элементов множества X{displaystyle X}X, для которой в этом множестве найдётся элемент, не превышающий всех её членов. Этот элемент называется нижней гранью данной последовательности.

    (xn){displaystyle (x_{n})}(x_{n}) ограниченная снизу ⇔∃m∈X ∀n∈N:xn⩾m{displaystyle Leftrightarrow exists min X~forall nin mathbb {N} colon x_{n}geqslant m}Leftrightarrow exists min X~forall nin mathbb{N} colon x_{n}geqslant m



  • Ограниченная последовательность (ограниченная с обеих сторон последовательность) — это последовательность, ограниченная и сверху, и снизу.

    (xn){displaystyle (x_{n})}(x_{n}) ограниченная ⇔∃m,M∈X ∀n∈N:m⩽xn⩽M{displaystyle Leftrightarrow exists m,Min X~forall nin mathbb {N} colon mleqslant x_{n}leqslant M}Leftrightarrow exists m,Min X~forall nin mathbb{N} colon mleqslant x_{n}leqslant M



  • Неограниченная последовательность — это последовательность, которая не является ограниченной.

    (xn){displaystyle (x_{n})}(x_{n}) неограниченная ⇔∀m,M∈X ∃n∈N:(xn<m)∨(xn>M){displaystyle Leftrightarrow forall m,Min X~exists nin mathbb {N} colon left(x_{n}<mright)lor left(x_{n}>Mright)}Leftrightarrow forall m,Min X~exists nin mathbb{N} colon left(x_{n}<mright)lor left(x_{n}>Mright)




Критерий ограниченности числовой последовательности |


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



(xn){displaystyle (x_{n})}(x_{n}) ограниченная ⇔∃A∈R ∀n∈N:|xn|⩽A{displaystyle Leftrightarrow exists Ain mathbb {R} ~forall nin mathbb {N} colon |x_{n}|leqslant A}Leftrightarrow exists Ain mathbb{R} ~forall nin mathbb{N} colon |x_{n}|leqslant A


Свойства ограниченных последовательностей |



  • Ограниченная сверху числовая последовательность имеет бесконечно много верхних граней.

  • Ограниченная снизу числовая последовательность имеет бесконечно много нижних граней.

  • Ограниченная последовательность имеет по крайней мере одну предельную точку.

  • У ограниченной последовательности существуют верхний и нижний пределы.

  • Для любого наперёд взятого положительного числа ε{displaystyle varepsilon }varepsilon все элементы ограниченной числовой последовательности (xn)n=1∞{displaystyle left(x_{n}right)_{n=1}^{infty }}left(x_{n}right)_{{n=1}}^{{infty }}, начиная с некоторого номера, зависящего от ε{displaystyle varepsilon }varepsilon , лежат внутри интервала (lim_n→∞⁡xn−ε,lim¯n→∞⁡xn+ε){displaystyle left(varliminf _{nto infty }x_{n}-varepsilon ,varlimsup _{nto infty }x_{n}+varepsilon right)}left(varliminf _{{nto infty }}x_{n}-varepsilon ,varlimsup _{{nto infty }}x_{n}+varepsilon right).

  • Если за пределами интервала (a,b){displaystyle left(a,bright)}left(a,bright) лежит лишь конечное число элементов ограниченной числовой последовательности (xn)n=1∞{displaystyle left(x_{n}right)_{n=1}^{infty }}left(x_{n}right)_{{n=1}}^{{infty }}, то интервал (lim_n→∞⁡xn,lim¯n→∞⁡xn){displaystyle left(varliminf _{nto infty }x_{n},varlimsup _{nto infty }x_{n}right)}left(varliminf _{{nto infty }}x_{n},varlimsup _{{nto infty }}x_{n}right) содержится в интервале (a,b){displaystyle left(a,bright)}left(a,bright).

  • Справедлива теорема Больцано — Вейерштрасса. Из любой ограниченной последовательности можно выделить сходящуюся подпоследовательность.



Бесконечно большие и бесконечно малые последовательности |




  • Бесконечно малая последовательность — это последовательность, предел которой равен нулю.


  • Бесконечно большая последовательность — это последовательность, предел которой равен бесконечности.



Свойства бесконечно малых последовательностей |


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



  • Сумма двух бесконечно малых последовательностей сама также является бесконечно малой последовательностью.

  • Разность двух бесконечно малых последовательностей сама также является бесконечно малой последовательностью.

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

  • Произведение ограниченной последовательности на бесконечно малую последовательность есть бесконечно малая последовательность.

  • Произведение любого конечного числа бесконечно малых последовательностей есть бесконечно малая последовательность.

  • Любая бесконечно малая последовательность ограничена.

  • Если стационарная последовательность является бесконечно малой, то все её элементы, начиная с некоторого, равны нулю.

  • Если вся бесконечно малая последовательность состоит из одинаковых элементов, то эти элементы — нули.

  • Если (xn){displaystyle (x_{n})}(x_{n}) — бесконечно большая последовательность, не содержащая нулевых членов, то существует последовательность (1/xn){displaystyle (1/x_{n})}(1/x_{n}), которая является бесконечно малой. Если же (xn){displaystyle (x_{n})}(x_{n}) всё же содержит нулевые элементы, то последовательность (1/xn){displaystyle (1/x_{n})}(1/x_{n}) всё равно может быть определена, начиная с некоторого номера n{displaystyle n}n, и всё равно будет бесконечно малой.

  • Если (αn){displaystyle (alpha _{n})}(alpha _{n}) — бесконечно малая последовательность, не содержащая нулевых членов, то существует последовательность (1/αn){displaystyle (1/alpha _{n})}(1/alpha _{n}), которая является бесконечно большой. Если же (αn){displaystyle (alpha _{n})}(alpha _{n}) всё же содержит нулевые элементы, то последовательность (1/αn){displaystyle (1/alpha _{n})}(1/alpha _{n}) всё равно может быть определена, начиная с некоторого номера n{displaystyle n}n, и всё равно будет бесконечно большой.



Сходящиеся и расходящиеся последовательности |




  • Сходящаяся последовательность — это последовательность элементов множества X{displaystyle X}X, имеющая предел в этом множестве.


  • Расходящаяся последовательность — это последовательность, не являющаяся сходящейся.



Свойства сходящихся последовательностей |



  • Всякая бесконечно малая последовательность является сходящейся. Её предел равен нулю.

  • Удаление любого конечного числа элементов из бесконечной последовательности не влияет ни на сходимость, ни на предел этой последовательности.

  • Любая сходящаяся последовательность элементов хаусдорфова пространства имеет только один предел.

  • Любая сходящаяся последовательность ограничена. Однако не любая ограниченная последовательность сходится.

  • Последовательность сходится тогда и только тогда, когда она является ограниченной и при этом её верхний и нижний пределы совпадают.

  • Если последовательность (xn){displaystyle (x_{n})}(x_{n}) сходится, но не является бесконечно малой, то, начиная с некоторого номера, определена последовательность (1/xn){displaystyle (1/x_{n})}(1/x_{n}), которая является ограниченной.

  • Сумма сходящихся последовательностей также является сходящейся последовательностью.

  • Разность сходящихся последовательностей также является сходящейся последовательностью.

  • Произведение сходящихся последовательностей также является сходящейся последовательностью.

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

  • Если сходящаяся последовательность ограничена снизу, то никакая из её нижних граней не превышает её предела.

  • Если сходящаяся последовательность ограничена сверху, то её предел не превышает ни одной из её верхних граней.

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

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

  • Любую сходящуюся последовательность (xn){displaystyle (x_{n})}(x_{n}) можно представить в виде (xn)=(a+αn){displaystyle (x_{n})=(a+alpha _{n})}(x_{n})=(a+alpha _{n}), где a{displaystyle a}a — предел последовательности (xn){displaystyle (x_{n})}(x_{n}), а αn{displaystyle alpha _{n}}alpha _{n} — некоторая бесконечно малая последовательность.

  • Всякая сходящаяся последовательность является фундаментальной. При этом фундаментальная числовая последовательность всегда сходится (как и любая фундаментальная последовательность элементов полного пространства).



Монотонные последовательности |


Основная статья: Монотонная последовательность

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



Фундаментальные последовательности |


Основная статья: Фундаментальная последовательность

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



Примечания |





  1. ↑ 12 Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления / Изд. 7-е, стереотипное. — М.: Наука, 1969. — Т. 1. — С. 44. — 608 с.


  2. ↑ Микиша А. М., Орлов В. Б. Толковый математический словарь. Основные термины: около 2500 терминов / Под ред. к.ф.-м.н. А. П. Савина. — М.: Русский язык, 1989. — С. 16. — 244 с. — ISBN 5-200-01253-8.




См. также |


  • Энциклопедия целочисленных последовательностей








-

Popular posts from this blog

Arjuna Award

Image
Arjuna Award Civilian award for outstanding individual achievements in National Sports Sponsored by Govt. of India Reward(s) ₹ 500,000 First awarded 1961 Last awarded 2017 Highlights Total awarded 700 Website Official website ← Rajiv Gandhi Khel Ratna The Arjuna Awards are given by the Ministry of Youth Affairs and Sports, Government of India to recognize outstanding achievement in sports. Started in 1961, the award carries a cash prize of ₹ 500,000, a bronze statue of Arjuna and a scroll. [1] [2] Over the years the scope of the award has been expanded and a large number of sports persons who belonged to the pre-Arjuna Award era were also included in the list. Further, the number of disciplines for which the award is given was increased to include indigenous games and the physically handicapped category. The Government revises the criteria for the Arjuna Award over the years. As per the revised guidelines, to be eligible for the Award, a s...
Read more

Electoral district of Norwood

Norwood South Australia—House of Assembly State South Australia Created 1938 Abolished 2014 Namesake Norwood, South Australia Demographic Metropolitan Norwood is a former electoral district of the House of Assembly in the Australian state of South Australia. It was a 14.2 km² inner urban electorate in Adelaide and was named after the inner-eastern suburb of Norwood. In its final configuration, the seat also included the suburbs of Beulah Park, College Park, Evandale, Firle, Hackney, Joslin, Kent Town, Marden, Maylands, Payneham South, Royston Park, St Morris, St Peters, Stepney, Trinity Gardens and Vale Park, as well as parts of Kensington, Klemzig and Payneham. Norwood was created as an electoral district in 1938, and was usually a marginal seat, changing hands between the Labor Party and the Liberal Party (and the Liberals' predecessor, the [[Liberal and Country League) a number of times. The electorate is synonymous with former Premier of South ...
Read more

Русский язык

Image
У этого термина существуют и другие значения, см. Русский язык (значения). Русский язык Самоназвание русский язык Страны Россия; страны Восточной Европы, страны Балканского полуострова, страны Прибалтики, страны Закавказья, Германия; Казахстан, страны Средней Азии, Израиль, Монголия; США, Канада Официальный статус Россия   Россия Белоруссия   Белоруссия Казахстан   Казахстан Киргизия   Киргизия и другие страны, территории и организации, см. полный список Регулирующая организация Институт русского языка им. В. В. Виноградова РАН (Москва, Россия) [~ 1] [1] Общее число говорящих Родной язык Россия : 118,6 млн чел. (2010) [2] Мир : 166,2 млн чел. (2015; оценка ) [3] Второй язык Россия : 18,9 млн чел. (2010) [~ 2] Мир : 110,0 млн чел. (2009; оценка ) [4] Общее число Россия : 137,5 млн чел. (2010) [5] Мир : 260,0 млн чел. (2014; оценка ) [6] Рейтинг родной язык: 8 (2018) [7] Статус в безопасности [d] [8] Кл...
Read more