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

Значение, к которому стремится бесконечная последовательность

Последовательность, заданная периметрами правильных n -сторонних многоугольников , описывающих единичную окружность, имеет предел, равный периметру окружности, т. е . Соответствующая последовательность для вписанных многоугольников имеет тот же предел. ${\displaystyle 2\pi }$

По мере того, как положительное целое число становится все больше и больше, значение становится произвольно близким к . Мы говорим, что «предел последовательности равен ». ${\textstyle n}$ ${\textstyle n\times \sin \left({\tfrac {1}{n}}\right)}$ ${\textstyle 1}$ ${\textstyle n\times \sin \left({\tfrac {1}{n}}\right)}$ ${\textstyle 1}$

В математике предел последовательности — это значение, к которому «стремятся» члены последовательности , и часто обозначается с помощью символа (например, ). ^[1] Если такой предел существует и конечен, последовательность называется сходящейся . ^[2] Последовательность, которая не сходится, называется расходящейся . ^[3] Говорят, что предел последовательности — это фундаментальное понятие, на котором в конечном итоге покоится весь математический анализ . ^[1] ${\displaystyle \lim }$ ${\displaystyle \lim _{n\to \infty }a_{n}}$

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

История

Греческий философ Зенон Элейский известен формулировкой парадоксов, включающих ограничивающие процессы .

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

Грегуар де Сен-Венсан дал первое определение предела (терминуса) геометрической прогрессии в своем труде Opus Geometricum (1647): « Конец прогрессии — это конец ряда, которого никакая прогрессия не может достичь, даже если она продолжается в бесконечности, но к которому она может приблизиться ближе, чем на данный отрезок». ^[4]

Пьетро Менголи предвосхитил современную идею предела последовательности своим исследованием квазипропорций в Geometriae speciosae elementa (1659). Он использовал термин квазибесконечность для неограниченного и квазинуль для исчезающего .

Ньютон рассматривал ряды в своих работах « Анализ с бесконечными рядами» (написана в 1669 году, распространялась в рукописи, опубликована в 1711 году), «Метод флюксий и бесконечных рядов» (написана в 1671 году, опубликована в английском переводе в 1736 году, латинский оригинал опубликован гораздо позже) и «Трактат о квадратуре кривой» (написана в 1693 году, опубликована в 1704 году как Приложение к его «Оптике »). В последней работе Ньютон рассматривает биномиальное разложение , которое он затем линеаризует, взяв предел при стремится к . ${\textstyle (x+o)^{n}}$ ${\textstyle o}$ ${\textstyle 0}$

В XVIII веке математики, такие как Эйлер, преуспели в суммировании некоторых расходящихся рядов, останавливаясь в нужный момент; их не слишком заботило, существует ли предел, если его можно вычислить. В конце века Лагранж в своей «Теории аналитических функций» (1797) высказал мнение, что отсутствие строгости препятствует дальнейшему развитию исчисления. Гаусс в своем исследовании гипергеометрических рядов (1813) впервые строго исследовал условия, при которых ряд сходится к пределу.

Современное определение предела (для любого существует индекс такой, что ...) было дано Бернардом Больцано ( Der binomische Lehrsatz , Прага, 1816, которое в то время было мало замечено) и Карлом Вейерштрассом в 1870-х годах. ${\textstyle \varepsilon }$ ${\textstyle N}$

Реальные цифры

График сходящейся последовательности { a _n } показан синим цветом. Здесь видно, что последовательность сходится к пределу 0 по мере увеличения n .

В действительных числах число является пределом последовательности , если числа в последовательности становятся все ближе и ближе к , а не к какому-либо другому числу. ${\displaystyle L}$ ${\displaystyle (x_{n})}$ ${\displaystyle L}$

Примеры

• Если для константы , то . ^{[доказательство 1] [5]} ${\displaystyle x_{n}=c}$ ${\textstyle c}$ ${\displaystyle x_{n}\to c}$
• Если , то . ^{[доказательство 2] [5]} ${\displaystyle x_{n}={\frac {1}{n}}}$ ${\displaystyle x_{n}\to 0}$
• Если когда четное, а когда нечетное, то . (Тот факт, что когда нечетное, не имеет значения.) ${\displaystyle x_{n}={\frac {1}{n}}}$ ${\displaystyle n}$ ${\displaystyle x_{n}={\frac {1}{n^{2}}}}$ ${\displaystyle n}$ ${\displaystyle x_{n}\to 0}$ ${\displaystyle x_{n+1}>x_{n}}$ ${\displaystyle n}$
• Для любого действительного числа можно легко построить последовательность, которая сходится к этому числу, используя десятичные приближения. Например, последовательность сходится к . Десятичное представление является пределом предыдущей последовательности, определяемой как ${\textstyle 0.3,0.33,0.333,0.3333,\dots }$ ${\textstyle {\frac {1}{3}}}$ ${\textstyle 0.3333\dots }$ $${\displaystyle 0.3333...:=\lim _{n\to \infty }\sum _{k=1}^{n}{\frac {3}{10^{k}}}}$$
• Нахождение предела последовательности не всегда очевидно. Два примера — (пределом которой является число e ) и среднее арифметико-геометрическое . Теорема сжатия часто полезна при установлении таких пределов. ${\displaystyle \lim _{n\to \infty }\left(1+{\tfrac {1}{n}}\right)^{n}}$

Определение

Мы называем пределом последовательности , которая записывается ${\displaystyle x}$ ${\displaystyle (x_{n})}$

${\displaystyle x_{n}\to x}$, или

${\displaystyle \lim _{n\to \infty }x_{n}=x}$,

если выполняется следующее условие:

Для каждого действительного числа существует натуральное число такое, что для каждого натурального числа имеем . ^[6] ${\displaystyle \varepsilon >0}$ ${\displaystyle N}$ ${\displaystyle n\geq N}$ ${\displaystyle |x_{n}-x|<\varepsilon }$

Другими словами, для каждой меры близости члены последовательности в конечном итоге оказываются настолько близки к пределу. Говорят, что последовательность сходится или стремится к пределу . ${\displaystyle \varepsilon }$ ${\displaystyle (x_{n})}$ ${\displaystyle x}$

Символично, это:

${\displaystyle \forall \varepsilon >0\left(\exists N\in \mathbb {N} \left(\forall n\in \mathbb {N} \left(n\geq N\implies |x_{n}-x|<\varepsilon \right)\right)\right)}$.

Если последовательность сходится к некоторому пределу , то она сходящаяся и является единственным пределом; в противном случае она расходящаяся . Последовательность, имеющая ноль в качестве своего предела, иногда называется нулевой последовательностью . ${\displaystyle (x_{n})}$ ${\displaystyle x}$ ${\displaystyle x}$ ${\displaystyle (x_{n})}$

Иллюстрация

• 
  Пример последовательности, которая сходится к пределу ${\displaystyle a}$
• 
  Независимо от того, что у нас есть, есть индекс , так что последовательность впоследствии полностью лежит в эпсилон-трубке . ${\displaystyle \varepsilon >0}$ ${\displaystyle N_{0}}$ ${\displaystyle (a-\varepsilon ,a+\varepsilon )}$
• 
  Также существует меньший индекс , так что последовательность впоследствии оказывается внутри трубки эпсилон . ${\displaystyle \varepsilon _{1}>0}$ ${\displaystyle N_{1}}$ ${\displaystyle (a-\varepsilon _{1},a+\varepsilon _{1})}$
• 
  Для каждого из них существует лишь конечное число членов последовательности за пределами эпсилон-трубки. ${\displaystyle \varepsilon >0}$

Характеристики

Некоторые другие важные свойства пределов действительных последовательностей включают в себя следующее:

• Если он существует, предел последовательности уникален. ^[5]
• Пределы последовательностей ведут себя хорошо по отношению к обычным арифметическим операциям . Если и существует, то ${\displaystyle \lim _{n\to \infty }a_{n}}$ ${\displaystyle \lim _{n\to \infty }b_{n}}$

${\displaystyle \lim _{n\to \infty }(a_{n}\pm b_{n})=\lim _{n\to \infty }a_{n}\pm \lim _{n\to \infty }b_{n}}$^[5]

${\displaystyle \lim _{n\to \infty }ca_{n}=c\cdot \lim _{n\to \infty }a_{n}}$^[5]

${\displaystyle \lim _{n\to \infty }(a_{n}\cdot b_{n})=\left(\lim _{n\to \infty }a_{n}\right)\cdot \left(\lim _{n\to \infty }b_{n}\right)}$^[5]

${\displaystyle \lim _{n\to \infty }\left({\frac {a_{n}}{b_{n}}}\right)={\frac {\lim \limits _{n\to \infty }a_{n}}{\lim \limits _{n\to \infty }b_{n}}}}$при условии ^[5] ${\displaystyle \lim _{n\to \infty }b_{n}\neq 0}$

${\displaystyle \lim _{n\to \infty }a_{n}^{p}=\left(\lim _{n\to \infty }a_{n}\right)^{p}}$

• Для любой непрерывной функции , если существует, то существует тоже. Фактически, любая вещественнозначная функция непрерывна тогда и только тогда, когда она сохраняет пределы последовательностей (хотя это не обязательно верно при использовании более общих понятий непрерывности). ${\textstyle f}$ ${\displaystyle \lim _{n\to \infty }x_{n}}$ ${\displaystyle \lim _{n\to \infty }f\left(x_{n}\right)}$ ${\textstyle f}$

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

Эти свойства широко используются для доказательства пределов, без необходимости напрямую использовать громоздкое формальное определение. Например, как только доказано, что , становится легко показать — используя свойства выше — что (предполагая, что ). ${\displaystyle 1/n\to 0}$ ${\displaystyle {\frac {a}{b+{\frac {c}{n}}}}\to {\frac {a}{b}}}$ ${\displaystyle b\neq 0}$

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

Говорят, что последовательность стремится к бесконечности , записывается так: ${\displaystyle (x_{n})}$

${\displaystyle x_{n}\to \infty }$, или

${\displaystyle \lim _{n\to \infty }x_{n}=\infty }$,

если выполняется следующее:

Для каждого действительного числа существует натуральное число такое, что для каждого натурального числа имеем ; то есть члены последовательности в конечном итоге больше любого фиксированного . ${\displaystyle K}$ ${\displaystyle N}$ ${\displaystyle n\geq N}$ ${\displaystyle x_{n}>K}$ ${\displaystyle K}$

Символично, это:

${\displaystyle \forall K\in \mathbb {R} \left(\exists N\in \mathbb {N} \left(\forall n\in \mathbb {N} \left(n\geq N\implies x_{n}>K\right)\right)\right)}$.

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

${\displaystyle x_{n}\to -\infty }$, или

${\displaystyle \lim _{n\to \infty }x_{n}=-\infty }$,

если выполняется следующее:

Для каждого действительного числа существует натуральное число такое, что для каждого натурального числа имеем ; то есть члены последовательности в конечном итоге меньше любого фиксированного . ${\displaystyle K}$ ${\displaystyle N}$ ${\displaystyle n\geq N}$ ${\displaystyle x_{n}<K}$ ${\displaystyle K}$

Символично, это:

${\displaystyle \forall K\in \mathbb {R} \left(\exists N\in \mathbb {N} \left(\forall n\in \mathbb {N} \left(n\geq N\implies x_{n}<K\right)\right)\right)}$.

Если последовательность стремится к бесконечности или минус бесконечности, то она расходящаяся. Однако расходящаяся последовательность не обязательно стремится к плюс или минус бесконечности, и последовательность представляет собой один из таких примеров. ${\displaystyle x_{n}=(-1)^{n}}$

Метрические пространства

Определение

Точка метрического пространства является пределом последовательности , если: ${\displaystyle x}$ ${\displaystyle (X,d)}$ ${\displaystyle (x_{n})}$

Для каждого действительного числа существует натуральное число такое, что для каждого натурального числа имеем . ${\displaystyle \varepsilon >0}$ ${\displaystyle N}$ ${\displaystyle n\geq N}$ ${\displaystyle d(x_{n},x)<\varepsilon }$

Символично, это:

${\displaystyle \forall \varepsilon >0\left(\exists N\in \mathbb {N} \left(\forall n\in \mathbb {N} \left(n\geq N\implies d(x_{n},x)<\varepsilon \right)\right)\right)}$.

Это совпадает с определением, данным для действительных чисел, когда и . ${\displaystyle X=\mathbb {R} }$ ${\displaystyle d(x,y)=|x-y|}$

Характеристики

• Если он существует, то предел последовательности является уникальным, поскольку отдельные точки разделены некоторым положительным расстоянием, поэтому для расстояния, меньшего половины этого расстояния, члены последовательности не могут находиться в пределах расстояния от обеих точек. ${\displaystyle \varepsilon }$ ${\displaystyle \varepsilon }$

• Для любой непрерывной функции f , если существует, то . Фактически, функция f непрерывна тогда и только тогда, когда она сохраняет пределы последовательностей. ${\displaystyle \lim _{n\to \infty }x_{n}}$ ${\displaystyle \lim _{n\to \infty }f(x_{n})=f\left(\lim _{n\to \infty }x_{n}\right)}$

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

График последовательности Коши ( x _n ), показанный синим цветом, в зависимости от n . Визуально мы видим, что последовательность, по-видимому, сходится к предельной точке, поскольку члены последовательности становятся ближе друг к другу по мере увеличения n . В действительных числах каждая последовательность Коши сходится к некоторому пределу. ${\displaystyle x_{n}}$

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

Топологические пространства

Определение

Точка топологического пространства — это ${\displaystyle x\in X}$ ${\displaystyle (X,\tau )}$предел илипредельная точка ^[7][8]последовательности,если : ${\displaystyle \left(x_{n}\right)_{n\in \mathbb {N} }}$

Для каждой окрестности существует такая , что для каждого имеем . ^[9] ${\displaystyle U}$ ${\displaystyle x}$ ${\displaystyle N\in \mathbb {N} }$ ${\displaystyle n\geq N}$ ${\displaystyle x_{n}\in U}$

Это совпадает с определением, данным для метрических пространств, если — метрическое пространство, а — топология, порожденная . ${\displaystyle (X,d)}$ ${\displaystyle \tau }$ ${\displaystyle d}$

Предел последовательности точек в топологическом пространстве является частным случаем предела функции : область определения находится в пространстве с индуцированной топологией аффинно расширенной системы действительных чисел , область значений равна , а аргумент функции стремится к , что в этом пространстве является предельной точкой . ${\displaystyle \left(x_{n}\right)_{n\in \mathbb {N} }}$ ${\displaystyle T}$ ${\displaystyle \mathbb {N} }$ ${\displaystyle \mathbb {N} \cup \lbrace +\infty \rbrace }$ ${\displaystyle T}$ ${\displaystyle n}$ ${\displaystyle +\infty }$ ${\displaystyle \mathbb {N} }$

Характеристики

В хаусдорфовом пространстве пределы последовательностей уникальны всякий раз, когда они существуют. Это не обязательно так в нехаусдорфовых пространствах; в частности, если две точки и топологически неразличимы , то любая последовательность, которая сходится к , должна сходиться к и наоборот. ${\displaystyle x}$ ${\displaystyle y}$ ${\displaystyle x}$ ${\displaystyle y}$

Гиперреальные числа

Определение предела с использованием гипердействительных чисел формализует интуицию, что для "очень большого" значения индекса соответствующий член "очень близок" к пределу. Точнее, действительная последовательность стремится к L, если для каждого бесконечного гиперестественного член бесконечно близок к (т.е. разность бесконечно мала ). Эквивалентно, L является стандартной частью : ${\displaystyle (x_{n})}$ ${\textstyle H}$ ${\displaystyle x_{H}}$ ${\textstyle L}$ ${\displaystyle x_{H}-L}$ ${\displaystyle x_{H}}$

${\displaystyle L={\rm {st}}(x_{H})}$.

Таким образом, предел можно определить по формуле

${\displaystyle \lim _{n\to \infty }x_{n}={\rm {st}}(x_{H})}$.

где предел существует тогда и только тогда, когда правая часть не зависит от выбора бесконечности . ${\textstyle H}$

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

Иногда можно также рассмотреть последовательность с более чем одним индексом, например, двойную последовательность . Эта последовательность имеет предел , если она становится все ближе и ближе к , когда и n, и m становятся очень большими. ${\displaystyle (x_{n,m})}$ ${\displaystyle L}$ ${\displaystyle L}$

Пример

• Если для константы , то . ${\displaystyle x_{n,m}=c}$ ${\textstyle c}$ ${\displaystyle x_{n,m}\to c}$
• Если , то . ${\displaystyle x_{n,m}={\frac {1}{n+m}}}$ ${\displaystyle x_{n,m}\to 0}$
• Если , то предела не существует. В зависимости от относительной «скорости роста» и эта последовательность может приблизиться к любому значению между и . ${\displaystyle x_{n,m}={\frac {n}{n+m}}}$ ${\textstyle n}$ ${\textstyle m}$ ${\textstyle 0}$ ${\textstyle 1}$

Определение

Мы называем двойной предел последовательности , записанной ${\displaystyle x}$ ${\displaystyle (x_{n,m})}$

${\displaystyle x_{n,m}\to x}$, или

${\displaystyle \lim _{\begin{smallmatrix}n\to \infty \\m\to \infty \end{smallmatrix}}x_{n,m}=x}$,

если выполняется следующее условие:

Для каждого действительного числа существует натуральное число такое, что для каждой пары натуральных чисел имеем . ^[10] ${\displaystyle \varepsilon >0}$ ${\displaystyle N}$ ${\displaystyle n,m\geq N}$ ${\displaystyle |x_{n,m}-x|<\varepsilon }$

Другими словами, для каждой меры близости члены последовательности в конечном итоге оказываются настолько близки к пределу. Говорят, что последовательность сходится или стремится к пределу . ${\displaystyle \varepsilon }$ ${\displaystyle (x_{n,m})}$ ${\displaystyle x}$

Символично, это:

${\displaystyle \forall \varepsilon >0\left(\exists N\in \mathbb {N} \left(\forall n,m\in \mathbb {N} \left(n,m\geq N\implies |x_{n,m}-x|<\varepsilon \right)\right)\right)}$.

Двойной предел отличается от взятия предела сначала по n , а затем по m . Последнее известно как итерированный предел . Учитывая, что и двойной предел, и итерированный предел существуют, они имеют одинаковое значение. Однако возможно, что один из них существует, а другой — нет.

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

Говорят, что последовательность стремится к бесконечности , записывается так: ${\displaystyle (x_{n,m})}$

${\displaystyle x_{n,m}\to \infty }$, или

${\displaystyle \lim _{\begin{smallmatrix}n\to \infty \\m\to \infty \end{smallmatrix}}x_{n,m}=\infty }$,

если выполняется следующее:

Для каждого действительного числа существует натуральное число такое, что для каждой пары натуральных чисел имеем ; то есть члены последовательности в конечном итоге больше любого фиксированного . ${\displaystyle K}$ ${\displaystyle N}$ ${\displaystyle n,m\geq N}$ ${\displaystyle x_{n,m}>K}$ ${\displaystyle K}$

Символично, это:

${\displaystyle \forall K\in \mathbb {R} \left(\exists N\in \mathbb {N} \left(\forall n,m\in \mathbb {N} \left(n,m\geq N\implies x_{n,m}>K\right)\right)\right)}$.

Аналогично, последовательность стремится к минус бесконечности , записанная ${\displaystyle (x_{n,m})}$

${\displaystyle x_{n,m}\to -\infty }$, или

${\displaystyle \lim _{\begin{smallmatrix}n\to \infty \\m\to \infty \end{smallmatrix}}x_{n,m}=-\infty }$,

если выполняется следующее:

Для каждого действительного числа существует натуральное число такое, что для каждой пары натуральных чисел имеем ; то есть члены последовательности в конечном итоге меньше любого фиксированного . ${\displaystyle K}$ ${\displaystyle N}$ ${\displaystyle n,m\geq N}$ ${\displaystyle x_{n,m}<K}$ ${\displaystyle K}$

Символично, это:

${\displaystyle \forall K\in \mathbb {R} \left(\exists N\in \mathbb {N} \left(\forall n,m\in \mathbb {N} \left(n,m\geq N\implies x_{n,m}<K\right)\right)\right)}$.

Если последовательность стремится к бесконечности или минус бесконечности, то она расходящаяся. Однако расходящаяся последовательность не обязательно стремится к плюс или минус бесконечности, и последовательность представляет собой один из таких примеров. ${\displaystyle x_{n,m}=(-1)^{n+m}}$

Точечные пределы и равномерные пределы

Для двойной последовательности мы можем взять предел в одном из индексов, скажем, , чтобы получить одинарную последовательность . Фактически, есть два возможных значения при взятии этого предела. Первый из них называется пределом по точкам , обозначаемым ${\displaystyle (x_{n,m})}$ ${\displaystyle n\to \infty }$ ${\displaystyle (y_{m})}$

${\displaystyle x_{n,m}\to y_{m}\quad {\text{pointwise}}}$, или

${\displaystyle \lim _{n\to \infty }x_{n,m}=y_{m}\quad {\text{pointwise}}}$,

что означает:

Для каждого действительного числа и каждого фиксированного натурального числа существует натуральное число такое, что для каждого натурального числа имеем . ^[11] ${\displaystyle \varepsilon >0}$ ${\displaystyle m}$ ${\displaystyle N(\varepsilon ,m)>0}$ ${\displaystyle n\geq N}$ ${\displaystyle |x_{n,m}-y_{m}|<\varepsilon }$

Символично, это:

${\displaystyle \forall \varepsilon >0\left(\forall m\in \mathbb {N} \left(\exists N\in \mathbb {N} \left(\forall n\in \mathbb {N} \left(n\geq N\implies |x_{n,m}-y_{m}|<\varepsilon \right)\right)\right)\right)}$.

Когда такой предел существует, мы говорим, что последовательность сходится поточечно к . ${\displaystyle (x_{n,m})}$ ${\displaystyle (y_{m})}$

Второй называется равномерным пределом и обозначается

${\displaystyle x_{n,m}\to y_{m}\quad {\text{uniformly}}}$,

${\displaystyle \lim _{n\to \infty }x_{n,m}=y_{m}\quad {\text{uniformly}}}$,

${\displaystyle x_{n,m}\rightrightarrows y_{m}}$, или

${\displaystyle {\underset {n\to \infty }{\mathrm {unif} \lim }}\;x_{n,m}=y_{m}}$,

что означает:

Для каждого действительного числа существует натуральное число такое, что для каждого натурального числа и для каждого натурального числа мы имеем . ^[11] ${\displaystyle \varepsilon >0}$ ${\displaystyle N(\varepsilon )>0}$ ${\displaystyle m}$ ${\displaystyle n\geq N}$ ${\displaystyle |x_{n,m}-y_{m}|<\varepsilon }$

Символично, это:

${\displaystyle \forall \varepsilon >0\left(\exists N\in \mathbb {N} \left(\forall m\in \mathbb {N} \left(\forall n\in \mathbb {N} \left(n\geq N\implies |x_{n,m}-y_{m}|<\varepsilon \right)\right)\right)\right)}$.

В этом определении выбор не зависит от . Другими словами, выбор единообразно применим ко всем натуральным числам . Следовательно, можно легко увидеть, что равномерная сходимость является более сильным свойством, чем поточечная сходимость: существование равномерного предела подразумевает существование и равенство поточечного предела: ${\displaystyle N}$ ${\displaystyle m}$ ${\displaystyle N}$ ${\displaystyle m}$

Если равномерно, то поточечно. ${\displaystyle x_{n,m}\to y_{m}}$ ${\displaystyle x_{n,m}\to y_{m}}$

Когда такой предел существует, мы говорим, что последовательность равномерно сходится к . ${\displaystyle (x_{n,m})}$ ${\displaystyle (y_{m})}$

Повторяющийся предел

Для двойной последовательности мы можем взять предел в одном из индексов, скажем, , чтобы получить одинарную последовательность , а затем взять предел в другом индексе, а именно , чтобы получить число . Символически, ${\displaystyle (x_{n,m})}$ ${\displaystyle n\to \infty }$ ${\displaystyle (y_{m})}$ ${\displaystyle m\to \infty }$ ${\displaystyle y}$

${\displaystyle \lim _{m\to \infty }\lim _{n\to \infty }x_{n,m}=\lim _{m\to \infty }y_{m}=y}$.

Этот предел известен как итеративный предел двойной последовательности. Порядок взятия пределов может повлиять на результат, т.е.

${\displaystyle \lim _{m\to \infty }\lim _{n\to \infty }x_{n,m}\neq \lim _{n\to \infty }\lim _{m\to \infty }x_{n,m}}$в общем.

Достаточное условие равенства дается теоремой Мура-Осгуда , которая требует, чтобы предел был равномерным по . ^[10] ${\displaystyle \lim _{n\to \infty }x_{n,m}=y_{m}}$ ${\textstyle m}$

Смотрите также

• Предельная точка
• Последующий лимит
• Предел верхний и предел нижний
• Предел функции
• Предел последовательности множеств
• Предел сети
• Точечная сходимость
• Равномерная сходимость
• Режимы конвергенции

Примечания

1. Courant (1961), стр. 29.
2. Weisstein, Eric W. "Convergent Sequence". mathworld.wolfram.com . Получено 18.08.2020 .
3. Курант (1961), стр. 39.
4. Ван Лой, Х. (1984). Хронология и исторический анализ математических рукописей Грегориуса Санкто Винченцио (1584–1667). История математики, 11 (1), 57–75.
5. «Пределы последовательностей | Блестящая вики по математике и наукам» . блестящий.орг . Проверено 18 августа 2020 г.
6. Weisstein, Eric W. "Limit". mathworld.wolfram.com . Получено 18 августа 2020 г.
7. Дугунджи 1966, стр. 209–210.
8. Часар 1978, стр. 61.
9. Зейдлер, Эберхард (1995). Прикладной функциональный анализ: основные принципы и их приложения (1-е изд.). Нью-Йорк: Springer-Verlag. С. 29. ISBN 978-0-387-94422-7.
10. Zakon, Elias (2011). "Глава 4. Пределы функций и непрерывность". Математический анализ, том I. стр. 223. ISBN 9781617386473.
11. Habil, Eissa (2005). "Двойные последовательности и двойные серии" . Получено 28.10.2022 .

Доказательства

1. Доказательство : Выберите . Для каждого , ${\displaystyle N=1}$ ${\displaystyle n\geq N}$ ${\displaystyle |x_{n}-c|=0<\varepsilon }$
2. Доказательство : выбираем ( функцию пола ). Для каждого , . ${\displaystyle N=\left\lfloor {\frac {1}{\varepsilon }}\right\rfloor +1}$ ${\displaystyle n\geq N}$ ${\displaystyle |x_{n}-0|\leq x_{N}={\frac {1}{\lfloor 1/\varepsilon \rfloor +1}}<\varepsilon }$

Ссылки

• Часар, Акош (1978). Общая топология . Перевод Часара, Клары. Бристоль, Англия: ISBN Adam Hilger Ltd. 0-85274-275-4. OCLC  4146011.
• Дугунджи, Джеймс (1966). Топология . Бостон: Аллин и Бэкон. ISBN 978-0-697-06889-7. OCLC  395340485.
• Курант, Ричард (1961). «Дифференциальное и интегральное исчисление, том I», Blackie & Son, Ltd., Глазго.
• Фрэнк Морли и Джеймс Харкнесс Трактат по теории функций (Нью-Йорк: Macmillan, 1893)

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

• «Предел», Энциклопедия математики , EMS Press , 2001 [1994]
• История исчисления, включая пределы