Док-во (от противного)

{xn} имеет два разл. Предела a и b, а¹b. Тогда согласно определению пределов любая из окрестностей т. а содержит все эл-ты посл-ти xn за исключением конечного числа и аналогичным св-вом обладает любая окрестность в точке b. Возьмем два радиуса e= (b-a)/2, т.к. эти окрестности не пересекаются, то одновременно они не могут содержать все эл-ты начиная с некоторого номера. Получим противоречие теор. док-на.

Теорема “Сходящаяся посл-ть ограничена”

Пусть посл-ть {xn}®а e >о N:"n>N½xn-a½<e эквивалентна а-e<xn<a+e "n>N => что каждый из членов посл-ти удовлетворяет неравенству½xn½£ c = max {½a-e½,½a+e½,½xn½,…,½xn-1½}

Теорема “Об арифметических дейсьвиях”

Пусть посл-ть {xn}®a,{yn}®b тогда арифметические операции с этими посл-тями приводят к посл-тям также имеющие пределы, причем:

а) предел lim(n®¥)(xn±yn)=a±b

б) предел lim(n®¥)(xn*yn)=a*b

в) предел lim(n®¥)(xn/yn)=a/b, b¹0

Док-во:

а)xn±yn=(а+an)±(b+bn)=(a±b)+(an±bn) Правая часть полученная в разности представляет сумму числа a+b б/м посл-тью, поэтому стоящая в левой части xn+yn имеет предел равный a±b. Аналогично др. св-ва.

б) xn*yn=(а+an)*(b+bn)=ab+anb+abn+anbn

an*b – это произведение const на б/м

а*bn®0, anbn®0, как произведение б/м.

=> поэтому в правой части стоит сумма числа а*b+ б/м посл-ть. По т-ме О связи сходящихся посл-тей в б/м посл-ти в правой части xn*yn сводится к a*b

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

Посл-ть {xn} наз-ся возр., если x1<…<xn<xn+1<…;

неубывающей, если x1£x2£…£xn£xn+1£…; убывающей, если x1>x2>…>xn>xn+1>…; невозр., если x1³x2³…³xn³xn+1³…

Все такие посл-ти наз-ся монотонными. Возр. и убыв. наз-ся строго монотонными