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

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

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

Источник

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки

Правила форума

В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе «Помогите решить/разобраться (М)».

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

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

Пользуясь определением предела последовательности доказать

Последний раз редактировалось rodo_by 24.10.2013, 23:26, всего редактировалось 4 раз(а).

Пользуясь определением предела последовательности доказать

что равносильно найти решение

при натуральных n дробь положительна, поэтому модуль можно убрать,
а что делать с неравенством

Я должен решать квадратное уравнение?

А если я буду искать N при которых это неравенство верно, рассуждая так:

Т.к. , то и

, а также

\sqrt<\frac<1><2\cdot\varepsilon>>$» title=»$N > \sqrt<\frac<1><2\cdot\varepsilon>>$» />

Ведь моя задача не обязательно найти наименьшее N, а одно из (при котором будет выполняться неравенство).

Заслуженный участник

Последний раз редактировалось provincialka 24.10.2013, 23:30, всего редактировалось 2 раз(а).

Заслуженный участник

Понял ошибочность своих рассуждений (у меня B \frac<4><\varepsilon>$» />

Последний раз редактировалось gefest_md 25.10.2013, 01:10, всего редактировалось 1 раз.

Заслуженный участник

Заслуженный участник

Последний раз редактировалось iifat 25.10.2013, 08:21, всего редактировалось 1 раз.

Заслуженный участник

Заслуженный участник

Последний раз редактировалось ewert 25.10.2013, 08:33, всего редактировалось 1 раз.

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

Заслуженный участник

Заслуженный участник

Последний раз редактировалось rodo_by 25.10.2013, 11:05, всего редактировалось 1 раз.

Это пожалуй лучший вариант.

Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей

Источник

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

`|x_n-a| oo) x_n=a` (читается: предел `x_n` при `n`, стремящемся к бесконечности, равен `a`). Последовательность, называется сходящейся, если существует число `a`, являющееся её пределом. Если такого числа `a` не существует, то последовательность называется расходящейся.

Часто в определении предела полагают число `k` натуральным. Однако, как нетрудно понять, получится эквивалентное определение.

Пусть выбрано произвольное `epsilon>0`. Нам нужно найти такое число `k`, что при всех `n>k` выполнялось бы неравенство `|x_n-c| k` имеет место неравенство `|x_n-c| oo)x_n=c`.

В разобранном примере число `k` удалось выбрать так, чтобы оно годилось сразу для всех `epsilon`. Такой случай не типичен.

Доказать, что `lim_(n->oo)1/n=0`.

Могут ли два разных числа быть пределами одной и той же последовательности?

Пусть `lim_(n->oo)x_n=a`. Имеет ли предел последовательность `(x_(n+1))`?

Пусть `lim_(n->oo)x_n=a`, `epsilon>o`. Можно ли утверждать, что найдётся такое число `k`, что `|x_n-a| k`?

Да. Поскольку `lim_(n->oo)x_n=a`, то по определению предела для любого положительного числа `alpha`, а следовательно, и для `alpha=epsilon//2`, найдётся число `k`, такое что `|x_n-a|k`.

Сформулируем необходимое условие существования предела.

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

Доказать, что последовательность `x_n=(-1)^n` не имеет предела.

Предположим противное, т. е. какое-то число `a` является пределом этой последовательности. Тогда для `epsilon=1` найдётся такое число `k`, что `|x_n-a| k`. Пусть номер `N>k`, тогда `|x_N-a| oo)y_n!=0`). При этом

Ограничимся доказательством пункта 2. Фиксируем произвольное `epsilon>0`. Нам нужно показать, что существует такое число `k`, что `|x_ny_n-ab| k`. По теореме 2.1 последовательности `(x_n)` и `(y_n)` ограничены; тем самым найдётся такое `C>0`, что `|x_n| k_1`, а также число `k_2` такое, что `|y_n-b| k_2`. Если положить `k=max`, то при `n>k` имеем:

`|x_ny_n-ab| oo)cx_n=clim_(n->oo)x_n` для любого `cinR`.

В самом деле, рассмотрим последовательность `y_n=c`. Поскольку `lim_(n->oo)y_n=c` (пример 2.1), то по пункту 2 теоремы 2.2

Показать, что `lim_(n->oo) 1/(n^2)=0`.

Поскольку `lim_(n->oo) 1/n=0`, то по пункту 2 теоремы 2.2

`lim_(n->oo) 1/(n^2)=lim_(n->oo) 1/n*lim_(n->oo) 1/n=0`.

Теорему 2.2 можно обобщить на произвольное (конечное) число слагаемых (сомножителей). В частности, `lim_(n->oo)1/n^m=0` для любого `m inN`.

Обозначим дробь, стоящую под знаком предела, через `x_n`. В числителе и знаменателе `x_n` стоят последовательности, не являющиеся ограниченными (доказывается аналогично примеру 1.6). По теореме 2.1 они не имеют предела и теорема о пределе частного (теорема 2.2 3)) «напрямую» здесь неприменима. Поступим следующим образом: поделим числитель и знаменатель на наибольшую степень `n`. По формулам сокращённого умножения `(n+2)^3-n(n-1)^2=8n^2+11n+8`, так что `x_n` можно переписать в виде:

Теперь в числителе и знаменателе `x_n` стоят сходящиеся последовательности:

По пункту 3 теоремы 2.2

Следующее полезное свойство пределов известно под названием теоремы о «зажатой» последовательности.

Для данного `epsilon>0` существует такое число `k_1`, что члены `x_n` лежат в интервале `(a-epsilon, a+epsilon)` при всех `n>k_1`, и существует такое число `k_2`, что члены `z_n` лежат в интервале `a-epsilon;a+epsilon)` при всех `n>k_2`. Положим `k=max`. Тогда при `n>k` одновременно `x_n in(a-epsilon;a+epsilon)` и `z_n in(a-epsilon;a+epsilon)` и, следовательно, `a-epsilon oo)x_n=1`.

Попробуем «зажать» `x_n` между членами последовательностей, сходящихся к одному и тому же числу, и применим теорему 2.3.

`sqrt(n^2+n) 1/(n+1) iff n/(sqrt(n^2+n))>n/(n+1)`.

Учитывая `n/(sqrt(n^2+1)) oo)n/(n+1)=1` и `lim_(n->oo)1=1`, по теореме 2.3 `lim_(n->oo)x_n=1`.

Если для любого `n inN`, `n>=n_0` выполняется неравенство `a_n oo)a_n=a`, `lim_(n->oo)b_n=b`, то `a b`. По определению предела для `epsilon=(a-b)/2` найдутся такие `k_1`, `k_2`, что для `n>k_1` выполняется `|a_n-a| k_2` выполняется `|b_n-b| k` имеем `b_n oo)1/n=0`.

В теории пределов важную роль играет следующий факт.

Всякая монотонная ограниченная последовательность имеет предел.

Эта теорема эквивалентна свойству полноты множества действительных чисел. Образно говоря, свойство полноты означает, что числовая ось является «сплошным» множеством, множеством без «дырок».

Источник

Как доказать предел последовательности по определению

Здесь мы рассмотрим определение конечного предела последовательности. Случай последовательности, сходящейся к бесконечности, рассмотрен на странице «Определение бесконечно большой последовательности».

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

Определение, что число a не является пределом

Теперь рассмотрим обратное утверждение, что число a не является пределом последовательности.

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

Тогда эквивалентное определение предела будет следующим.

Это определение можно представить и в развернутом виде.

Доказательство равносильности определений

Докажем, что, представленные выше, два определения предела последовательности равносильны.

Примеры

Пример 1

Пример 2

Все примеры ⇑ С помощью определения предела последовательности доказать, что
.

Пример 3

Все примеры ⇑ Используя определение предела последовательности доказать, что
.

Пример 4

Все примеры ⇑ Используя определение предела последовательности доказать, что
.

Использованная литература:
Л.Д. Кудрявцев. Курс математического анализа. Том 1. Москва, 2003.
С.М. Никольский. Курс математического анализа. Том 1. Москва, 1983.

Доброго времени суток!

Доказать через определение предела, подробнее, пожалуйста, т.к. не понимаю, что делать нужно.

задан 19 Ноя ’13 12:40

Нужно доказать, а не решить, вот в чем проблема, с помощью, как я поняла определения Коши.

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

1 ответ

отвечен 19 Ноя ’13 15:46

falcao
241k ● 1 ● 34 ● 48

Если вас не затруднит, то напишите, пожалуйста, как это же доказательство нужно сделать, но для лимита равного не конкретному числу, как в этом примере числу 2, а бесконечности. А будет ещё лучше, если для оставшихся двух моих примеров, чтоб уж наверняка понимать как и что делать. Заранее спасибо 🙂

Определение пределов последовательности и функции, свойства пределов, первый и второй замечательные пределы, примеры.

Постоянное число а называется пределом последовательности _n>, если для любого сколь угодно малого положительного числа ε > 0 существует номер N, что все значения x_n, у которых n>N, удовлетворяют неравенству

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

Понятие предел функции является обобщением понятия предел последовательности, так как предел последовательности можно рассматривать как предел функции x_n = f(n) целочисленного аргумента n.

Пусть дана функция f(x) и пусть a – предельная точка области определения этой функции D(f), т.е. такая точка, любая окрестность которой содержит точки множества D(f), отличные от a. Точка a может принадлежать множеству D(f), а может и не принадлежать ему.

Определение 1. Постоянное число А называется предел функции f(x) при x→ a, если для всякой последовательности _n> значений аргумента, стремящейся к а, соответствующие им последовательности _n)> имеют один и тот же предел А.

Это определение называют определением предела функции по Гейне, или “на языке последовательностей”.

Определение 2. Постоянное число А называется предел функции f(x) при x→a, если, задав произвольное, как угодно малое положительное число ε, можно найти такое δ >0 (зависящее от ε), что для всех x, лежащих в ε-окрестности числа а, т.е. для x, удовлетворяющих неравенству
0 » 2.7 – основание натурального логарифма. Формулы (6.10) и (6.11) носят название первый замечательного предело и второй замечательный предел.

Используются на практике и следствия формулы (6.11):

(6.12)

(6.13)

(6.14)

в частности предел,

(6.15)

Условие (6.15) можно переписать в виде:

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

Если равенство (6.15) нарушено, то говорят, что при x = x_o функция f(x) имеет разрыв. Рассмотрим функцию y = 1/x. Областью определения этой функции является множество R, кроме x = 0. Точка x = 0 является предельной точкой множества D(f), поскольку в любой ее окрестности, т.е. в любом открытом интервале, содержащем точку 0, есть точки из D(f), но она сама не принадлежит этому множеству. Значение f(x_o)= f(0) не определено, поэтому в точке x_o = 0 функция имеет разрыв.

Функция f(x) называется непрерывной справа в точке x_o, если предел

и непрерывной слева в точке x_o, если предел

Непрерывность функции в точке x_o равносильна ее непрерывности в этой точке одновременно и справа и слева.

Для того, чтобы функция была непрерывна в точке x_o, например, справа, необходимо, во-первых, чтобы существовал конечный предел , а во-вторых, чтобы этот предел был равен f(x_o). Следовательно, если хотя бы одно из этих двух условий не выполняется, то функция будет иметь разрыв.

1. Если предел существует и не равен f(x_o), то говорят, что функция f(x) в точке x_o имеет разрыв первого рода, или скачок.

Функция, непрерывная в каждой точке промежутка [a,b], называется непрерывной в [a,b]. Непрерывная функция изображается сплошной кривой.

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

Рассмотрим пример Я. И. Перельмана, дающий интерпретацию числа e в задаче о сложных процентах. Число e есть предел . В сбербанках процентные деньги присоединяются к основному капиталу ежегодно. Если присоединение совершается чаще, то капитал растет быстрее, так как в образовании процентов участвует большая сумма. Возьмем чисто теоретический, весьма упрощенный пример. Пусть в банк положено 100 ден. ед. из расчета 100 % годовых. Если процентные деньги будут присоединены к основному капиталу лишь по истечении года, то к этому сроку 100 ден. ед. превратятся в 200 ден.ед. Посмотрим теперь, во что превратятся 100 ден. ед., если процентные деньги присоединять к основному капиталу каждые полгода. По истечении полугодия 100 ден. ед. вырастут в 100 ×1,5 = 150, а еще через полгода – в 150× 1,5 = 225 (ден. ед.). Если присоединение делать каждые 1/3 года, то по истечении года 100 ден. ед. превратятся в 100 × (1 +1/3) 3 ≈ 237 (ден. ед.). Будем учащать сроки присоединения процентных денег до 0,1 года, до 0,01 года, до 0,001 года и т.д. Тогда из 100 ден. ед. спустя год получится:

100×(1 +1/10) 10 ≈ 259 (ден. ед.),

100×(1+1/100) 100 ≈ 270 (ден. ед.),

100×(1+1/1000) 1000 ≈271 (ден. ед.).

При безграничном сокращении сроков присоединения процентов наращенный капитал не растет беспредельно, а приближается к некоторому пределу, равному приблизительно 271. Более чем в 2,71 раз капитал, положенный под 100% годовых, увеличиться не может, даже если бы наросшие проценты присоединялись к капиталу каждую секунду, потому что предел

Пример 3.1. Пользуясь определением предела числовой последовательности, доказать, что последовательность x_n =(n-1)/n имеет предел, равный 1.

Пример 3.2. Найти предел последовательности, заданной общим членом .

Пример 3.3. . Найти .

Решение.

Здесь мы воспользовались теоремой о пределе степени: предел степени равен степени от предела основания.

Пример 3.4. Найти ().

Решение. Применять теорему предел разности нельзя, поскольку имеем неопределенность вида ∞-∞. Преобразуем формулу общего члена:

Пример 3.6. Доказать, что предел не существует.

Решение. Пусть x₁, x₂. x_n. – последовательность, для которой
. Как ведет себя последовательность _n)> = при различных x_n→ ∞

Если x_n= p n, то sin x_n= sin ( p n) = 0 при всех n и предел Если же
x_n=2 p n+ p /2, то sin x_n= sin(2 p n+ p /2) = sin p /2 = 1 для всех n и следовательно предел . Таким образом, не существует.

Пример 3.7 Найти предел

Пример 3.8. Вычислить предел .

Решение. Обозначим y=π-x. Тогда при x→π, y→0. Имеем:

sin 3x = sin 3(π-y) = sin(3π-3y) = sin 3y.

sin 4x = sin 4(π-y) = sin (π4-4y)= – sin 4y.

_Предел

Пример 3.9. Найти предел .

Решение. Обозначим arcsin x=t. Тогда x=sin t и при x→0, t→0. .

Пример 3.10. Найти 1) ;

2) ;

3) .

1) Применяя теорему 1 предел разности и предел произведения, находим предел знаменателя: .

Предел знаменателя не равен нулю, поэтому, по теореме 1 предел частного, получаем:

.

2) Здесь числитель и знаменатель стремятся к нулю, т.е. имеет место неопределенность вида 0/0. Теорема о пределе частного непосредственно неприменима. Для “раскрытия неопределенности” преобразуем данную функцию. Разделив числитель и знаменатель на x-2, получим при x ≠ 2 равенство:

Так как предел , то, по теореме предел частного, найдем

3. Числитель и знаменатель при x &rarr ∞ являются бесконечно большими функциями. Поэтому теорема предел частного непосредственно не применима. Разделим числитель и знаменатель на x 2 и к полученной функции применим теорему предел частного:

.

Пример 3.11. Найти предел .

Решение. Здесь числитель и знаменатель стремятся к нулю:, x-9→0, т.е. имеем неопределенность вида .

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

.

Пример 3.12. Найти предел .

Решение.

Источник