Используя определение предела доказать что

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

п.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\).
Что и требовалось доказать.

Источник