В.А. Ильин, Э.Г. Позняк - Основы математического анализа (DJVU) (1108889), страница 17
Текст из файла (страница 17)
Теорема З.г~. Пдс)с)ь !хй) и !ей) — сходящиеся послсдо- вохпельносгпщ Сгмен)щгге оби)1111 предел, О,. Пусть) кролле Слога, нвч1гнвя, с негкс))ш)рс)го номера) вле)ме)н1п)я 'последс)вшпельноспиг ~уй) удовлешворялоп) неравенспгвам хй < уй < гй. 7огдсг после- довс)77)ельносгсгь !Усг) схс)ди)исЯ и имеет пРедел, и. 1 о к и:г а т с л ь с т в о. Нам дос'тато'гво дока:гатгь что )юсчс- доватсльиость !усс — п) является бесконечно малой. Обозначим через 71' номер, начиная с которого выполняются неравенства, указанные в условии тсорс;мы.
Тогда, начиная с этого жс номера, будут выполняться также неравенства хй — а < уй — а < гй — а. Отсюда с)лсдуст, что при 11 > ЛС* элементы пос игдоватсльиости !Еуй — а) удовлетворяют неравенству ) у)), — а ) < Свах)(хсс — а ~., / гй — и (). Так как !ив хй = и и !Пи гй = а, то для любого е > О й — )х СС вЂ” ~Х можно указать номера )1'1 и 1172 такис, гто ири и > Ггег ~ хй — а ~ < < е., а при и > Хз ~ гй — а ~ < е. Пусть Х =-. шах!№,ХЛХг). Начиная с этого Помора. имеет место исравсвство ( дй — а ) ( е.
Итак, иослсдоватегльиость !дй — аг) бесконечно малая, Теорема доказаиа. монотоннык ноолвдов«стнльнос;тн 3 3. Монотонные последовательности 73 1. Определение монотонных последовательностей. Определение. Послс2дс2вс27пельиосспь 1хо) исмьисается и е у— б и в а ю ис е 6 (и е а о а р а, с т, а ю ис е Й ), если ка«ждый последро21«2121 слеп В772ст последосиипельносьпи ие меньте (нсс больсие) предьсду2дего, и. е.
Сели дл.,я всех номеров и спрсгвссдсисво ИС«ИВЕНС7ПВО :хя ~ (хп-2-1 («:7,, ) 21:ь-~-1). Неубывающие и нсвозрастающие последовательности ооъедипяются общим наименованием моногпоннью последоваспельногт21, Ес ш элементы монотонной пос;и:доватсльности 1«О22) для всех НОМСрОВ и удОВЛстнарспат НсраВЕПСтну,аь ( Ха 11 (Хь > Хь11), тО ПОСЛСДОВаПЛЬНОСтЬ 1ХО) НаЗЫВаЕтСЯ С«12ВРие72111И201Е21 (Уб2Ьсааюсйей).
Возрастающис1 и убывающие последовательности назыВа!ОТСН '1акжС с7првго мс«21()7711«2122иям12,. 11оносонныс последогатсльносгги ог1хпси сены либо сгсрхс, либо снизу. Именно: невсирасспающис посясдоватсльности огра,— ни'сены сверху. а и2:убьюаиидисе последовательности ограниче: нся сьпюу своими первыми элементами. Поэтому невозрастающая последовательность будет ограниченной с двух сторон. Сели опа ограничена снизу. а нсубывасс«сная последовательность будет ограниченной с двух сторон, сели она ограничена сверху. Рассмотрим примеры монотонных последовательностей.
1. Последовательность 1. 1, 1/2. 1/2, .... 1/и, 1/и.... невозрастающая. Она ограспнюпа сверху своим первым элементом. равным единице, а снизу числом нуль. 2. Последовательность 1, 1, 2, 2, ..., и. и, ... Неубывающая. Она ограничена снизу свопм первым элементом, равным единице, а сверху нс ос раничена. 3. Последовательность 1/2. 2/3, 3/1,.... и/(71+1),... возрастающая. Она ограничена с обеих сторон: снизу своим первым элементом 1/2, а сверху., например, числом единица. 2. Признак сходимости монотонной последовательности.
Имеет место следующая основнал теорема. Теорема О. «Ое. Если, неубываисщан С 22ессс222рс«сгспасс«122ая) послес11212ите22ь21120771ь 1х„) с«г1«112тче2121 сверху 1сниву), гпо она сходится,. согласно предыдущему пункту после:соватсльность (хя). удовлетворяк2щая условию теоремы 3.15. является ограниченной. Поэтому теорему 3.13 можно кратко сформулирова«ь так: с:с«121 моис22пс2нссая, послс:дсиюспсьссьносспь схо) с«гдя12121чс:ии с Общсх С7001«Он, 700 02юс схадиспся. Д о к а з а т е л ь с т в о.
Так как последовательность 1«2ь) Ограни 1с;на, го множсство с;11 элсмснтОВ имсс1 то 1ныс'. Вц>хнсс2ю и нижннпо грани «: и х (сы. теорему 2.1). Докажем, что сели Гл. 3 пгндвл послндовлтнльности [хв) неУбывакппаа посшеДоватсшьность, то се НРс)ДРлох! оУДРТ УказаннаЯ то снаЯ веРхнЯЯ гРань У; если жс 1хо) невозРастак)1цая пос"и'.Доватс)льность, то Рс) прс)делОы буде1' указанная точная нижняя грань тс Мы ограпичиггя случаен! неубывающей последовательности, поскольку для невозрастак)щей последовательности расту ждения аналогичны. Поскольку 2 .- точная верхняя грань множества элементов иосси*Довательносги [хп), то Дла „гюбого е > О можно Указать ЭЛЕМЕНт:Га таКОй, Чта ХЭС > У вЂ” Е И:Гк ( У [ЛгобОй ЭЛСМЕНт:Го НС бО.1ьшР то'!нОЙ Вс'.рхнРЙ грани х,:гц ( (У).
Сопостав;15151 указанные неравенства. получим неравенства О < х —:гсе < е. Так как 1х„) неубывак)щая последовательность, то при и > 7)г справедливы неравенс"гва х)у < хл < х. Отсюда следует, что при и > 7)7 вьшолняк)тся неравс)нства О < т, — хо < т — )г,~-. Выше мы отме шли, что х — сгсс < е, поэтому при п, > 7)7 справедливы ги)РВвсгнс:гва О ~(;г — ха ( ., Нз котопых вг.гтс.к11)т нс)РВвсепс:тво ]хо --:г] < е.
Таким образом, установлено, что х предел посскдовательносги (х)7). 1еореггг доказана. 3 а м е ч а н и е 1. Условие ограни сенности монотонной последовате.лъности представляет собой необходимое. и доста)пи"снос', ус.,ливис есс с:ходимос)исс. В самом деле, если монотонная пснгледовате,,гьность ограничена. то в гилу теоремы 3.15 она сходится; если же монотонная последовательность с: одится., то в силу теоремы 3.8 она ограничена.
3 а м е ч а н и е '2. Сходящаяся последовательность может и не быть монотонной. Например. посыедовательпость [ха), для КОтОрОЙ Хп = [ — 1)л)771 СХОдвтСя И ИМЕЕТ ПредЕЛОМ ЧИСЛО НУЛЬ. Так как:)паки элехьентов этой пос"и'.Див)тсзсьнос:ти шредуготся. то она не является монотонной. 3 а м с ч а н и е 3. Ес ги пос 1с.донат!)..гьность 1х)7) неуоывакпцая и ограниченная и х — ее предел, тс) для всех номеров и справедливо иеравенсгтво:сп < х. Элементы невозрастак)щей ОГРаНИЧЕШЮй ПОСЛЕДОВатЕЛЬНОСтИ [:С;и), СХОДЯЩЕйен К Х, УДОВЗ)Р; твоРЯк)т неРавенствУ х ( сго.
СпРавеДливость этого гтвеРжДО- иия была установлена в процессе доказательс"сва теоремы 3.15. Следствие из теоремы 3.15. Луспгь дано, бесконечнал, сиспшма сегментов [аг. 61]. ~аг. 5г]. [из.бз]..... [ио,бо]...., касисдый последсиощий сгз которых содерэзситсл в предьсдущем') и щустго ризность бп — ио [будс)м, назъшссть ее длиной' сегменти [ао.57,]) стремится к пул)о при и — ) Оэ 1систему сегментов. облслс17)н)сс!ун) з)иссмп свобспгоими, буде,н повыбить стлгссва)ощебсл).
Тогда суще!таус)п, и притом единственнил7 точки с, ггрсснидс)еэсс)сги1сгл вселс сегменсг)сгм этой системы. ) Это озаачьог. что а, ! ( а ( Ь„( 6„ моиотоиыык послкдов>сткльности 75 Д О К а 3 а Т Е:1 1, С т В О. Прся(ДЕ ВС(гГО ЗВМ()ТИМ, ЧТО ТО 1- ка с, прина!(л(эжан(ая Всем ('егм(нтзм, мо>к(т Ныть 70;1ько Однй. В са>и)м деле, е()ли бы нашлась еще одна точка (1, принадлежащая всем сегм(игам. То весь с()гмснг') 1с. (1[ принадлежал бы ВСЕМ СЕГМЕЬПНМ [аа, бг(].
НО тОГда дЛя ЛП>бОГО НОМЕра И ВЬШОЛНЯ- лись бы пеРавепства ба — ап > а( — с ) О, а это невозможно, ибо бн — ап — > О ПРИ П вЂ” + ОС. ДОКажЕМ ТЕПЕРЬ, Чта СУЩЕСтВУЕт тО"1- ка с, 1!ринадлежащая всем сегментам [ап,бп[. Так как система сегментОВ яВля('.тся стяГИВаюш('Йся, то послсдОВат('.лл ность .,И)- вых концов (а,„1 является неубывакнцей, а по(щедовательпость правых концов (5(51 невазрастакпцсй, Поскольку обе эти по(щедовательн(исси ограничены [в( е э.
шменты последовательностей (апт и (Ьи ) находятся па сегменте [а(, 1>!11, то по теореме 3.15 обе ОНИ СХОдятСя. ИЗ тОП). (ТО раЗНОСтЬ 5н — ав яВЛястея бЕСКОНЕ 1- но малой, Вытекает, что !казани!>е по(зп)довательности име!От общий предел. Обозна (им этот предел через с. Из замечания 3 вытекает, что для любого номера и справедливы неравенства аа < с < 5„, т. е.
точка с принадлежит всем сегментам [ат,, бл[. 3. Некоторые примеры сходящихся монотонных последовательностей. Рассмотрим примеры по(.ледовательностей, для нахождения предела которых будет !(спользована теорема 3.15 о пре«деле монотонной последовательности. Крох(е того, в этом пункте мы познакомимся с одним общим приемом нахождения пределов последоватслыкк тей, задаваемых рекурреигными формулами [ П р и и () р 1. Ра()сх(отрллы посл(здова!Сльно( !ь (щ«51, элем()нг 11;и КОтОРОй РаВЕН а > О. Эту же последовательность можно. очевидно. задать следукицей рекуррентной форму>(ой: : =«щ ':.=«2«вн —.
Для того чтобы установить существоваш(с предела пос,>едовап).(ьносол (:гп(, Докаж()м, !то эла послеловательность вол1х>сипанлдал и варан((ченнал. Первое ускпгтривне>ся непосредственно. ДОК«1ж(ЛМ. ЧТО ПО(''!Ед015ВТ(5;!ЬНО(.'ТЬ (:Гг«1 ОГРВНИ'П)НВ СВ(лрку ЧИС- лом А, где А наибольшее из двух чисел а и 2. Если хв < а, то требуемое доказано.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
