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

1. Теорема о пределе суммы:

Пусть lim a_n=a lim b_n=b  lim a_n+_n=a+b

^{n+ n+ n+}

Докозательство: a_n=a+_n b_n=b+_n Сложим a_n+b_n=a+b+_n+_n=a+b+_n lim a_n+b_n=a+b

^n+

2) Теорема о произведение пределов:

Пусть lim a_n=a lim b_n=b  lim a_nb_n=ab

^{n+ n+ n+}

Доказательство: a_n=a+_n b_n=b+_n  a_nb_n=(a+_n)(b+_n) a_nb_n=ab+a_n+b_n+_n_n=ab+_n lim a_nb_n=ab что и

^n+

требовалось доказать.

2. Теорема о пределе частного

Пусть lim a_n=a lim b_n=b b0 lim a_n/b_n=a/b

^{n+ n+ n+}

Доказательство: a_n=a+_n b_n=b+_n так как b0, то N₁: n>N₁b_n0

_bn

₀^{ (////////}_b^{/////////)} x

a_n/b_n=a_n/b_n-a/b+a/b=a/b+(ba_n-ab_n)/bb_n=a/b+[b(a+_n)-a(b+_n)]/b(b+_n)=a/b+_n/b(1+b_n/b)

lim a_n/b_n=a/b

^n+

Лекция №4

Ведущая: Голубева Зоя Николаевна

Дата: понедельник, 19 сентября 2000 г.

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

а_n=(-1)ⁿ – не имеет предел.

{b_n}={1,1…}

{a_n}={-1;1;-1;1…} – предел не существует.

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

a_n=2ⁿ

N:n>N  a_n>ε

b_n=(-1)ⁿ2ⁿ

N:n>N  b_n>ε

c_n=-2ⁿ

N:n>N c_n<-ε

Определение (бесконечно большие последовательности)

1) lim a_n=+, если ε>0N:n>N  a_n>ε где ε- сколь угодно малое.

^n

2)lim a_n=-, если ε>0 N:n>N  a_n<-ε

^n+

3) lim a_n=  ε>0 N:n>N  a_n>ε

^n+

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

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

a_n=2ⁿ

Берём ε>0; хотим 2ⁿ>ε

n>log₂ε

N=[log₂ε]+1

Правило формирования обратного утверждения: нужно поменять местами значки  и , а знак неравенства на дополнительный.

Пример:

Утверждение lim a_n=a< aR ε>0 NN:n>N  a_n-a<ε

^n

Обратное утверждение aR ε>0 NN: n>N  a_n-a<ε

Всякая бесконечно большая не ограниченная. Обратное утверждение неверно.

b_n{2;0;2ⁿ;0;2³;0….}

Теорема (об ограниченной сходящейся последовательности)

Пусть lim a_n=a<  a_n - ограниченная

^n+

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

Дано:

ε>0N:n>N  a_n-a<ε

Раз ε>0 возьмем ε=1  N:n>N  a_n-a<1

a-1<a_n<1+a, n>N

Этому неравенству может быть не удовлетворять только первые N члены последовательности.

N₁=max{a₁;a₂;…a_n;1+a;a-1}

a_nc, n>N

Теорема (о единстве предела сходящейся последовательности).

Если lim a_n=a <, то а- единственное.

^n+

Доказательство:(от противного)

Предположим, что  b: lim a_n=b и ba ε=b-a/2>0 для определенности пусть b>a N₁:n>N₁ a_n-a<ε

^n+

N₂:n>N₂  a_n-b<ε N=max{N₁;N₂}, тогда оба неравенства выполняются одновременно 

 -(b-a)/2<a_n-a<(b-a)/2

-(b-a)/2<a_n-b<(b-a)/2

a_n-a<(b-a)/2

-

a_n-b>-(b-a)/2

b-a<b-a

0<0 – противоречие  предположение, что b>a неверно. Аналогично доказывается, что b<a, то же неверно ε=(a-b)/2