Термины

Сходимость

Сходи́мость, одно из основных понятий , означающее, что некоторые математические объекты имеют . Понятие сходимость возникает, например, когда при изучении того или иного математического объекта строится более простых в некотором смысле объектов, приближающихся к данному, т. е. имеющих его своим пределом. Так, при вычислении длины используется последовательность длин периметров правильных , вписанных в окружность; для вычисления значений функций используются последовательности частичных сумм , которыми представляются данные функции; например, для вычисления значений функции sinx\sin x используются частичные суммы ряда
xx33!+...+(1)nx2n+1(2n+1)!+....x-\frac{x^3}{3!}+...+(-1)^n\frac{x^{2n+1}}{(2n+1)!}+...\,.При практическом использовании таких рядов важным вопросом являются оценки скорости сходимости или, что то же самое, вопрос о том, насколько точно частичные суммы ряда, составленные из его nn первых членов, аппроксимируют значение данной функции.

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

В математическом анализе и смежных разделах математики используются различные понятия сходимости последовательности функций. Одно из них – понятие поточечной сходимости. Говорят, что последовательность действительных функций {fn}n=1\{f_n\}_{n=1}^{\infty}, определённых на некотором множестве MM, поточечно сходится к предельной функции ff, если для любого xMx∈M числовая последовательность {fn(x)}n=1\{f_n(x)\}_{n=1}^{\infty} сходится к числу f(x)f(x) или, что то же самое, для любого ε>0ε > 0 существует число nεn_ε такое, что fn(x)f(x)<ε|f_n(x)-f(x)| < ε при всех n>nεn > n_ε. В этом определении число nεn_ε может зависеть от xx. Если существует число nεn_ε, одно и то же для всех xMx∈M, для которого указанные неравенства выполнены, то говорят, что последовательность сходится к ff равномерно на MM. Равномерная сходимость последовательности к функции ff равносильна сходимости в ρ(f,g)=supxMf(x)g(x),ρ(f, g)=\sup_{x∈M}|f(x)-g(x)|,т. е. сходимости числовой последовательности ρ(fn,f)0ρ(f_n, f)→0 при nn→∞.

Из равномерной сходимости следует поточечная, обратное неверно, пример даёт последовательность степенных функций fn(x)=xnf_n(x)=x^n, n=1,2,...n=1, 2, ..., на интервале M=(0,1)M=(0, 1): функции этой последовательности при nn→∞ в каждой точке x(0,1)x∈(0,1) сходятся к функции f(x)0f(x)≡0, x(0,1)x∈(0,1), но ρ(fn,f)=1ρ(f_n, f)=1 при всех nn. Если последовательность функций {fn}n=1\{f_n\}_{n=1}^{\infty} сходится к функции ff равномерно на MM, то для любой последовательности {xn}n=1M\{x_n\}_{n=1}^{\infty} \in M


fn(xn)f(xn)0(1)f_n(x_n)-f(x_n)→0\tag{1}при nn→∞, обратное также верно. Для степенных функций при выборе xn=11/nx_n=1-1/n, n=1,2,...n=1,2,..., левая часть последнего соотношения есть


(11/n)n0e1,(1-1/n)^{n}-0→e^{–1},т. е. (1) не выполнено, что даёт ещё одно объяснение отсутствия равномерной сходимости к предельной функции f(x)f(x), тождественно равной нулю на (0, 1).

Помимо указанных видов сходимости в различных разделах математики используются и другие. Так, в наиболее интересны два множества функций: множество , заданных на некотором (ΩΩ, A \mathcal{A} , P\mathsf{P}), и множество , которые определены на действительной оси. Для каждого из этих множеств используются свои понятия сходимости. На множестве случайных величин поточечная сходимость является слишком сильной. Так, усиленный утверждает, что при некоторых условиях Sn/n=(X1+...+Xn)/nS_n/n=(X_1+ ...+X_n)/n независимых случайных величин X1X_1, X2X_2, ..., близки к некоторым постоянным AnA_n в следующем смысле: при nn→∞


Sn(ω)/nAn0S_n(ω)/n-A_n→0для точек ωΩω∈Ω из подмножества ΩΩ, для которого вероятность P\mathsf{P} равна 1. То есть это соотношение может не иметь места на подмножестве ΩΩ, вероятность которого равна нулю. Поэтому вместо поточечной сходимости на всём множестве ΩΩ приходится использовать сходимость с вероятностью 1: последовательность случайных величин Z1Z_1, Z2Z_2, ..., сходится с вероятностью 1 (или почти наверное) к случайной величине ZZ, если


P({ω:Zn(ω)Z(ω)})=1.\boldsymbol{\sf{P}}( \{ω:Z_n(ω)→Z(ω)\})=1.Аналогичное понятие сходимости используется и в , там оно называется сходимость почти всюду.

В некоторых вопросах теории вероятностей и сходимость с вероятностью 1 является слишком сильной, и тогда приходится пользоваться сходимостью по вероятности: последовательность случайных величин Z1Z_1, Z2Z_2, ..., сходится по вероятности к случайной величине ZZ, если для любого ε>0ε > 0


P({ω:Zn(ω)Z(ω)>ε})0\boldsymbol{\sf{P}}(\{ω:|Z_n(ω)-Z(ω)| > ε\})→0при nn→∞. Аналогичное понятие сходимости используется и в теории функций, там оно называется сходимостью по мере.

Из сходимости с вероятностью 1 следует сходимость по вероятности; обратное неверно, но из всякой последовательности, сходящейся по вероятности к некоторой случайной величине, можно выделить подпоследовательность, сходящуюся к той же предельной величине с вероятностью 1. Существуют последовательности, сходящиеся по вероятности к некоторой случайной величине Z(ω)Z(ω), но не сходящиеся к Z(ω)Z(ω) ни в одной точке ωΩω∈Ω.

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

Сходимость естественным образом определяется для и для . О сходимости рядов см. в статье Ряд. О сходимости см. в статье . Используют понятия сходимости ,

Ещё математики древности (, ), по существу, употребляли бесконечные ряды для нахождения площадей и объёмов. Доказательством сходимости рядов им служили вполне строгие рассуждения по схеме . Термин «сходимость» в применении к рядам был введён в 1668 г. шотландским математиком и астрономом Дж. Грегори при исследовании некоторых способов вычисления площади и гиперболического сектора. Математики 17 в. обычно имели ясное представление о сходимости употребляемых ими рядов, хотя и не проводили строгих, с современной точки зрения, доказательств. В 18 в. широко распространилось употребление в анализе заведомо расходящихся рядов (в частности, их широко применял ). Это, с одной стороны, привело впоследствии ко многим недоразумениям и ошибкам, устранённым лишь с развитием отчётливой теории сходимости, а с другой – предвосхитило современную теорию , которые являются расходящимися. Строгие методы исследования сходимости рядов были разработаны в 19 в. (, , , и др.). Понятие равномерной сходимости сформировалось в работах Н. Абеля, немецкого математика и астронома (1847–48) и (1848). Дальнейшие расширения понятия сходимости были связаны с развитием теории функций, и .

Редакция математических наук
  • Ряды
  • Сходимость