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

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

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

Более подробно см. страницу Определение числовой последовательности >>>.
Далее мы будем считать, что элементами последовательности являются действительные числа.

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

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

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

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

Основные свойства

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

Теорема единственности предела числовой последовательности. Если последовательность имеет предел, то он единственный.

Если последовательность имеет конечный предел, то она ограничена.

Если у последовательности добавить, отбросить или изменить первые m элементов, то это не повлияет на ее сходимость.

Арифметические действия с пределами

Свойства, связанные с неравенствами

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

Бесконечно малая последовательность

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

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

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

Доказательства свойств бесконечно малых последовательностей приведены на странице
Бесконечно малые последовательности – определение и свойства >>>.

Бесконечно большая последовательность

Если последовательность бесконечно большая, а последовательность ограничена, то
.

Если абсолютные значения элементов последовательности ограничены снизу положительным числом ( ), а – бесконечно малая с неравными нулю элементами, то
.

Более подробно определение бесконечно большой последовательности с примерами приводится на странице
Определение бесконечно большой последовательности >>>.
Доказательства свойств бесконечно больших последовательностей приведены на странице
Свойства бесконечно больших последовательностей >>>.

Критерии сходимости последовательностей

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

Аналогичными неравенствами определяются другие монотонные последовательности.

Строго убывающая последовательность:
.
Неубывающая последовательность:
.
Невозрастающая последовательность:
.

Отсюда следует, что строго возрастающая последовательность также является неубывающей. Строго убывающая последовательность также является невозрастающей.

Монотонная последовательность – это неубывающая или невозрастающая последовательность.

Теорема Вейерштрасса. Для того чтобы неубывающая (невозрастающая) последовательность имела конечный предел, необходимо и достаточно, чтобы она была ограниченной сверху (снизу ). Здесь M – некоторое число.

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

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

Критерий Коши сходимости последовательности

Фундаментальная последовательность – это последовательность, удовлетворяющая условию Коши.

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

Доказательство критерия сходимости Коши приведено на странице
Критерий Коши сходимости последовательности >>>.

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

Доказательство теоремы Больцано – Вейерштрасса приведено на странице
Теорема Больцано – Вейерштрасса >>>.

Определения, теоремы и свойства подпоследовательностей и частичных пределов рассмотрены на странице
Подпоследовательности и частичные пределы после­довательностей>>>.

Использованная литература:
С.М. Никольский. Курс математического анализа. Том 1. Москва, 1983.
Л.Д. Кудрявцев. Курс математического анализа. Том 1. Москва, 2003.
В.А. Зорич. Математический анализ. Часть 1. Москва, 1997.
В.А. Ильин, Э.Г. Позняк. Основы математического анализа. Часть 1. Москва, 2005.

Источник

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

Предел числовой последовательности — предел последовательности элементов числового пространства. Числовое пространство — это метрическое пространство, расстояние в котором определяется как модуль разности между элементами. Поэтому,

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

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

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

Содержание

История

Понятие предела использовалось ещё Ньютоном во второй половине XVII века и математиками XVIII века, такими как Эйлер и Лагранж, однако они понимали предел интуитивно. Первые строгие определения предела последовательности дали Больцано в 1816 году и Коши в 1821 году.

Определение

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

0

\exists N = N(\varepsilon)

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

0

\forall n \geqslant N \colon |x_n| > A» border=»0″ />

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

0

\forall n \geqslant N \colon x_n > A» border=»0″ />

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

0

\forall n \geqslant N \colon x_n

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

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

Обозначения

Тот факт, что последовательность сходится к числу обозначается одним из следующих способов:

Свойства

Существуют определённые особенности для предела последовательностей вещественных чисел. [2]

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

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

Свойства

Арифметические свойства

Свойства сохранения порядка

Другие свойства

Примеры

Случай комплексных чисел

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

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

Примеры

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

Замечания

См. также

Примечания

Ссылки

Полезное

Смотреть что такое «Предел числовой последовательности» в других словарях:

предел — сущ., м., употр. часто Морфология: (нет) чего? предела, чему? пределу, (вижу) что? предел, чем? пределом, о чём? о пределе; мн. что? пределы, (нет) чего? пределов, чему? пределам, (вижу) что? пределы, чем? пределами, о чём? о пределах 1. Пределом … Толковый словарь Дмитриева

Предел вдоль фильтра — обобщение понятия предела. Содержание 1 Определение фильтра 2 Определение предела … Википедия

Числовой ряд — Числовой ряд это числовая последовательность, рассматриваемая вместе с другой последовательностью, которая называется последовательностью частичных сумм (ряда). Рассматриваются числовые ряды двух видов вещественные числовые ряды … … Википедия

ПРЕДЕЛ — одно из основных понятий математики, означающее, что какая то переменная, зависящая от другой переменной, при определенном изменении последней, неограниченно приближается к нек рому постоянному значению. Основным при определении П. является… … Математическая энциклопедия

Предел функции — x 1 0.841471 0.1 0.998334 0.01 0.999983 Хотя функция (sin x)/x в нуле не определена, когда x приближается к нулю, значение (sin x)/x становится сколь угодно близко к 1. Другими словами, предел функции (sin x)/x при x, стремящемся к … Википедия

Предел — одно из основных понятий математики. П. постоянная, к которой неограниченно приближается некоторая переменная величина, зависящая от другой переменной величины, при определённом изменении последней. Простейшим является понятие П. числовой … Большая советская энциклопедия

предел — а; м. 1. Край, конечная часть чего л. П. полей, лесов. Раскинулась степь без конца и предела. Кажется, нет предела пустыни. П. жизни (кончина, смерть). 2. обычно мн.: пределы, ов. Естественная или условная черта, являющаяся границей какой л.… … Энциклопедический словарь

предел — ▲ граница ↑ изменение предел граница изменения переменной величины; граница возможного (# числовой последовательности). грань. край. порог. не+сравн. степень, чем. (не больше, чем десять). на краю (# света). геркулесовы столбы [столпы].… … Идеографический словарь русского языка

Источник

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

п.1. Определение последовательности

С понятием «последовательность» мы уже познакомились, когда изучали прогрессии (см. §24 справочника для 9 класса). По определению:

Т.е., числовая последовательность – это некий набор чисел с присвоенными им порядковыми номерами. Это набор можно задать формулой, описанием или просто перечислением.

Например:
1) Формула \(y_n=\frac1n,\ n\in\mathbb\) задает бесконечную последовательность дробей:

2) Формула \(y_n=(-1)^n,\ n\in\mathbb\) задает бесконечную последовательность «прыгающих» единиц:

3) Рекуррентная формула \(y_1=1,\ y_2=1,\ y_(n+2)=y_(n+1)+y_n\) задает бесконечную последовательность чисел Фибоначчи:

4) Описание «число π точностью до \(10^<-n>\)» задает бесконечную последовательность все более «подробных» значений числа π:

Этот ряд можно также задать формулой \(y_n=\frac<[\pi\cdot 10^n]><10^n>\), где квадратные скобки обозначают целую часть от числа.

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

Поведение последовательности «на длинных дистанциях» может быть неочевидным. Чтобы лучше понять, возрастает или убывает заданный ряд чисел, ограничен ли он какой-либо величиной или уходит на бесконечность, проще всего построить график.

1) \(y_n=\frac1n\) Последовательность сходится к 0

2) \(y_n=(-1)^n\) Последовательность ни к чему не сходится

3) числа Фибоначчи \(y_1=1,\ y_2=1,\ y_=y_+y_n\) Последовательность уходит на бесконечность

4) приближения числа π Последовательность сходится к π

п.3. Как доказать сходимость последовательности к пределу?

И построим график (в логарифмическом масштабе):

Мы видим, что чем меньше ε, тем больше \(N_<\varepsilon>\). Но главное – мы всегда можем его указать.
Таким образом, мы доказали, что действительно \(\lim_\frac<1>=0\)
Ведь для любого сколь угодно малого \(\varepsilon\gt 0\) мы можем указать такой номер \(N_<\varepsilon>=\left[\frac1\varepsilon-4\right]+1\), начиная с которого, для всех членов последовательности с номерами \(n\geq N_<\varepsilon>\) разность \(\left|\frac<1>-0\right|\), т.е. эти члены не выйдут за переделы ε окрестности предела b=0.

Построенный график интересен еще и тем, что показывает одно из важных практических применений логарифмов: если разбросы по шкалам очень велики, отличаются на порядки, то графики удобней строить в десятичных логарифмах.
Такие графики часто можно увидеть у физиков-ядерщиков, копающих вглубь, от нанометров до планковских длин; или у астрономов, всматривающихся вдаль, от тысяч километров до гигапарсек.

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

п.5. Как доказать неограниченность последовательности?

Таким образом, мы доказали, что действительно \(\lim_n^2=+\infty\)
Ведь для любого сколь угодно большого \(M\gt 0\) мы можем указать такой номер \(N_M=[\sqrt]\), начиная с которого, для всех членов последовательности с номерами \(n\geq N_M,\ y_n=n^2\gt M\), т.е. члены последовательности становятся ещё больше.

п.6. Примеры

Таким образом, для любого сколь угодно малого ε>0 найдется номер в последовательности \(N_<\varepsilon>=\left[\frac12\left(\frac<5><2\varepsilon>+3\right)\right]+1\), начиная с которого
\(\left|\frac<3-2n>+\frac12\right|\lt\varepsilon,\ n\geq N_<\varepsilon>\geq 2\).
Что и требовалось доказать.

Показанный приём с усилением неравенства часто применяется в математическом анализе. Найденное \(N_<\varepsilon>\) немного больше «точного» значения, которое следует из исходной дроби \(\frac<3(3n^2+n+1)>\), но наша задача в том, чтобы обоснованно построить любое выражение для стартового номера \(N_<\varepsilon>\) в зависимости от ε.
Если найденный номер будет немного больше исходного – не страшно; главное, чтобы он 1) был обоснован; 2) гарантировал размещение всех последующих \(y_n,\ n\geq N_<\varepsilon>\) в ε окрестности предела b.

Таким образом, для любого сколь угодно малого ε>0 найдется номер в последовательности \(N_<\varepsilon>=\left[\frac<1><3\sqrt<\varepsilon>>\right]\), начиная с которого \(\left|\frac<3n^2+n+1>-\frac13\right|\lt\varepsilon,\ n\geq N_<\varepsilon>\geq 3\).
Что и требовалось доказать.

Таким образом, для любого сколь угодно малого ε>0 найдется номер в последовательности \(N_<\varepsilon>=\left[-\log_3\varepsilon\right]\), начиная с которого \(\left|\frac<3^n+1><3^n>-1\right|\lt\varepsilon,\ n\geq N_<\varepsilon>\).
Что и требовалось доказать.

Таким образом, для любого сколь угодно малого ε>0 найдется номер в последовательности \(N_<\varepsilon>=\left[\left(\frac<1><5\varepsilon>-1\right)^2\right]\), начиная с которого \(\left|\frac<\sqrt><5\sqrt+1>-\frac15\right|\lt\varepsilon,\ n\geq N_<\varepsilon>\).
Что и требовалось доказать.

Пример 2. Используя определения неограниченной последовательности, докажите, что:
a) \( \lim_2^n=+\infty \)
По условию: \(y_n=2^n\)
Записываем неравенство \(|y_n|\gt M\):
\begin 2^n\gt M\Rightarrow n\gt \log_2M\\ N_M=\left[\log_2M\right]+1 \end Например:

Таким образом, для любого сколь угодно большого \(M\gt 0\) мы можем указать такой номер \(N_M=\left[\log_2M\right]+1\), начиная с которого, для всех членов последовательности с номерами \(n\geq N_M,\ y_n=2^n\gt M\).
Что и требовалось доказать.

Таким образом, для любого сколь угодно большого \(M\gt 0\) мы можем указать такой номер \(N_M=\left[M^2\right]\), начиная с которого, для всех членов последовательности с номерами \(n\geq N_M,\ y_n=\sqrt\gt M\).
Что и требовалось доказать.

Источник

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

Из Википедии — свободной энциклопедии

С ростом значения n значение функции n sin(1/n) приближается к 1. Говорят, что «предел последовательности n sin(1/n) равен 1».

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

Обозначение: lim n → ∞ x n = a <\displaystyle \lim _x_=a>

(читается: предел последовательности икс энное при эн, стремящемся к бесконечности, равен a [1] [2] )

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

Источник