Bolcano ir Vejertraso principas

1 teorema. Jei [a n ; bn ] - dtj atkarp seka ir lim (bn an ) 0 , tai abu kintamieji a n ir b n turi
bendr rib lim an lim bn c .
n n n

rodymas. Kadangi [ a n ; bn ] - dtosios atkarpos, tai jos turi bendr tak c, su kuriuo teisinga nelygyb

a n c bn .
I ia

0 c a n bn a n 0 , todl c a n 0 , t.y a n c . Analogikai rodytume bn c .

Bolcano ir Vejertraso lema. Kiekviena aprta seka turi konverguojant posek. rodymas. Kadangi seka {x n } aprta, tai visus jos narius galima sutalpinti kurioje nors atkarpoje [ a ; b] . i atkarp padalijame pusiau ir pasirenkame t jos dal, kurioje yra be galo daug
sekos nari; tokia atkarpos dalis tikrai yra, nes prieingu atveju ir visoje atkarpoje bt baigtinis skaiius sekos nari, o to bti negali. Pasirinktj atkarp paymkime [a1 ; b1 ] ir vl padalykime pusiau. Simboliu [a 2 ; b2 ] paymkime t jos dal, kurioje yra be galo daug sekos nari. Gausime dtj atkarp sistem:

[a; b] [a1 ; b1 ] ... [a k ; bk ] ...

Remdamiesi dtj atkarp lema, tvirtiname, kad relusis skaiius c, priklausanris visosms atkarpoms [ a k ; bk ] , k N .

ba 0 , kai k , tai pagal susitraukiani atkarp lem a k c ir bk c . 2k Dabar posek { x nk } sudarome induktyviai. Pirmiausia parenkame kur nors vien sekos nar x n1 , esant atkarpoje [a1 ; b1 ] , po to - x n2 , esant atkarpoje [a 2 ; b2 ] ir pagaliau x nk [ a k ; bk ] . Taip padaryti visada galima, nes kiekvienoje atkarpoje [ a k ; bk ] yra be galo daug sekos nari. Kadangi a k x nk bk ir a k c , bk c tai remiantis "dviej policinink teorema" galima teigti, kad x nk c .
Kadangi bk a k